projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca20a05) | patch
Makefile: switch to C++ builds
authorBrian Norris <banorris@uci.edu>
Wed, 14 Mar 2012 22:00:46 +0000 (15:00 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Mar 2012 22:00:46 +0000 (15:00 -0700)
commitbc8b25511308f54b4ced6e9b70d2e987d612b4af
treed0e70fb064ff4829527ea05fedc5965dc57857b8tree | snapshot
parentca20a05be41491f67bd5c40517bed08f5a7328bacommit | diff
Makefile: switch to C++ builds
Makefile diff | blob | history
C++11 memory model checker