projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ccaf2b) | patch
Makefile: rename variable to be more clear
authorBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 22:19:45 +0000 (14:19 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 23:34:11 +0000 (15:34 -0800)
commitdcf7f575967bec560d500cc4f52e35c21671525c
tree946d7c2beef1db2d660dd25b63174fda27df2339tree | snapshot
parent2ccaf2b44111a587a8632a2b6e655c8aa88ca665commit | diff
Makefile: rename variable to be more clear
Makefile diff | blob | history
C++11 memory model checker