projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f6fdf8) | patch
setup main wrapper and then call into norris code
authorBrian Demsky <bdemsky@uci.edu>
Sat, 19 May 2012 00:39:47 +0000 (17:39 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Sat, 19 May 2012 00:39:47 +0000 (17:39 -0700)
commit6a3cefc5fc5bcae7b7f94dd9e6199f6b3efdd76e
tree312bb49179e1b71ad7afe59c35480999e2fec7b4tree | snapshot
parent5f6fdf806a3389a8318011023ccc6f45389624afcommit | diff
setup main wrapper and then call into norris code
main.cc diff | blob | history
run.sh diff | blob | history
snapshot.cc diff | blob | history
snapshot.h diff | blob | history
C++11 memory model checker