projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
[cvc5.git] / src / Makefile.am
2016-10-27 Clark BarrettMerge pull request #99 from 4tXJ7f/fix_dist_build3 blob | commitdiff | raw
2016-10-27 Andres NotzliFix typo in Makefile that makes distcheck fail blob | commitdiff | raw
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build blob | commitdiff | raw | diff to current
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... blob | commitdiff | raw | diff to current
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-09-20 ajreynolRefactor, separate theory-specific counterexample-guide... blob | commitdiff | raw | diff to current
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-06-30 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-06-23 Clark BarrettAdd theory/sep/kinds to EXTRA_DIST to fix distcheck... blob | commitdiff | raw | diff to current
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-06-17 ajreynolSupport for separation logic. Enable cbqi by default... blob | commitdiff | raw | diff to current
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge blob | commitdiff | raw | diff to current
2016-06-02 GuyMerge from proof branch blob | commitdiff | raw | diff to current
2016-06-02 GuyRevert "Merging proof branch" blob | commitdiff | raw | diff to current
2016-06-02 GuyMerging proof branch blob | commitdiff | raw | diff to current
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-20 PaulMengRefactored code blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-09 ajreynolMinor refactoring of entailment tests and quantifiers... blob | commitdiff | raw | diff to current
2016-03-28 ajreynolImplement equality inference module for arithmetic... blob | commitdiff | raw | diff to current
2016-03-24 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-03-24 GuyRefactored the equality engine in order to remove theor... blob | commitdiff | raw | diff to current
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge blob | commitdiff | raw | diff to current
2016-03-23 Guysquash-merge from proof branch blob | commitdiff | raw | diff to current
2016-03-01 ajreynolShorter explanations for strings based on tracking... blob | commitdiff | raw | diff to current
2016-02-24 Tim KingUnifying the definitions of ClauseId to a single source... blob | commitdiff | raw | diff to current
2016-02-19 ajreynolImplement dynamic splitting for quantified formulas... blob | commitdiff | raw | diff to current
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-02-09 PaulMeng- extend cvc4 frontend parser to accept relational... blob | commitdiff | raw | diff to current
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... blob | commitdiff | raw | diff to current
2016-02-01 Tim KingRemoving the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard... blob | commitdiff | raw | diff to current
2016-01-28 Tim KingAdding listeners to Options. blob | commitdiff | raw | diff to current
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch. blob | commitdiff | raw | diff to current
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current... blob | commitdiff | raw | diff to current
2016-01-06 Tim KingRemoving dead code. StackingMap only appeared in unit... blob | commitdiff | raw | diff to current
2016-01-06 Tim KingAdd SmtGlobals Class blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-12-02 Tim KingMerge pull request #79 from CVC4/fix-mac-build-script blob | commitdiff | raw | diff to current
2015-12-01 ajreynolMore work on --cegqi-si-partial, incomplete. blob | commitdiff | raw | diff to current
2015-11-05 Tim KingMerging the google branch back into master. blob | commitdiff | raw | diff to current
2015-11-03 Tim KingAdding a test to ensure the <build>/src/theory director... blob | commitdiff | raw | diff to current
2015-10-27 Tim KingAdding the new mkdirs script to EXTRA_DIST. This should... blob | commitdiff | raw | diff to current
2015-10-26 Tim KingThis commit removes using absolute paths in the generat... blob | commitdiff | raw | diff to current
2015-10-22 ajreynolEnable counterexample-guided quantifier instantiation... blob | commitdiff | raw | diff to current
2015-09-09 ajreynolWorking towards a fair enumerator for codatatypes. blob | commitdiff | raw | diff to current
2015-08-12 ajreynolImprovements to --macros-quant. Enable --clause-split... blob | commitdiff | raw | diff to current
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2015-07-20 ajreynolSquashed merge of SygusComp 2015 branch. blob | commitdiff | raw | diff to current
2015-06-29 ajreynolModule to infer alpha equivalence of quantified formula... blob | commitdiff | raw | diff to current
2015-02-11 ajreynolMove si solution reconstruction to own file, make more... blob | commitdiff | raw | diff to current
2015-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2015-02-02 ajreynolSingle invocation module for counterexample guided... blob | commitdiff | raw | diff to current
2015-01-29 ajreynolRestrict LtePartialInst instantiations based on E-match... blob | commitdiff | raw | diff to current
2015-01-21 ajreynolInitial work on sygusNormalForm. blob | commitdiff | raw | diff to current
2014-12-04 Martin BrainFloating point infrastructure. blob | commitdiff | raw | diff to current
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-11-13 Morgan DetersMerge pull request #69 from mdeters/bug594 blob | commitdiff | raw | diff to current
2014-11-13 ajreynolRemove two obsolete versions of MBQI. blob | commitdiff | raw | diff to current
2014-11-10 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersRemove some dead code. blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-05 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-28 ajreynolInitial infrastructure for function definition quantifi... blob | commitdiff | raw | diff to current
2014-10-20 Kshitij BansalMerge pull request #59 from kbansal/sets3 blob | commitdiff | raw | diff to current
2014-10-20 Kshitij BansalFinish sets type enumerator implementation. blob | commitdiff | raw | diff to current
2014-10-17 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-16 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-11 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' blob | commitdiff | raw | diff to current
2014-10-10 ajreynolAdd owner map to better manage QuantifiersModules.... blob | commitdiff | raw | diff to current
2014-10-09 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-02 Morgan DetersMerge branch '1.4.x'. blob | commitdiff | raw | diff to current
2014-09-30 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-27 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-19 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-18 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-07-31 ajreynolNew module for generating candidate equality conjecture... blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds blob | commitdiff | raw | diff to current
next