projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3359dd) | patch
cleanup plugin interface a little more.
authorBrian Demsky <bdemsky@uci.edu>
Mon, 6 May 2013 20:06:53 +0000 (13:06 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 6 May 2013 20:06:53 +0000 (13:06 -0700)
commita4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1
tree4be0a4956fb641656a36c3889da7865f8fdaba1ftree | snapshot
parentf3359dd1b9ba12e5092504e8e53e3615bdb2956acommit | diff
cleanup plugin interface a little more.
add support for options for SCAnalysis
main.cc diff | blob | history
model.cc diff | blob | history
scanalysis.cc diff | blob | history
scanalysis.h diff | blob | history
traceanalysis.h diff | blob | history
C++11 memory model checker