projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e5a496) | patch
Makefile: add 'make debug'
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:35:27 +0000 (18:35 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 03:39:00 +0000 (20:39 -0700)
commit70c3b7833efcbe08999f135201119f107259026a
tree03465481c20b5f90b4fb2d0013068539fb0f2e71tree | snapshot
parent3e5a49688722ea039dc6869003bc78531f666d4ecommit | diff
Makefile: add 'make debug'

This is sort of hacky, but it works! Now (after cleaning), you can recompile
with 'make debug' to enable my debugging features (not Subramanian's).
Makefile diff | blob | history
common.h diff | blob | history
C++11 memory model checker