projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47b8a03) | patch
Makefile: turn on all warnings
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 02:21:12 +0000 (18:21 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 02:21:12 +0000 (18:21 -0800)
commit8b26430bc2c471a6903a91f975dce820d8d38208
treece063012af0c3e491041bc85ac8e50a6bee76411tree | snapshot
parent47b8a03d4a9ccbaa554d9cea827436012d9a7054commit | diff
Makefile: turn on all warnings

(That's how I caught the previous error...)
Makefile diff | blob | history
C++11 memory model checker