| Age | Commit message (Expand) | Author |
|---|
| 2012-11-15 | Fix for bug 447. | Tim King |
| 2012-11-13 | refactoring of quantifiers rewriter based on code review from yesterday, refa... | Andrew Reynolds |
| 2012-11-12 | changed BitVector::unsignedRem to match the behavior of the bit-blasted circu... | Liana Hadarean |
| 2012-11-12 | * Fix language bindings: various issues | Morgan Deters |
| 2012-11-12 | minor bug fixes for quantifiers, added sort inference module (not ready to be... | Andrew Reynolds |
| 2012-11-10 | Beautifying integer_cln_imp.h | Tim King |
| 2012-11-07 | * Type ascription bug fixed (resolves bug 432), but there are others I discov... | Morgan Deters |
| 2012-10-22 | fix installation of certain header files | Morgan Deters |
| 2012-10-11 | minor changes in wording for "cvc4 --version", and point to the COPYING file ... | Morgan Deters |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-10-11 | Fix wording on GPL in legal notices; also remove an unnecessary source depend... | Morgan Deters |
| 2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
| 2012-10-09 | fixed datatypes rewriter to detect clashes between non-datatype subfields. c... | Andrew Reynolds |
| 2012-10-09 | * make Model class private (as discussed at meeting today) | Morgan Deters |
| 2012-10-09 | some documentation fixes | Morgan Deters |
| 2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
| 2012-10-06 | * Include a few bug testcases for resolved bugs. | Morgan Deters |
| 2012-10-05 | Bug-related: | Morgan Deters |
| 2012-10-04 | Implemented array type enumerator, more fixes for models | Clark Barrett |
| 2012-10-04 | IllegalArgumentException in java needs to be named "CVC4IllegalArgumentExcept... | Morgan Deters |
| 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 |
