projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d28d1a3) | patch
scanalysis: don't rely on greedy search
authorBrian Demsky <bdemsky@uci.edu>
Fri, 26 Apr 2013 23:50:30 +0000 (16:50 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 3 May 2013 16:48:49 +0000 (09:48 -0700)
commitb756884bdc8b22457243b76982cf10dc4598f927
treece65217007a6094a74ef0ec4974c77ea463d40c2tree | snapshot
parentd28d1a3b7aafbcd2caf80de26721293126830fa8commit | diff
scanalysis: don't rely on greedy search

Fix infrastructure to use search in cases where a greedy search is not
sufficient.
scanalysis.cc diff | blob | history
scanalysis.h diff | blob | history
C++11 memory model checker