projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 741d3d1) | patch
tests: Makefile: eliminate (some) recursive make
authorBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 00:01:47 +0000 (17:01 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 01:00:56 +0000 (18:00 -0700)
commit8349c08d00575cdee39e94796d33fb4c44ddd50b
tree92d723be20467132521ef1834a60b1609b0dc6c5tree | snapshot
parent741d3d1160343d8545a783a2d05d3d0562b1c737commit | diff
tests: Makefile: eliminate (some) recursive make
test/Makefile diff | blob | history
test/litmus/Makefile diff | blob | history
C++11 memory model checker