Systematic 2-3 thread tests, in C.
More kinds
oups
More kinds
CPP generators.
Observation reads in tests are Relaxed.
Export continuation based topological order generator.
Adding all_topos_kont to innerRel.ml
Use (relaxed) atomic accesses in stabilize_global, when appropriate.
Atomic access in check_globals.
+
Moved "atomic" flag from event type to action type.
Added a rudimentary testsuite for herd.

It just includes a few of the ARM and PPC tests from
<http://diy.inria.fr/cats/arm-tests.tgz> and
<http://diy.inria.fr/cats/power-tests.tgz>. I updated the Makefile
with two new targets: `make baseline` regenerates the baselines
(which are stored in testsuite/ARM_results_baseline.txt and
testsuite/PPC_results_baseline.txt) and `make test` runs new tests
and uses mcompare to compare them against the baselines. Also, I
arranged that `make clean` removes the results of the new tests.
Rectifying mistake in Makefile
Factoring out a Dir module, that simply contains an enumeration of
the two possible directions that memory accesses can take: namely,
read and write.
Merge branch 'master' of github.com:herd/herdtools
Small bug in handling option -c11_fence.
On handling atomic locations in litmus :
- Use explicit, relaxed accesses (event atomic_init apparently
  add fences)
- Copy them to non-atomic locations ASAP (cf. collecting results in zyva).
Factored out the "action" type into a separate module. The idea is
to be able to plug in a different action type for different
architectures. The default implementation is MachAction (for
"machine action"), but I plan to add further implementations for
C++ and for OpenCL.
Merge branch 'master' of https://github.com/herd/herdtools