towards supporting scanalysis...
[model-checker.git] / common.mk
2013-04-04 Brian Norrisswapcontext() fix for Mac OSX
2012-11-01 Brian Norriscommon.mk: build with -O3 (except for Mac OSX)
2012-10-03 Brian Demskyextra file committed accidentally
2012-10-03 Brian Demskymissing change
2012-09-20 Brian NorrisMakefile: move common Mac flags to common.mk
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile'
2012-09-13 Brian NorrisMakefile: fixup Mac dependencies
2012-08-02 Brian NorrisMerge branch 'brian'
2012-08-02 Brian NorrisMakefile: split part into a common makefile (common.mk)