scanalysis: allocate structures as true members of class (not pointers)
[model-checker.git] / test / rmwprog.c
2013-03-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-15 Brian Norristest: rmwprog: add MODEL_ASSERT
2013-02-12 Brian NorrisMerge branch 'fences'
2013-01-22 Brian Norristest: rmwprog: support command-line argument
2012-10-09 Brian Norristests: use <stdatomic.h>
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h
2012-10-09 Brian Norrisuser_main: pass remaining arguments to the user program
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demskyadd support for dumping cyclegraphs as dot files.....
2012-09-13 Brian Demskycommit new test case