Age | Commit message (Expand) | Author |
2017-03-18 | Fix to help with bug 717 | Clark Barrett |
2017-03-10 | Minor fix for cbqi-all. | ajreynol |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | 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 | 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 | Adding regression test scrubbing. | Tim King |
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 |
2017-01-04 | Merge pull request #120 from 4tXJ7f/fix_f_pp_holes | guykatzz |
2016-12-29 | Changing a set of TNodes to a set of Nodes in the BV inequality solver. The r... | Tim King |
2016-12-29 | Adding a destructor to InstantiationNotify. | Tim King |
2016-12-29 | Adding a destructor to RepBoundExt. | Tim King |
2016-12-16 | Fix dependency tracing for fewerPreprocessingHoles | Andres Notzli |
2016-12-11 | Merge branch 'master' into fix_order | Clark Barrett |
2016-12-11 | Merge pull request #116 from 4tXJ7f/fix_mult | Clark Barrett |
2016-12-09 | Fixing a use after free bug in Polynomial::denominatorLCM. | Tim King |
2016-12-08 | Fix initialization order | Andres Notzli |
2016-12-08 | Fix (inactive) `MultSlice` rewrite | Andres Notzli |
2016-12-07 | Add sets regression, fixes bug 754. Minor fix to regexp in strings. | ajreynol |
2016-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
2016-12-07 | Refactoring, generalization of bounded inference module. Simplification of re... | ajreynol |
2016-12-07 | Fix nf exp tracking for non-linear string equalities, fixes bug 768. | ajreynol |
2016-12-06 | Improve bounds for global heap in sep, refactor preprocessing. Minor improvem... | ajreynol |
2016-12-02 | Fix for bug 734 | Clark Barrett |
2016-12-02 | Initializing the d_pivots variable. | Tim King |
2016-12-02 | Merge pull request #113 from 4tXJ7f/remove_extract_rule | Clark Barrett |
2016-12-02 | Bug fixes and refactoring of parametric datatypes, add some regressions. | ajreynol |
2016-12-02 | Refactor preprocessing of models in fmf. Fix options --fmf-empty-sorts and --... | ajreynol |
2016-12-01 | Fix quantifiers dynamic splitting module for incremental mode, fixes bug 765 ... | ajreynol |
2016-12-01 | Improvement and bug fix for str.indexof reduction, add regression. Other mino... | ajreynol |
2016-11-30 | Remove wrong `ExtractMultLeadingBit` rule | Andres Notzli |
2016-11-21 | Fix `MultDistrib` rewrite rule | Andres Notzli |
2016-11-21 | Refactoring related to track instantiation option. | ajreynol |
2016-11-18 | Removing some throw specifiers from OutputChannel. Fixes bug 716. | Tim King |