projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6f06ab) | patch
be much more careful about sending values backwards...
authorBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 00:19:32 +0000 (17:19 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 00:19:32 +0000 (17:19 -0700)
commitd27984bb297795f4e9a4531e2730d8188a799e89
tree9ef5fce611641de12371ec079877b46125410b2atree | snapshot
parentb6f06ab2c626eb6e0f044fa9c7d1b74fbc82a09dcommit | diff
be much more careful about sending values backwards...

also implement hashing for traces...just an easy way to confirm whether we lose new traces...
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker