projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
README: Remove project leaders, history.
[cvc5.git] / src / prop /
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-01-23 Andres NoetzliAvoid using ProofManager in non-proof CMS build (#2814) tree | commitdiff
2019-01-14 Alex OzdemirClausalBitvectorProof (#2786) tree | commitdiff
2018-12-03 Alex OzdemirBit vector proof superclass (#2599) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-01 Aina NiemetzFix compiler warnings. (#2555) tree | commitdiff
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-13 Mathias PreinerFix #include for minisat headers in bvminisat. (#2463) tree | commitdiff
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319) tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-08-02 Andrew Reynolds Remove references to deprecated propagate as decision... tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-30 FabianWolffFix several spelling errors (#2231) tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-13 Andres NoetzliWorkaround for incremental unsat cores (#1962) tree | commitdiff
2018-06-09 Andres NoetzliReset decisions at SAT level after solving (#2059) tree | commitdiff
2018-05-25 Andres NoetzliMiniSat: Be more careful about running proof code ... tree | commitdiff
2018-05-23 Andres NoetzliRemove ProofProxy (#1965) tree | commitdiff
2018-04-04 Andres Noetzli[BVMiniSat] Avoid duplicates in conflicts (#1745) tree | commitdiff
2018-03-26 Andres NoetzliFix memory leak in bvminisat (#1710) tree | commitdiff
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) tree | commitdiff
2018-03-13 Mathias PreinerUse Cryptominisat version 5.0.2 (instead of 4.2.0)... tree | commitdiff
2018-03-09 Mathias PreinerCleanup Cryptominisat SAT wrapper. (#1652) 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-07 Mathias PreinerCleanup Cryptominisat header. (#1561) tree | commitdiff
2018-01-16 Tim KingRemoving more miscellaneous throw specifiers. (#1509) tree | commitdiff
2017-12-06 Aina NiemetzFixed time stats for MiniSat solve time. (#1431) tree | commitdiff
2017-09-25 Tim KingInitializing BVMinisat Solver::notify to nullptr. ... 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-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-06-23 Andres NötzliFix assertion failure due to missing clause id (#180) tree | commitdiff
2017-03-23 guykatzzsupport incremental unsat cores tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-07 Tim KingFixing a memory leak in the CnfStream unit tests. 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-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw tree | commitdiff
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for... tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-25 GuyProper handling for lemmas that are conjuncts: tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge tree | commitdiff
2016-06-02 GuyMerge from proof branch tree | commitdiff
2016-06-02 GuyRevert "Merging proof branch" tree | commitdiff
2016-06-02 GuyMerging proof branch tree | commitdiff
2016-05-25 Liana HadareanFixed build issue due to dummy Cryptominisat constructor. tree | commitdiff
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge tree | commitdiff
2016-03-23 Guysquash-merge from proof branch tree | commitdiff
2016-02-24 Tim KingUnifying the definitions of ClauseId to a single source... tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch. tree | commitdiff
2016-01-09 Tim KingAdding a new Listener utility class. Changing the Resou... tree | commitdiff
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current... tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
2015-12-24 Tim KingMiscellaneous fixes tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-10-26 Tim KingThis fixes a one definition rule violation for reduceDB... tree | commitdiff
2015-06-01 ajreynolWhen proof enabled, disable uf sym break. Add regression. tree | commitdiff
2015-05-29 lianahchanged resource step options to unsigned tree | commitdiff
2015-05-28 Liana Hadareanadded options for controlling resource step-count for... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-28 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-04-28 Clark BarrettDisambiguate namespaces in options, fix permissions tree | commitdiff
2015-04-24 Clark BarrettFix compiler errors due to unbalanced throw specifiers. tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize tree | commitdiff
2015-04-21 Clark BarrettChanges needed to compile at Google, plus some bug... tree | commitdiff
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase tree | commitdiff
2015-04-17 Finn Haedickemoved Minisat namespace into CVC4 tree | commitdiff
2015-04-09 Kshitij BansalDE requests respect requirePhase tree | commitdiff
2015-03-14 Dejan JovanovicUpdating resize for occurence lists to properly resize... tree | commitdiff
2015-03-10 ajreynolCNF proofs. Infrastructure for preprocessing proofs... tree | commitdiff
2014-12-04 Morgan DetersFix valgrind-flagged error about uninitialized value. tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-18 lianahAll Minisat solve calls now return lbool (fixes bug... tree | commitdiff
2014-11-17 Liana HadareanResource-limiting work. tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersRemove some dead code. tree | commitdiff
2014-11-07 Morgan DetersFix a memory leak in SatSolverRegistry (re: bug #594). tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
next