projects / satcheck.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15370ed) | patch
Need to allow for one spare encoding for the non-executed case with no suitable stores.
authorbdemsky <bdemsky@uci.edu>
Wed, 10 May 2017 00:41:48 +0000 (17:41 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 10 May 2017 00:41:48 +0000 (17:41 -0700)
commit34698794dfbc5f8f8e757f9ea4d9afa051157ec7
treec0367cd7b367f6b60fa3b7cbf434e2ed3b6b6e9ctree | snapshot
parent15370ed784b596d905f88bc2bc47d94e4b521dc4commit | diff
Need to allow for one spare encoding for the non-executed case with no suitable stores.
loadrf.cc diff | blob | history
threads.cc diff | blob | history
SATCheck ModelChecker