Finish the C compilation: Store the local and global variables
Dump the local and global variables: the generated code compiles and works (I guess, almost)
Fix the compilation with direct and indirect mode
Use RunType.t instead of CAst.ty
Fix the compilation for certain cases
Dump the C tests proprely
Display the ASM for C when running run.sh
Add _showC.awk
New release scripts.
_linux_affinity.c still have to be tested on ARM platforms.
Add newlines to structure the produced C code
Move the comments to locate only the ASM code for the tests + Remove the ::: to compile with either gcc 4.1 or on PPC
Allow to do break in a test to get out of the test
'+' should not terminate the prog section (splitter.mll).
But why so ?
Merge branch 'C' of github.com:herd/herdtools into C
- Some exemples (more to go)
- Change force_one_affinity -> fork number if present procs threads as
  a warmup.
Add -enumco option to herd, changes in compComp.ml (litmus)
Merge branch 'master' of github.com:herd/herdtools
Oups corrected code that does not compile (litmus)
Complete 'withoutco' generic models.
Not as fast as expected. However -model minimalcat.cat should
yield less ACE, and thus more readable diagrams.
- Suppress -enumco option, instead get info from model source file
- Add a observed location field to test structure (cf. test.ml) as
  this information is computed in several places.