projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cmake: Remove unused CMakeLists.txt
[cvc5.git] / src / proof /
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-27 Andres NoetzliResolution proof: separate printing from proof (#1964) tree | commitdiff
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319) tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-23 Andres NoetzliRemove ProofProxy (#1965) tree | commitdiff
2018-05-03 Andres NoetzliFix warnings in proof code (#1850) tree | commitdiff
2018-04-25 yoni206Refactor array-proofs and uf-proofs (#1655) tree | commitdiff
2018-04-02 Mathias PreinerReorganize bitblaster code. (#1695) tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-10 Aina NiemetzMove BitVector specific funs from bv::utils to util... tree | commitdiff
2018-02-09 Tim KingReplacing an incorrect reference to an injected class... tree | commitdiff
2017-11-16 Tim KingInitializes BitVectorProof::d_isAssumptionConflict... tree | commitdiff
2017-11-15 Tim KingAdding garbage collection for Proof objects. (#1294) tree | commitdiff
2017-10-26 Tim KingRemoving throw specifiers from OutputChannel and subcla... tree | commitdiff
2017-10-25 Tim KingSwitching EqProof to use shared_ptr everywhere. (... tree | commitdiff
2017-10-11 Tim KingCleaning up ProofArray class. (#1208) tree | commitdiff
2017-10-11 Andrew ReynoldsMove unsat core names to smt engine (#1192) tree | commitdiff
2017-09-19 Andres NoetzliFix issue #1074, improve non-fatal error handling ... tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-21 Mathias PreinerChange Bugzilla urls to Github issues. tree | commitdiff
2017-08-09 Andres NoetzliFix compiler warning in sat_proof_implementation tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-06-30 Andres NötzliFix use-after-free with unsat cores/proofs (#174) tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3 tree | commitdiff
2017-06-16 Andres NötzliFix segfault by making unit conflict CDMaybe tree | commitdiff
2017-05-31 guykatzzA more informative error message when a theory is not... tree | commitdiff
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp tree | commitdiff
2017-05-26 Andres NoetzliFix use-after-free with ResChains tree | commitdiff
2017-05-04 guykatzzskolemization manager may be called also when just... tree | commitdiff
2017-03-23 guykatzzsupport incremental unsat cores tree | commitdiff
2017-03-17 guykatzzbetter support for proof production when encountering... tree | commitdiff
2017-03-14 guykatzzMerge pull request #133 from 4tXJ7f/fix_uninitialized tree | commitdiff
2017-03-14 Andres Notzlifix uninitialized variable tree | commitdiff
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64 tree | commitdiff
2017-03-09 guykatzzbug fix tree | commitdiff
2017-03-09 guykatzzbetter proof support for bools and formulas tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-11-18 Tim KingRemoving some throw specifiers from OutputChannel.... tree | commitdiff
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-10-06 guykatzzAdded an option that allow empty dependencies when... tree | commitdiff
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format tree | commitdiff
2016-09-27 Tim KingRemoving an unused iterator. tree | commitdiff
2016-09-16 GuyLet arith_proof print its own terms tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes tree | commitdiff
2016-08-12 Andres NotzliAdd support for fewer preprocessing holes tree | commitdiff
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces tree | commitdiff
2016-08-09 Andres NotzliFix missing/redundant spaces in proofs tree | commitdiff
2016-08-06 guykatzzMerge pull request #88 from 4tXJ7f/fix_comments tree | commitdiff
2016-08-05 Andres NotzliMinor: add/fix comments, remove redundant includes tree | commitdiff
2016-08-03 GuyFixed an issue where arrays proofs would sometimes... tree | commitdiff
2016-08-03 barrettcwMerge pull request #87 from 4tXJ7f/fix_oob_access tree | commitdiff
2016-07-28 GuyThe "aggressive" optimizer for lemma L now returns... tree | commitdiff
2016-07-28 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-28 GuyBug fix involving negated lemmas tree | commitdiff
2016-07-27 GuyProper handling of IFF lemmas in the unsat core. tree | commitdiff
2016-07-27 GuyAdded an option for a more aggressive weakest implicant... tree | commitdiff
2016-07-27 GuyIf we can't find a weaker implicant, fail gracefully... tree | commitdiff
2016-07-27 guykatzzMerge pull request #86 from 4tXJ7f/fix_warnings tree | commitdiff
2016-07-27 Andres NotzliFix warnings in src/proof tree | commitdiff
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-26 GuyBug fix: tree | commitdiff
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-26 GuyLetification of BV constants tree | commitdiff
2016-07-26 GuyAdded functionality to retrieve a lemma's "weakest... tree | commitdiff
2016-07-26 GuyBug fix tree | commitdiff
2016-07-26 GuyPropagate the usage of proof let maps into constant... tree | commitdiff
2016-07-25 GuyBug fix tree | commitdiff
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-25 GuyUse letification for the aliasing declarations as well... tree | commitdiff
2016-07-20 GuyBug fix tree | commitdiff
2016-07-20 GuyAllow a caller to query whether an unsat core is availa... tree | commitdiff
2016-07-15 GuyMoved the assertion to a better spot tree | commitdiff
2016-07-15 GuyThe ProofManager now allows theory solvers to get their... tree | commitdiff
2016-07-06 GuyA few proof bugs fixed tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-07-01 GuyWhen proving a lemma, ignore literals that don't belong... tree | commitdiff
2016-07-01 GuyHandle bitvector lemmas where a literal gets rewritten... tree | commitdiff
2016-06-30 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-30 GuySupport for the letification of chained AND and OR... tree | commitdiff
2016-06-23 Clark BarrettFixed some warnings, fixed bug in cdhashmap that was... tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-20 GuyAddressed a bug that occurs when proof production is... tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-20 GuyFixed a bug where the proofManager's init() call was... tree | commitdiff
2016-06-08 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-08 GuySupport for printing a global let map in LFSC proofs. tree | commitdiff
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge tree | commitdiff
2016-06-03 GuyBetter infrastructure for proving constant disequality. tree | commitdiff
2016-06-03 GuyA better mechanism for handling BV terms with aliases... tree | commitdiff
2016-06-02 GuyFixed a magical bug that only appears when compiling... tree | commitdiff
2016-06-02 GuyFix tree | commitdiff
2016-06-02 GuyMerge from proof branch tree | commitdiff
next