summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-08-29To the build system:Morgan Deters
2012-08-28fix a bug in CLN rational printing where the base was ignored (was causing th...Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-27fix a destruction-order issue that was (1) causing valgrind to complain loudl...Morgan Deters
2012-08-27* Reversing commit r4258 (which disabled failing regressions). Fixed the pro...Morgan Deters
2012-08-26minor, lying around in a wd (related to investigating bug 374)Kshitij Bansal
2012-08-26Array constants finished and working. Unit tests for array constants.Clark Barrett
2012-08-25fix unit testsMorgan Deters
2012-08-24* disallow internal uses of mkVar() (you have to mkSkolem())Morgan Deters
2012-08-24disallow assertions to inactive theories.Morgan Deters
2012-08-24fix TheoryEngine::collectModelInfo() to only call collectModelInfo() on activ...Morgan Deters
2012-08-24fix warning in arrays rewriterMorgan Deters
2012-08-24fix get-value output in a couple ways; this fixes bug #378Morgan Deters
2012-08-23attribute stuff for Clark's array constantsMorgan Deters
2012-08-23Array constant coding done except for the attributes neededClark Barrett
2012-08-22Cap finite cardinalities at 2^64, as discussed in the meeting last week.Morgan Deters
2012-08-22fix some build dependencies in options-building; should fix a strange bug And...Morgan Deters
2012-08-22More progress on array constants.Clark Barrett
2012-08-21add some incremental in-tree regressionsMorgan Deters
2012-08-21rewriterules: fix a correction bug with --simplification=batchFrançois Bobot
2012-08-20remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplic...Morgan Deters
2012-08-20minor cleanupMorgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-08-191. Fix for inst_match.cpp to allow compilation on fedoraClark Barrett
2012-08-16The SmtEngine now ensures that setLogicInternal() is called even if there is ...Morgan Deters
2012-08-16Replace propagateAsDecision() with Theory::getNextDecisionRequest():Morgan Deters
2012-08-16ArrayStoreAll should (for now) only allow constant expressions, as it is itse...Morgan Deters
2012-08-16fix exceptions and mkConst() in java bindingMorgan Deters
2012-08-16some fixes for language bindingsMorgan Deters
2012-08-14Fixes to integer wrapper classes:Morgan Deters
2012-08-14Implements TheoryArith::collectModelInfo(). The current implementation is qu...Tim King
2012-08-14Adds substituteDelta() to DeltaRational which given a value for delta returns...Tim King
2012-08-14Switched TheoryModel assertEqualityEngine to use const Equality Engine pointers.Tim King
2012-08-14Switched a number of EqClassIterator operations to const as well as the inter...Tim King
2012-08-13fix integer parsing error.. thanks dejan for the report. this indicates that...Morgan Deters
2012-08-13Make a few functions in TheoryEngine (like theoryOf()) const.Morgan Deters
2012-08-13Minor cleanup. No performance difference expected.Morgan Deters
2012-08-09minor isConst()-related fixes to printing; also add some debugging stuff to s...Morgan Deters
2012-08-08Fix --no-checking option.Morgan Deters
2012-08-08Public interface review items:Morgan Deters
2012-08-07small fixesDejan Jovanović
2012-08-07some fixes to command and declaration tab-completion in interactive shellMorgan Deters
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-07Fix SmtEngine::setInfo() handling for certain keys. This fixes the "unsuppor...Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-08-06removing the sat solver inmterface from being publicDejan Jovanović
2012-08-06Cleanup of some command stuff, fixes broken Java build.Morgan Deters
2012-08-06fix constant printing for datatypesDejan Jovanović
2012-08-04isConst() rule for datatypesMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback