projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d590c23) | patch
Fix bug that prevents graph generation from compiling.
authorBrian Demsky <bdemsky@uci.edu>
Fri, 26 Apr 2013 20:46:35 +0000 (13:46 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 26 Apr 2013 20:46:35 +0000 (13:46 -0700)
commitd28d1a3b7aafbcd2caf80de26721293126830fa8
treeb98ba6d63493311b50d000c4f8c6a65fb561d5ebtree | snapshot
parentd590c23e98d4ad4da4df6eda33cbdb04c29c25eacommit | diff
Fix bug that prevents graph generation from compiling.
Check in test case that shows theorem that I've been trying to prove for 2 days is in fact not true (and thus difficult to prove).
execution.cc diff | blob | history
scanalysis.cc diff | blob | history
test/sctest.c [new file with mode: 0644] blob
C++11 memory model checker