This data package accompanies the paper "A consistency checker for
memory subsystem traces" to appear at FMCAD 2016.

It contains two main items:

1. axe: a snapshot of the source code for the axe consistency checker
taken on 26 July 2016.  To build the 'axe' executable and add it to
your PATH:

  cd axe/src
  ./make.sh
  export PATH=`pwd`:$PATH

And then, to run the litmus tests and random tests:

  cd ../tests
  ./test.sh

2. large-traces: the traces used for the graph in the paper.  To run
these through axe and obtain the execution times:

  cd ../../large-traces
  ./run.sh

NOTE: The version of axe included in this package is not necessarily
the latest version.  For the latest version, please refer to the
github repository:

  https://github.com/CTSRD-CHERI/axe