Note that this repo does not attempt to keep a copy of the original
DIS benchmark distributions. UNC real-time has another repo for that.

Changes:
- Backpoint fix to randInt range
- Instrument benchmarks with time tracking
- assert inputs are correct length to fix compiler warnings

Problems:
- Timing on a per-loop basis is non representative of real-world
  workloads, as we clear the cache after every loop. These all need
  to be re-instrumented to record times for the whole benchmark,
  rather than per-loop.

Works for three-way WSS/cache size/execution time comparisons

A heavily rewritten version of mc2spin as written by Namhoon.

- Revert type change in Neighborhood microbenchmark
- Remove inputs modified to fix in the available memory on the
  i.MX6DQ PRP test platform
- Change default configuration to build without LITMUS/MC^2/MMDC

Note that Neighborhood has been modified to use less space

- Remove unused parameters to extra.h
- Use floats to avoid integer overflow when timing long loops
- Only include litmus headers and/or MMDC headers if the appropriate
  define is set in extra.h
- Update job parameters to match those used in my PRP experiments