Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
[cvc5.git] / src / prop /
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr
2016-11-07 Tim KingFixing a memory leak in the CnfStream unit tests.
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com...
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for...
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master'
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-07-25 GuyProper handling for lemmas that are conjuncts:
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge
2016-06-02 GuyMerge from proof branch
2016-06-02 GuyRevert "Merging proof branch"
2016-06-02 GuyMerging proof branch
2016-05-25 Liana HadareanFixed build issue due to dummy Cryptominisat constructor.
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch.
2016-04-20 PaulMengupdate from the master
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-04-04 Tim KingUpdating the copyright headers and scripts.
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge
2016-03-23 Guysquash-merge from proof branch
2016-02-24 Tim KingUnifying the definitions of ClauseId to a single source...
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal...
2016-01-28 Tim KingAdding listeners to Options.
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch.
2016-01-09 Tim KingAdding a new Listener utility class. Changing the Resou...
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current...
2016-01-06 Tim KingAdd SmtGlobals Class
2015-12-30 Tim KingShuffling around public vs. private headers
2015-12-24 Tim KingMiscellaneous fixes
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking
2015-10-26 Tim KingThis fixes a one definition rule violation for reduceDB...
2015-06-01 ajreynolWhen proof enabled, disable uf sym break. Add regression.
2015-05-29 lianahchanged resource step options to unsigned
2015-05-28 Liana Hadareanadded options for controlling resource step-count for...
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat
2015-04-28 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4
2015-04-28 Clark BarrettDisambiguate namespaces in options, fix permissions
2015-04-24 Clark BarrettFix compiler errors due to unbalanced throw specifiers.
2015-04-23 Clark BarrettMerge branch 'master' into google
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize
2015-04-21 Clark BarrettChanges needed to compile at Google, plus some bug...
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase
2015-04-17 Finn Haedickemoved Minisat namespace into CVC4
2015-04-09 Kshitij BansalDE requests respect requirePhase
2015-03-14 Dejan JovanovicUpdating resize for occurence lists to properly resize...
2015-03-10 ajreynolCNF proofs. Infrastructure for preprocessing proofs...
2014-12-04 Morgan DetersFix valgrind-flagged error about uninitialized value.
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-11-18 lianahAll Minisat solve calls now return lbool (fixes bug...
2014-11-17 Liana HadareanResource-limiting work.
2014-11-10 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersRemove some dead code.
2014-11-07 Morgan DetersFix a memory leak in SatSolverRegistry (re: bug #594).
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-05 Morgan DetersMerge branch '1.4.x'
2014-10-17 Morgan DetersMerge branch '1.4.x'
2014-10-16 Morgan DetersMerge branch '1.4.x'
2014-10-11 Morgan DetersMerge branch '1.4.x'
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x'
2014-10-09 Morgan DetersMerge branch '1.4.x'
2014-10-07 Morgan DetersFix a resource limiting issue where interruption didn...
2014-10-07 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-02 Morgan DetersMerge branch '1.4.x'.
2014-09-30 Morgan DetersMerge branch '1.4.x'
2014-09-27 Morgan DetersMerge branch '1.4.x'
2014-09-26 Morgan DetersMerge branch '1.4.x'
2014-09-18 Morgan DetersResource spending support in theories (and especially...
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49.
2014-09-17 Kshitij BansalMerge branch '1.4.x'
2014-08-25 Morgan DetersFix Win32 builds.
2014-08-22 Morgan DetersUnsat core infrastruture and API (SMT-LIB compliance...
2014-08-22 Morgan DetersMerge branch '1.4.x'
2014-08-22 Morgan DetersMerge branch '1.4.x'
2014-08-19 Morgan DetersMerge branch '1.4.x'
2014-08-18 Morgan DetersMerge branch '1.4.x'
2014-08-04 Morgan DetersBetter support for resource-limiting when there aren...
2014-07-11 Kshitij BansalMerge pull request #48 from kbansal/segfaultfix
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa...
2014-07-04 Kshitij Bansalinitialize variables
2014-07-01 Morgan DetersUpdate copyrights.
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission'
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application'
2014-06-22 lianahMerge pull request #39 from mdeters/bv-warnings
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds
2014-06-22 Morgan DetersFix compiler warnings (mostly unused variables).
2014-06-22 Morgan DetersFix compiler warnings in BV-related code (unused vars...
2014-06-13 lianahfixed BVMinisat bug due to not clearing seen properly
2014-06-10 lianahMerging CAV14 paper bit-vector work.
2014-05-27 Kshitij BansalRevert "timespec printing bug"
next