projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c2497e) | patch
Makefile: move common Mac flags to common.mk
authorBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 16:44:31 +0000 (09:44 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 16:44:31 +0000 (09:44 -0700)
commit538175be35df96c8858f384d0001c35701f5e666
treefa6e5f6dbaeb6ebefe892f086bf6a3d17d404d45tree | snapshot
parent8c2497e84d1d0884a27e1cf1ec673aaaefdce49dcommit | diff
Makefile: move common Mac flags to common.mk
Makefile diff | blob | history
common.mk diff | blob | history
test/Makefile diff | blob | history
C++11 memory model checker