Age | Commit message (Expand) | Author |
2012-10-02 | workaround for a nasty CLN bug | Morgan Deters |
2012-09-28 | fix distribution of cvc4_assert.i | Morgan Deters |
2012-09-28 | fixes for compatibility (i.e., CVC3) Java bindings | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-28 | fix production-build linking error | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-26 | Fix a handful of things for Mac, and Java bindings. | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-21 | Fixes for datatype dumping and printing. Add a new test case for dumping. | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-20 | some bugfixes that come as a result of debugging some CASCADE/C stuff.. | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-09-17 | more bindings fixes | Morgan Deters |
2012-09-15 | another bindings fix (should fix debian build) | Morgan Deters |
2012-09-14 | a fix for the java bindings for wei | Morgan Deters |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-09-11 | added getCardinality to model | Andrew Reynolds |
2012-09-10 | modified getValue to return Expr instead of Node | Andrew Reynolds |
2012-09-08 | Some minor changes after reviewing the portfolio "unified driver" commit. | Morgan Deters |
2012-08-31 | merge 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-28 | fix a bug in CLN rational printing where the base was ignored (was causing th... | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-08-22 | Cap finite cardinalities at 2^64, as discussed in the meeting last week. | Morgan Deters |
2012-08-20 | fixes for java bindings | Morgan Deters |
2012-08-16 | ArrayStoreAll should (for now) only allow constant expressions, as it is itse... | Morgan Deters |
2012-08-16 | fix exceptions and mkConst() in java binding | Morgan Deters |
2012-08-14 | Fixes to integer wrapper classes: | Morgan Deters |
2012-08-07 | small fixes | Dejan Jovanović |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-08-03 | ArrayStoreAll infrastructure | Morgan Deters |
2012-08-03 | fix uses of getMetaKind() from outside the expr package. (they now use isCon... | Morgan Deters |
2012-08-02 | array-store-all class | Morgan Deters |
2012-08-01 | fixes to some *clean targets | Morgan Deters |
2012-08-01 | some fixes for Mac OS | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-27 | Minor cleanup after today's commits: | Morgan Deters |
2012-07-27 | removing unecessary files | Andrew Reynolds |
2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
2012-07-18 | removing output operator for SExprTypes, which is never used (and SExprTypes ... | Morgan Deters |
2012-07-17 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-07-16 | Support for having two SmtEngines with the same ExprManager. | Morgan Deters |
2012-07-14 | Type enumerator infrastructure and uninterpreted constant support. No suppor... | Morgan Deters |
2012-07-12 | merged fmf-devel branch, includes support for SMT2 command get-value and (ext... | Andrew Reynolds |
2012-07-10 | small changes: | Dejan Jovanović |