summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2012-10-02workaround for a nasty CLN bugMorgan Deters
2012-09-28fix distribution of cvc4_assert.iMorgan Deters
2012-09-28fixes for compatibility (i.e., CVC3) Java bindingsMorgan Deters
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-28fix production-build linking errorMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-09-26Fix a handful of things for Mac, and Java bindings.Morgan Deters
2012-09-25fix some Mac issuesMorgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-21Fixes for datatype dumping and printing. Add a new test case for dumping.Morgan Deters
2012-09-21better verbosity support (so it's sensible when the library is used via the API)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-17more bindings fixesMorgan Deters
2012-09-15another bindings fix (should fix debian build)Morgan Deters
2012-09-14a fix for the java bindings for weiMorgan Deters
2012-09-12Adding model assertions after SAT responses.Morgan Deters
2012-09-11added getCardinality to modelAndrew Reynolds
2012-09-10modified getValue to return Expr instead of NodeAndrew Reynolds
2012-09-08Some minor changes after reviewing the portfolio "unified driver" commit.Morgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...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-24* disallow internal uses of mkVar() (you have to mkSkolem())Morgan Deters
2012-08-22Cap finite cardinalities at 2^64, as discussed in the meeting last week.Morgan Deters
2012-08-20fixes for java bindingsMorgan 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-14Fixes to integer wrapper classes:Morgan Deters
2012-08-07small fixesDejan Jovanović
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
2012-08-03fix uses of getMetaKind() from outside the expr package. (they now use isCon...Morgan Deters
2012-08-02array-store-all classMorgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-08-01some fixes for Mac OSMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-27Minor cleanup after today's commits:Morgan Deters
2012-07-27removing unecessary filesAndrew Reynolds
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-07-18removing output operator for SExprTypes, which is never used (and SExprTypes ...Morgan Deters
2012-07-17SMT-LIBv2 compliance updates:Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-07-10small changes:Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback