Age | Commit message (Expand) | Author |
2017-03-24 | Refactor model building for quantifiers to be a single pass, simplification. ... | ajreynol |
2017-03-23 | Fixing warning message. | Clark Barrett |
2017-03-23 | support incremental unsat cores | guykatzz |
2017-03-22 | Fix more cases of rewritten explanations in strings for bug 784. Minor. | ajreynol |
2017-03-22 | Minor fix for bounded integers. | ajreynol |
2017-03-22 | Work on new approach for sygus involving conditional solutions. Refactoring o... | ajreynol |
2017-03-21 | Improve computeCareGraph functions to check shared term equality status once ... | ajreynol |
2017-03-20 | fixed cvc4 parser for set complement | Paul Meng |
2017-03-18 | Fix for bug 707. | Clark Barrett |
2017-03-18 | Fix to help with bug 717 | Clark Barrett |
2017-03-17 | better support for proof production when encountering bool terms: handle the ... | guykatzz |
2017-03-16 | Fixes bug 781. Copy constructor for Expr needed to set the NodeManagerScope. | Tim King |
2017-03-16 | More fixes, features to examples. | ajreynol |
2017-03-16 | Minor fixes, always expand applications of lambdas at preprocess. | ajreynol |
2017-03-16 | Support for SMT LIB 2.6 syntax declare-datatype and match. | ajreynol |
2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
2017-03-15 | Allow 0 argument recursive functions. Fixes bug 782. | ajreynol |
2017-03-14 | fix uninitialized variable | Andres Notzli |
2017-03-10 | Minor fix for cbqi-all. | ajreynol |
2017-03-09 | bug fix | guykatzz |
2017-03-09 | better proof support for bools and formulas | guykatzz |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
2017-03-07 | Fix cvc parser for set compliment. | ajreynol |
2017-03-06 | Do not eagerly construct explanations in relation solver. | ajreynol |
2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
2017-03-06 | Adding support for bool-to-bv | Clark Barrett |
2017-03-03 | Fix for collectModelInfo related to finite types + preregistration. Generaliz... | ajreynol |
2017-03-03 | Another minor fix for sets related to sharing + finite element types. | ajreynol |
2017-03-02 | Fixes related to sets. | ajreynol |
2017-03-02 | Minor cleanup and reorganization related to last commit. | ajreynol |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-02-16 | Minor fixes for relations, quantifiers dsplit. | ajreynol |
2017-02-16 | Fixes for sets+rels check. Minor. | ajreynol |
2017-02-15 | Minimization modes for fmf bound. | ajreynol |
2017-02-07 | Generalize finite bound inference to unifiable variables in set membership li... | ajreynol |
2017-01-30 | Fix regexp cache issue in strings, add regression. | ajreynol |
2017-01-18 | Fix non-idempotent rewrite in Array rewriter | Andres Noetzli |
2017-01-18 | Minor fix in relations. | ajreynol |
2017-01-13 | Fix call to SExpr constructor for greater portability. | Clark Barrett |
2017-01-13 | Merge pull request #130 from chadbrewbaker/master | Clark Barrett |
2017-01-13 | Do not rewrite explanations in strings. | ajreynol |
2017-01-11 | Merge pull request #129 from timothy-king/regression-scrubber | Clark Barrett |
2017-01-11 | Fix for when variables are (partially) bound in multiple ways, add regression... | ajreynol |
2017-01-10 | revert | Chad Brewbaker |
2017-01-10 | Quashing memory leak | Chad Brewbaker |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2017-01-08 | With reference to Bug 679, this commit integrates part of the patch proposed,... | Cristian Mattarei |
2017-01-06 | quashing debug memory leak | Chad Brewbaker |
2017-01-06 | Minor fix for sets. | ajreynol |
2017-01-04 | Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan... | ajreynol |