projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
action: remove incorrect fence backtracking
[model-checker.git] / common.mk
2012-11-01 Brian Norriscommon.mk: build with -O3 (except for Mac OSX) blob | commitdiff | raw
2012-10-03 Brian Demskyextra file committed accidentally blob | commitdiff | raw | diff to current
2012-10-03 Brian Demskymissing change blob | commitdiff | raw | diff to current
2012-09-20 Brian NorrisMakefile: move common Mac flags to common.mk blob | commitdiff | raw | diff to current
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile' blob | commitdiff | raw | diff to current
2012-09-13 Brian NorrisMakefile: fixup Mac dependencies blob | commitdiff | raw | diff to current
2012-08-02 Brian NorrisMerge branch 'brian' blob | commitdiff | raw | diff to current
2012-08-02 Brian NorrisMakefile: split part into a common makefile (common.mk) blob | commitdiff | raw | diff to current
C++11 memory model checker