projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ae9790) | patch
benchmarks.mk: don't include base model-checker dir
authorBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 00:09:18 +0000 (17:09 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 00:09:18 +0000 (17:09 -0700)
commitf0bcfda022d67bdae85948061e9196431878e49b
treebc471e40f1a300caa5e99903b99abac35c0f2424tree | snapshot
parent0ae979015c27d9a24596c89197060a88b252bb0ecommit | diff
benchmarks.mk: don't include base model-checker dir

All model-checker headers needed for user-program compilation should be
in $(BASE)/include now, not in $(BASE)/
benchmarks.mk diff | blob | history
C++11 memory model checker benchmarks