projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d87d23) | patch
did a little more looking at infeasible executions...
authorBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 06:35:21 +0000 (23:35 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 06:35:21 +0000 (23:35 -0700)
commitee0f520bb244e2aa820e6b5a7e24c43c396b0905
tree980892c8e61c887814977103a0a6bdfe275bfdfftree | snapshot
parent5d87d23f622d396fd2e1c94d61f901429c5f35accommit | diff
did a little more looking at infeasible executions...
another obvious property we missed...kills about 1/3 of the infeasible executions...
model.cc diff | blob | history
C++11 memory model checker