2016-12-29 |
Tim King | Changing getTearDownIncremental() to return the type... |
tree | commitdiff |
2016-12-29 |
Tim King | Adding a destructor to InstantiationNotify. |
tree | commitdiff |
2016-12-29 |
Tim King | Adding a destructor to RepBoundExt. |
tree | commitdiff |
2016-12-29 |
Tim King | Reordering sep and sets in Makefile.theories. |
tree | commitdiff |
2016-12-14 |
Clark Barrett | Merge pull request #119 from 4tXJ7f/smt_v2_5 |
tree | commitdiff |
2016-12-14 |
Andres Notzli | Switch from SMT-LIB v2.0 to v2.5 for smt2 files |
tree | commitdiff |
2016-12-14 |
Clark Barrett | Made tear-down-incremental more like it used to be... |
tree | commitdiff |
2016-12-13 |
Andrew Reynolds | Merge pull request #118 from 4tXJ7f/fix_emp |
tree | commitdiff |
2016-12-12 |
Clark Barrett | Merge pull request #117 from 4tXJ7f/fix_order |
tree | commitdiff |
2016-12-12 |
Clark Barrett | Merge branch 'master' into fix_order |
tree | commitdiff |
2016-12-12 |
Clark Barrett | Merge pull request #116 from 4tXJ7f/fix_mult |
tree | commitdiff |
2016-12-09 |
Tim King | Fixing a use after free bug in Polynomial::denominatorLCM. |
tree | commitdiff |
2016-12-09 |
Andres Notzli | Fix initialization order |
tree | commitdiff |
2016-12-09 |
Andres Notzli | Fix (inactive) `MultSlice` rewrite |
tree | commitdiff |
2016-12-07 |
ajreynol | Add sets regression, fixes bug 754. Minor fix to regex... |
tree | commitdiff |
2016-12-07 |
ajreynol | Added cardinality to cvc language, fixes bug 753. Throw... |
tree | commitdiff |
2016-12-07 |
ajreynol | Fix boolean term conversion for INST_ATTRIBUTE, fixes... |
tree | commitdiff |
2016-12-07 |
guykatzz | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-12-07 |
guykatzz | Turned off nonClausalSimplify when using fewerPreproces... |
tree | commitdiff |
2016-12-07 |
ajreynol | Refactoring, generalization of bounded inference module... |
tree | commitdiff |
2016-12-07 |
ajreynol | Fix nf exp tracking for non-linear string equalities... |
tree | commitdiff |
2016-12-06 |
ajreynol | Improve bounds for global heap in sep, refactor preproc... |
tree | commitdiff |
2016-12-06 |
Clark Barrett | Added "dump=raw-benchmark" option for dumping all user... |
tree | commitdiff |
2016-12-03 |
ajreynol | Fix unit test for datatypes, add interface functions... |
tree | commitdiff |
2016-12-03 |
Clark Barrett | Fix for bug 734 |
tree | commitdiff |
2016-12-02 |
Tim King | Cleaning up Statistics::copyFrom to avoid casts. |
tree | commitdiff |
2016-12-02 |
Tim King | Initializing the d_pivots variable. |
tree | commitdiff |
2016-12-02 |
Tim King | Merge pull request #95 from 4tXJ7f/fix_sierra_build |
tree | commitdiff |
2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
tree | commitdiff |
2016-12-02 |
ajreynol | Bug fixes and refactoring of parametric datatypes,... |
tree | commitdiff |
2016-12-02 |
ajreynol | Refactor preprocessing of models in fmf. Fix options... |
tree | commitdiff |
2016-12-02 |
Andres Notzli | Fix build on macOS Sierra |
tree | commitdiff |
2016-12-01 |
ajreynol | Fix quantifiers dynamic splitting module for incrementa... |
tree | commitdiff |
2016-12-01 |
ajreynol | Improvement and bug fix for str.indexof reduction,... |
tree | commitdiff |
2016-11-30 |
Andres Notzli | Remove wrong `ExtractMultLeadingBit` rule |
tree | commitdiff |
2016-11-30 |
Clark Barrett | Merge pull request #115 from 4tXJ7f/bug766 |
tree | commitdiff |
2016-11-30 |
Andres Notzli | Fix parsing of BVROTR by CVC parser |
tree | commitdiff |
2016-11-28 |
Clark Barrett | Merge pull request #112 from 4tXJ7f/fix_mult_distrib |
tree | commitdiff |
2016-11-22 |
ajreynol | Fix smt2 and cvc printers for testers when output and... |
tree | commitdiff |
2016-11-22 |
Andres Notzli | Fix `MultDistrib` rewrite rule |
tree | commitdiff |
2016-11-21 |
ajreynol | Refactoring related to track instantiation option. |
tree | commitdiff |
2016-11-18 |
Tim King | Removing some throw specifiers from OutputChannel.... |
tree | commitdiff |
2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
tree | commitdiff |
2016-11-18 |
Clark Barrett | Add support for set-logic ALL, fix compiler error in... |
tree | commitdiff |
2016-11-16 |
Clark Barrett | Merge pull request #108 from timothy-king/smt2-parser... |
tree | commitdiff |
2016-11-16 |
PaulMeng | Merge pull request #109 from PaulMeng/master |
tree | commitdiff |
2016-11-15 |
Paul Meng | relational solver code refactor and bug fixes |
tree | commitdiff |
2016-11-14 |
ajreynol | Minor improvement to caching for extf bv inferences. |
tree | commitdiff |
2016-11-14 |
Tim King | Adding garbage collection for the Smt2 Parser for Comma... |
tree | commitdiff |
2016-11-12 |
Clark Barrett | Merge pull request #107 from timothy-king/smt1-parser... |
tree | commitdiff |
2016-11-12 |
Clark Barrett | Merge pull request #106 from timothy-king/cvc-parser... |
tree | commitdiff |
2016-11-12 |
Clark Barrett | Fixed a bug in cdhashmap in which doubly-linked list... |
tree | commitdiff |
2016-11-12 |
Tim King | Adding garbage collection for the Smt1 Parser for Comma... |
tree | commitdiff |
2016-11-12 |
Tim King | Adding garbage collection for the CVC Parser for Comman... |
tree | commitdiff |
2016-11-12 |
Tim King | Merge pull request #105 from timothy-king/delete-maxed-out |
tree | commitdiff |
2016-11-12 |
Tim King | Deleting the remaining commands in the Parser's queue... |
tree | commitdiff |
2016-11-11 |
Tim King | Applying clang-format to parser.cpp. |
tree | commitdiff |
2016-11-11 |
Tim King | Speeding up the common branches for inc(). |
tree | commitdiff |
2016-11-11 |
Clark Barrett | Enable eager bitblasting for QF_ABV when no stores... |
tree | commitdiff |
2016-11-11 |
ajreynol | Add simple inferences for extended bitvector functions... |
tree | commitdiff |
2016-11-10 |
Tim King | Adding garbage collection of nodes with maxed out refer... |
tree | commitdiff |
2016-11-10 |
Tim King | Added PtrCloser guards for constructNodePtr. This ensur... |
tree | commitdiff |
2016-11-10 |
ajreynol | Add option for enabling/disabling lazy extended functio... |
tree | commitdiff |
2016-11-10 |
Tim King | Merge pull request #103 from timothy-king/uniq-ptr |
tree | commitdiff |
2016-11-09 |
Tim King | Renaming the class PtrCloser to not cause confusion... |
tree | commitdiff |
2016-11-09 |
Tim King | Merge branch 'master' into uniq-ptr |
tree | commitdiff |
2016-11-09 |
ajreynol | Fix tptp parser memory leaks for include. |
tree | commitdiff |
2016-11-08 |
ajreynol | Minor fixes related to ExtTheory + incremental, fixes... |
tree | commitdiff |
2016-11-08 |
ajreynol | Add a few options to separation logic and sets. Minor... |
tree | commitdiff |
2016-11-07 |
Tim King | Changing ArrayStoreAll's constructor to delay allocatio... |
tree | commitdiff |
2016-11-07 |
Tim King | Fixing a memory leak in the CnfStream unit tests. |
tree | commitdiff |
2016-11-07 |
Tim King | Fixing a memory leak in the eager bitblaster. |
tree | commitdiff |
2016-11-07 |
Tim King | Adds a C++05 version of unique_ptr. Used this to solve... |
tree | commitdiff |
2016-11-07 |
Tim King | Merge pull request #102 from timothy-king/node-id-eq |
tree | commitdiff |
2016-11-07 |
Tim King | This switches the ZombieSet in the NodeManager to use... |
tree | commitdiff |
2016-11-04 |
ajreynol | Fix a few more minor memory leaks. |
tree | commitdiff |
2016-11-03 |
ajreynol | Make data points accurate in sep logic models. |
tree | commitdiff |
2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle... |
tree | commitdiff |
2016-11-03 |
Tim King | Merge pull request #100 from 4tXJ7f/fix_context_mm_black |
tree | commitdiff |
2016-11-03 |
Andres Notzli | Fix back() of empty deque in context_mm_black test |
tree | commitdiff |
2016-11-02 |
ajreynol | Fix bug in separation logic for finite pto-data types... |
tree | commitdiff |
2016-11-02 |
ajreynol | Fix a few obvious memory leaks in sygus and quantifiers... |
tree | commitdiff |
2016-11-01 |
ajreynol | Minor fix to cvc3_compat. |
tree | commitdiff |
2016-11-01 |
ajreynol | Make tuple and record names unique. Do not print intern... |
tree | commitdiff |
2016-11-01 |
ajreynol | Fix memory leak in TheorySetsRels. Minor cleanup. |
tree | commitdiff |
2016-11-01 |
ajreynol | Revert change to Datatypes API to return vector of... |
tree | commitdiff |
2016-11-01 |
ajreynol | Revert change to datatypes API for passing pointers... |
tree | commitdiff |
2016-11-01 |
ajreynol | Working memory leak free version, changes interface... |
tree | commitdiff |
2016-10-31 |
ajreynol | Minor refactoring in preparation for datatypes node... |
tree | commitdiff |
2016-10-28 |
ajreynol | Add get instantiations utilities to API. |
tree | commitdiff |
2016-10-27 |
Clark Barrett | Merge pull request #99 from 4tXJ7f/fix_dist_build3 |
tree | commitdiff |
2016-10-27 |
Andres Notzli | Fix typo in Makefile that makes distcheck fail |
tree | commitdiff |
2016-10-26 |
Andrew Reynolds | Merge pull request #98 from 4tXJ7f/fix_dist_build |
tree | commitdiff |
2016-10-26 |
ajreynol | New implementation of sets+cardinality. Merge Paul... |
tree | commitdiff |
2016-10-19 |
Tim King | Merge pull request #97 from 4tXJ7f/fix_rewrite |
tree | commitdiff |
2016-10-19 |
Andres Notzli | Fix minor bug and typo in boolean rewriter |
tree | commitdiff |
2016-10-13 |
ajreynol | Merging bv parts of ajr/bvExt branch, minor additions... |
tree | commitdiff |
2016-10-13 |
Tim King | Initializes RoundingMode::roundNearestTiesToAway to... |
tree | commitdiff |
2016-10-13 |
Tim King | Revert "Merge branch 'origin' of https://github.com... |
tree | commitdiff |
2016-10-11 |
Paul Meng | Merge branch 'origin' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
next |