| Age | Commit message (Expand) | Author |
|---|
| 2012-11-07 | * Type ascription bug fixed (resolves bug 432), but there are others I discov... | Morgan Deters |
| 2012-11-07 | Fix to a bug in integer mod lemmas. | Tim King |
| 2012-10-30 | delta of a model-building failure case | Dejan Jovanović |
| 2012-10-26 | fixed bug in datatypes decision procedure enforcing rewriting of incorrectly ... | Andrew Reynolds |
| 2012-10-24 | fix for bug 429 | Dejan Jovanović |
| 2012-10-24 | two smaller random pure LRA push-pop cases that fail | Dejan Jovanović |
| 2012-10-23 | fixed problem with datatypes giving incorrect explanations, now corrected and... | Andrew Reynolds |
| 2012-10-22 | add bug 425 models regression; fix mac-build execute permission | Morgan Deters |
| 2012-10-11 | Fix bug 421, again, and add a second, independent test case for the same | Morgan Deters |
| 2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
| 2012-10-10 | fixing the cvc bv parser and typechecker | Dejan Jovanović |
| 2012-10-09 | * make Model class private (as discussed at meeting today) | Morgan Deters |
| 2012-10-09 | made datatypes rewrite incorrect selectors to ground term. this feature can ... | Andrew Reynolds |
| 2012-10-09 | fix beta reduction in both preRewrite() *and* postRewrite(), related to bug 4... | Morgan Deters |
| 2012-10-08 | added reduced bv model failing test case | Liana Hadarean |
| 2012-10-06 | * Include a few bug testcases for resolved bugs. | Morgan Deters |
| 2012-10-06 | * Fix some regressions' expected outputs. | Morgan Deters |
| 2012-10-05 | Bug-related: | Morgan Deters |
| 2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
| 2012-09-26 | bug #398 test (bug was resolved last night), and a script to download all bug... | Morgan Deters |
| 2012-09-25 | some buggy examples for incrementality, and make bug326 run as part of make r... | Morgan Deters |
| 2012-09-24 | some api changes | Dejan Jovanović |
| 2012-09-21 | Fixes for datatype dumping and printing. Add a new test case for dumping. | Morgan Deters |
| 2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
| 2012-09-18 | SMT-LIBv2 compliance regarding outputting "unknown". | Morgan Deters |
| 2012-09-17 | minor fix for models, added simple cliques option for uf strong solver | Andrew Reynolds |
| 2012-09-16 | enable bug regression for bug 382 | Morgan Deters |
| 2012-09-15 | bug testcase for model generation | Morgan Deters |
| 2012-09-06 | Remove SmtEngine::getStackLevel(), which exposed implementation details and w... | Morgan Deters |
| 2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
| 2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
| 2012-08-27 | * Reversing commit r4258 (which disabled failing regressions). Fixed the pro... | Morgan Deters |
| 2012-08-26 | disabling failing regressions | Kshitij Bansal |
| 2012-08-21 | add some incremental in-tree regressions | Morgan Deters |
| 2012-08-20 | removing v1l20009.cvc, a datatypes benchmark where the TCC fails (CVC3 and CV... | Morgan Deters |
| 2012-08-16 | bug 374 (was found through fuzzing 2012-07-18) | Kshitij Bansal |
| 2012-08-05 | Disable failing datatypes regression, pending solution to bug #370. | Morgan Deters |
| 2012-07-27 | Minor cleanup after today's commits: | Morgan Deters |
| 2012-07-27 | merging fmf-devel branch, includes refactored datatype theory, updates to mod... | Andrew Reynolds |
| 2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
| 2012-07-16 | now passes "make distcheck", which does important checks for the release (e.g... | Morgan Deters |
| 2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
| 2012-06-28 | Fixed bug in bv rewriter that caused wrong answer in SMT-COMPsmtcomp2012-resubmission-2 | Clark Barrett |
| 2012-06-22 | TPTP: add parser for cnf and fof | François Bobot |
| 2012-06-17 | enabling theoryof=term for quantifiers with sharing | Dejan Jovanović |
| 2012-06-17 | fixing wrong assertion | Dejan Jovanović |
| 2012-06-17 | fixing makefile error that brakes build | Dejan Jovanović |
| 2012-06-17 | Fix array bug causing incorrect answers | Clark Barrett |
| 2012-06-16 | Adding the failing QF_AUFLIA regression mentioned in last commit. | Kshitij Bansal |
| 2012-06-16 | changing theoryOf in shared mode with arrays to move equalities to arrays | Dejan Jovanović |
