projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix dump-unsat-cores-full (#4303)
[cvc5.git] / test / regress / regress0 / wiki.05.cvc
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191) blob | commitdiff | raw
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... blob | commitdiff | raw | diff to current
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-11-11 Morgan DetersChange exit status to be more consistent with other... blob | commitdiff | raw | diff to current
2011-10-29 Morgan DetersSupport for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... blob | commitdiff | raw | diff to current
2011-10-28 Morgan Detersproof regressions blob | commitdiff | raw | diff to current
2010-10-10 Morgan Detersadditional model gen and SMT-LIBv2 compliance work... blob | commitdiff | raw | diff to current
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... blob | commitdiff | raw | diff to current
2010-02-09 Dejan JovanovićChanges to the CNF conversion and the SAT solver. All... blob | commitdiff | raw | diff to current