Age | Commit message (Expand) | Author |
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 |
2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
2016-11-14 | relational solver code refactor and bug fixes | Paul Meng |
2016-11-14 | Minor improvement to caching for extf bv inferences. | ajreynol |
2016-11-11 | Enable eager bitblasting for QF_ABV when no stores are present. | Clark Barrett |
2016-11-11 | Add simple inferences for extended bitvector functions, add a few related opt... | ajreynol |
2016-11-10 | Add option for enabling/disabling lazy extended function reduction in bitvect... | ajreynol |
2016-11-08 | Minor fixes related to ExtTheory + incremental, fixes bug760. | ajreynol |
2016-11-08 | Add a few options to separation logic and sets. Minor changes to separation l... | ajreynol |
2016-11-07 | Fixing a memory leak in the eager bitblaster. | Tim King |
2016-11-04 | Fix a few more minor memory leaks. | ajreynol |
2016-11-03 | Make data points accurate in sep logic models. | ajreynol |
2016-11-03 | Add priorities to getNextDecision. Properly handle case for finite types + un... | ajreynol |
2016-11-02 | Fix bug in separation logic for finite pto-data types. Minor cleanup in sep. ... | ajreynol |
2016-11-02 | Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat. | ajreynol |
2016-11-01 | Fix memory leak in TheorySetsRels. Minor cleanup. | ajreynol |
2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol |
2016-10-31 | Minor refactoring in preparation for datatypes node cycle breaking. | ajreynol |
2016-10-28 | Add get instantiations utilities to API. | ajreynol |
2016-10-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |
2016-10-19 | Fix minor bug and typo in boolean rewriterfix_rewrite | Andres Notzli |
2016-10-13 | Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory. | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
2016-10-11 | - fixed a memory leak issue with context dependent data structure | Paul Meng |