summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2012-11-29require type ascriptions for parametric datatype constructors (making them ca...Andrew Reynolds
2012-11-29fixes bug 438, incorporate subtypes into type unification when typechecking p...Andrew Reynolds
2012-11-29fix for andy: boolean terms stuff really shouldn't look at datatypes at all i...Morgan Deters
2012-11-29minor documentation fixMorgan Deters
2012-11-29Fix for nasty corner case found by fuzzer...Clark Barrett
2012-11-29Hack to support global variables for CVC language extended to export mechanism.Kshitij Bansal
2012-11-29Fixing function models with Boolean terms. Also, LAMBDA's should not be const.Clark Barrett
2012-11-28fix a potential race (have failed to reproduce)Kshitij Bansal
2012-11-28Fix for getValue. Now it can handle lambda applicationsClark Barrett
2012-11-28Attempted "quick-fix" for QF_UF performance regression since Boolean terms ad...Morgan Deters
2012-11-28treat all get commands like getValue (send only to lastWinner)Kshitij Bansal
2012-11-28Bug fix:Morgan Deters
2012-11-28fix: correct misleading comment in dump outputMorgan Deters
2012-11-27Functions and predicates over Boolean now work with --check-models and output...Morgan Deters
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
2012-11-27more mac fixesMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
2012-11-27Simplify --help=decision with only currently supported optionsKshitij Bansal
2012-11-27do not turn on BV for QF_SATMorgan Deters
2012-11-27First chunk of boolean-terms support.Morgan Deters
2012-11-27Tuples and records merge. Resolves bug 270.Morgan Deters
2012-11-26Improved implementation of Integer::length() with CLN enabled. Additional te...Tim King
2012-11-26rolling back r4625 for now (closes bug 464), Andy we should talk about this a...Morgan Deters
2012-11-26fixup for incremental solvingDejan Jovanović
2012-11-26Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong,...Tim King
2012-11-26Adding support for a master equality engine. Each theory gets the master equa...Dejan Jovanović
2012-11-26Improving arithmetic debugging output.Tim King
2012-11-26don't include internal variables in model outputMorgan Deters
2012-11-26some fixes to language bindings and function visibilityMorgan Deters
2012-11-25This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues...Tim King
2012-11-24Adds ensureConstraint(...) to ConstraintDatabase. This is a slightly optimize...Tim King
2012-11-21- Removes getDeltaValueWithNonlinear() entirelyTim King
2012-11-21Adds a number of new capabilities to DeltaRational. This adds DeltaRationalEx...Tim King
2012-11-21Added debugging output to --check-models. I've found this output quite useful...Tim King
2012-11-19Run lastWinner thread for all commands. Earlier behavior was to runKshitij Bansal
2012-11-19Changed the splitting-on-demand lemmas of arithmetic to no longer contain the...Tim King
2012-11-19Fix for bug452.Tim King
2012-11-18Disable predicate subtyping:Morgan Deters
2012-11-18support for quantifiers macros, bug fix for bug 454 involving E-matching Arra...Andrew Reynolds
2012-11-17Fixed last currently known bug in array modelsClark Barrett
2012-11-17* enable previously-failing (now succeeding) datatype example that uses recordsMorgan Deters
2012-11-17fix for language bindings (fixes debian build fail last night)Morgan Deters
2012-11-17* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT...Morgan Deters
2012-11-16Fix for bug451Clark Barrett
2012-11-16fixing and refactoring the equality iteratorDejan Jovanović
2012-11-16Fix dumping of array-select expressions in CVC native language.Morgan Deters
2012-11-16fix a compiler warning in modelsMorgan Deters
2012-11-15some fixes for --threads=1Kshitij Bansal
2012-11-15More fixes to model generation, with previously failing testcasesClark Barrett
2012-11-15forgot to uncomment setLogicInternal for THEORY_BVLiana Hadarean
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback