summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
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
2012-08-16some fixes for language bindingsMorgan 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-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-08-06Cleanup of some command stuff, fixes broken Java build.Morgan Deters
2012-08-04isConst() rule for datatypesMorgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback