summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2012-12-01fix #line annotation warningMorgan Deters
2012-11-30Updating the combination.cpp example.Tim King
2012-11-30change detection/handling of output language more reasonably; fixes a nagging...Morgan Deters
2012-11-29minor documentation fixMorgan Deters
2012-11-29Hack to support global variables for CVC language extended to export mechanism.Kshitij Bansal
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-27First chunk of boolean-terms support.Morgan Deters
2012-11-27Tuples and records merge. Resolves bug 270.Morgan Deters
2012-11-18Disable predicate subtyping: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-12* Fix language bindings: various issuesMorgan Deters
2012-11-09export null nodes (fixes a bug in portfolio model stuff)Kshitij Bansal
2012-11-08Review of trunk r4525 (TypeNode::getBaseType()):Morgan Deters
2012-11-08Added getBaseType - Morgan please checkClark Barrett
2012-11-07* Type ascription bug fixed (resolves bug 432), but there are others I discov...Morgan Deters
2012-10-26better parametric datatype arity checking; fixes bug 433Morgan Deters
2012-10-14fix #line number warnings (sorry!)Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-11Fix wording on GPL in legal notices; also remove an unnecessary source depend...Morgan Deters
2012-10-10Abstract values for SMT-LIB.Morgan Deters
2012-10-09* make Model class private (as discussed at meeting today)Morgan Deters
2012-10-05Bug-related:Morgan Deters
2012-10-05BoolExpr removed and replaced with ExprDejan Jovanović
2012-10-04Implemented array type enumerator, more fixes for modelsClark Barrett
2012-09-30minor fixes to pickler (hopefully fixes Debian build from last night)Morgan Deters
2012-09-28Some fixes to portfolioKshitij Bansal
2012-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-09-28some fixes to build systemMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-26Finish off SEXPR kind work.Morgan Deters
2012-09-26The Tuesday Afternoon Catch-All Commit (TACAC):Morgan Deters
2012-09-24some api changesDejan Jovanović
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-20some bugfixes that come as a result of debugging some CASCADE/C stuff..Morgan Deters
2012-09-19General subscriber infrastructure for NodeManager, as discussed in theMorgan Deters
2012-09-19fix subtle bug in NodeValue::toStream()Morgan Deters
2012-09-15minor interface improvements, compliance fixesMorgan Deters
2012-09-08Some minor changes after reviewing the portfolio "unified driver" commit.Morgan Deters
2012-09-08Single driver for both sequential and portfolioKshitij Bansal
2012-09-04Accepted some patches from the Multicore Programming Group at Imperial Colleg...Morgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-08-30set the default expression-printing depth to "unlimited"Morgan Deters
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-27* Reversing commit r4258 (which disabled failing regressions). Fixed the pro...Morgan Deters
2012-08-24* disallow internal uses of mkVar() (you have to mkSkolem())Morgan Deters
2012-08-24fix get-value output in a couple ways; this fixes bug #378Morgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-08-16fix exceptions and mkConst() in java bindingMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback