projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60e0a49) | patch
Makefile: use ${CC} instead of hardcoding gcc
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:46:46 +0000 (17:46 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:46:46 +0000 (17:46 -0800)
commitda61ddf6a9c25972b990e5b018191711f12c63aa
tree7c6c49baa6da39ab32c89e695fd607b9d6449488tree | snapshot
parent60e0a49ba320b32b9cc0d2f8d73c8d95c92fc0bacommit | diff
Makefile: use ${CC} instead of hardcoding gcc
Makefile diff | blob | history
C++11 memory model checker