Age | Commit message (Expand) | Author |
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 |
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 | Eliminating a signed vs. unsigned comparison. | Tim King |
2016-12-29 | Changing getTearDownIncremental() to return the type of options::tearDownIncr... | Tim King |
2016-12-29 | Adding a destructor to InstantiationNotify. | Tim King |
2016-12-29 | Adding a destructor to RepBoundExt. | Tim King |
2016-12-29 | Reordering sep and sets in Makefile.theories. | Tim King |
2016-12-16 | Fix dependency tracing for fewerPreprocessingHoles | Andres Notzli |
2016-12-14 | Switch from SMT-LIB v2.0 to v2.5 for smt2 files | Andres Notzli |
2016-12-14 | Made tear-down-incremental more like it used to be: when tear-down value | Clark Barrett |
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 | Fix boolean term conversion for INST_ATTRIBUTE, fixes bug 764. | ajreynol |
2016-12-07 | Merge branch 'master' of https://github.com/CVC4/CVC4 | guykatzz |
2016-12-07 | Turned off nonClausalSimplify when using fewerPreprocessingHoles. | guykatzz |
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-05 | Added "dump=raw-benchmark" option for dumping all user commands exactly as re... | Clark Barrett |
2016-12-03 | Fix unit test for datatypes, add interface functions to datatypes. | ajreynol |
2016-12-02 | Fix for bug 734 | Clark Barrett |
2016-12-02 | Cleaning up Statistics::copyFrom to avoid casts. | Tim King |
2016-12-02 | Initializing the d_pivots variable. | Tim King |
2016-12-02 | Merge pull request #95 from 4tXJ7f/fix_sierra_build | 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 |