action: improve "unintialized load" bug print
[model-checker.git] / test / Makefile
2013-02-12 Brian NorrisMerge branch 'fences'
2013-01-16 Brian Norristests: litmus: link up Makefile properly
2013-01-15 Brian Norristest: Makefile: add $(BASE) variable
2012-09-20 Brian NorrisMakefile: move common Mac flags to common.mk
2012-09-20 Brian Demskychanges
2012-09-20 Brian Demskypush changes
2012-08-20 Brian Norristest/Makefile: remove pointless variable
2012-08-02 Brian NorrisMerge branch 'brian'
2012-08-02 Brian NorrisMakefile: wire up test/ directory for compilation