| Age | Commit message (Expand) | Author |
|---|
| 2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
| 2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
| 2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
| 2013-03-11 | ite removal option for quantifiers --ite-remove-quant, e-matching for boolean... | Andrew Reynolds |
| 2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
| 2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
| 2013-02-05 | dos2unix conversion for a number of files; this avoids spurious conflicts whe... | Morgan Deters |
| 2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
| 2013-02-04 | Model no longer adds subterms of quantifiers to equality engine, this fixed b... | Andrew Reynolds |
| 2013-01-31 | Fix a small problem in clang builds due to namespaces and symbol lookup | Morgan Deters |
| 2013-01-28 | Fixes for Win32 (closes bugs 488 and 489) | Morgan Deters |
| 2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
| 2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
| 2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
| 2012-12-14 | Merging in patch from branch '1.0.x'. | Tim King |
| 2012-12-14 | Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x | Tim King |
| 2012-12-14 | Changing the rewriter to use Boute's Euclidean definition of division. | Tim King |
| 2012-12-12 | Merge pull request #2 from CVC4/1.0.x | Dejan Jovanović |
| 2012-12-12 | * fixed bug 481 by adding check for division by 0 in bit-vector division circuit | lianah |
| 2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
| 2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
| 2012-12-05 | Improved garbage collection for TheoryArith. The merges all of the code over... | Tim King |
| 2012-12-01 | Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((... | Tim King |
| 2012-11-30 | Changes to SExpr to accept autoconversion from bool and const char*. Adding a... | Tim King |
| 2012-11-29 | fixes bug 438, incorporate subtypes into type unification when typechecking p... | Andrew Reynolds |
| 2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
| 2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
| 2012-11-26 | Improved implementation of Integer::length() with CLN enabled. Additional te... | Tim King |
| 2012-11-17 | * enable previously-failing (now succeeding) datatype example that uses records | Morgan Deters |
| 2012-11-17 | fix for language bindings (fixes debian build fail last night) | 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-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 |
