projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d4142d) | patch
scanalysis: install ModelExecution object in the analysis
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 02:19:16 +0000 (19:19 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 02:19:16 +0000 (19:19 -0700)
commitbde05423f877315edafd321fe5de7235c58ac898
treec53f224c7605074ba3d335f7805a2be0cd473cbctree | snapshot
parent7d4142d82bfa30baa4452430268a9a337eff3fbfcommit | diff
scanalysis: install ModelExecution object in the analysis
main.cc diff | blob | history
scanalysis.cc diff | blob | history
scanalysis.h diff | blob | history
C++11 memory model checker