| 2016-12-28 |
Andres Notzli | [LFSC] Minor fixes/improvements |
commit | commitdiff | tree |
| 2016-12-14 |
Clark Barrett | Merge pull request #119 from 4tXJ7f/smt_v2_5 |
commit | commitdiff | tree |
| 2016-12-14 |
Andres Notzli | Switch from SMT-LIB v2.0 to v2.5 for smt2 files |
commit | commitdiff | tree |
| 2016-12-14 |
Clark Barrett | Made tear-down-incremental more like it used to be... |
commit | commitdiff | tree |
| 2016-12-13 |
Andrew Reynolds | Merge pull request #118 from 4tXJ7f/fix_emp |
commit | commitdiff | tree |
| 2016-12-12 |
Clark Barrett | Merge pull request #117 from 4tXJ7f/fix_order |
commit | commitdiff | tree |
| 2016-12-12 |
Andres Notzli | Fix split-find-unsat-w-emp test |
commit | commitdiff | tree |
| 2016-12-12 |
Clark Barrett | Merge branch 'master' into fix_order |
commit | commitdiff | tree |
| 2016-12-12 |
Clark Barrett | Merge pull request #116 from 4tXJ7f/fix_mult |
commit | commitdiff | tree |
| 2016-12-09 |
Tim King | Fixing a use after free bug in Polynomial::denominatorLCM. |
commit | commitdiff | tree |
| 2016-12-09 |
Andres Notzli | Fix initialization order |
commit | commitdiff | tree |
| 2016-12-09 |
Andres Notzli | Fix (inactive) `MultSlice` rewrite |
commit | commitdiff | tree |
| 2016-12-08 |
ajreynol | Enable remaining cardinality benchmarks |
commit | commitdiff | tree |
| 2016-12-08 |
ajreynol | Add missing regression |
commit | commitdiff | tree |
| 2016-12-07 |
ajreynol | Add sets regression, fixes bug 754. Minor fix to regex... |
commit | commitdiff | tree |
| 2016-12-07 |
ajreynol | Added cardinality to cvc language, fixes bug 753. Throw... |
commit | commitdiff | tree |
| 2016-12-07 |
ajreynol | Fix boolean term conversion for INST_ATTRIBUTE, fixes... |
commit | commitdiff | tree |
| 2016-12-07 |
guykatzz | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2016-12-07 |
guykatzz | Turned off nonClausalSimplify when using fewerPreproces... |
commit | commitdiff | tree |
| 2016-12-07 |
ajreynol | Refactoring, generalization of bounded inference module... |
commit | commitdiff | tree |
| 2016-12-07 |
ajreynol | Fix nf exp tracking for non-linear string equalities... |
commit | commitdiff | tree |
| 2016-12-06 |
ajreynol | Improve bounds for global heap in sep, refactor preproc... |
commit | commitdiff | tree |
| 2016-12-06 |
Clark Barrett | Added "dump=raw-benchmark" option for dumping all user... |
commit | commitdiff | tree |
| 2016-12-03 |
ajreynol | Fix unit test for datatypes, add interface functions... |
commit | commitdiff | tree |
| 2016-12-03 |
Clark Barrett | Fix for bug 734 |
commit | commitdiff | tree |
| 2016-12-02 |
Tim King | Cleaning up Statistics::copyFrom to avoid casts. |
commit | commitdiff | tree |
| 2016-12-02 |
Tim King | Initializing the d_pivots variable. |
commit | commitdiff | tree |
| 2016-12-02 |
Tim King | Merge pull request #95 from 4tXJ7f/fix_sierra_build |
commit | commitdiff | tree |
| 2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
commit | commitdiff | tree |
| 2016-12-02 |
ajreynol | Bug fixes and refactoring of parametric datatypes,... |
commit | commitdiff | tree |
| 2016-12-02 |
ajreynol | Refactor preprocessing of models in fmf. Fix options... |
commit | commitdiff | tree |
| 2016-12-02 |
Andres Notzli | Fix build on macOS Sierra |
commit | commitdiff | tree |
| 2016-12-01 |
ajreynol | Fix quantifiers dynamic splitting module for incrementa... |
commit | commitdiff | tree |
| 2016-12-01 |
ajreynol | Improvement and bug fix for str.indexof reduction,... |
commit | commitdiff | tree |
| 2016-11-30 |
Andres Notzli | Remove wrong `ExtractMultLeadingBit` rule |
commit | commitdiff | tree |
| 2016-11-30 |
Clark Barrett | Merge pull request #115 from 4tXJ7f/bug766 |
commit | commitdiff | tree |
| 2016-11-30 |
Clark Barrett | Merge pull request #114 from 4tXJ7f/add_unit_test |
commit | commitdiff | tree |
| 2016-11-30 |
Andres Notzli | Fix parsing of BVROTR by CVC parser |
commit | commitdiff | tree |
| 2016-11-30 |
Andres Notzli | Add unit test for `MultDistrib` rule |
commit | commitdiff | tree |
| 2016-11-28 |
Clark Barrett | Merge pull request #112 from 4tXJ7f/fix_mult_distrib |
commit | commitdiff | tree |
| 2016-11-22 |
ajreynol | Fix smt2 and cvc printers for testers when output and... |
commit | commitdiff | tree |
| 2016-11-22 |
Tim King | Merge pull request #111 from 4tXJ7f/fix_test_includes |
commit | commitdiff | tree |
| 2016-11-22 |
Andres Notzli | Fix `MultDistrib` rewrite rule |
commit | commitdiff | tree |
| 2016-11-22 |
Andres Notzli | Remove unused, libstdc++-exclusive include |
commit | commitdiff | tree |
| 2016-11-21 |
ajreynol | Refactoring related to track instantiation option. |
commit | commitdiff | tree |
| 2016-11-18 |
Clark Barrett | Fix for unit test after changing default "all supported... |
commit | commitdiff | tree |
| 2016-11-18 |
Tim King | Removing some throw specifiers from OutputChannel.... |
commit | commitdiff | tree |
| 2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
commit | commitdiff | tree |
| 2016-11-18 |
Clark Barrett | Modified a couple of regressoins to use ALL/QF_ALL... |
commit | commitdiff | tree |
| 2016-11-18 |
Clark Barrett | Add support for set-logic ALL, fix compiler error in... |
commit | commitdiff | tree |
| 2016-11-18 |
Andres Notzli | Fix Makefiles in test |
commit | commitdiff | tree |
| 2016-11-16 |
Clark Barrett | Merge pull request #108 from timothy-king/smt2-parser... |
commit | commitdiff | tree |
| 2016-11-16 |
PaulMeng | Merge pull request #109 from PaulMeng/master |
commit | commitdiff | tree |
| 2016-11-15 |
Paul Meng | relational solver code refactor and bug fixes |
commit | commitdiff | tree |
| 2016-11-14 |
ajreynol | Minor improvement to caching for extf bv inferences. |
commit | commitdiff | tree |
| 2016-11-14 |
Tim King | Adding garbage collection for the Smt2 Parser for Comma... |
commit | commitdiff | tree |
| 2016-11-13 |
Tim King | Switching a large allocation to be heap allocated. |
commit | commitdiff | tree |
| 2016-11-13 |
Tim King | Deleting a parsed Command in the interactive_shell_blac... |
commit | commitdiff | tree |
| 2016-11-12 |
Clark Barrett | Merge pull request #107 from timothy-king/smt1-parser... |
commit | commitdiff | tree |
| 2016-11-12 |
Clark Barrett | Merge pull request #106 from timothy-king/cvc-parser... |
commit | commitdiff | tree |
| 2016-11-12 |
Clark Barrett | Fixed a bug in cdhashmap in which doubly-linked list... |
commit | commitdiff | tree |
| 2016-11-12 |
Tim King | Adding garbage collection for the Smt1 Parser for Comma... |
commit | commitdiff | tree |
| 2016-11-12 |
Tim King | Adding garbage collection for the CVC Parser for Comman... |
commit | commitdiff | tree |
| 2016-11-12 |
Tim King | Merge pull request #105 from timothy-king/delete-maxed-out |
commit | commitdiff | tree |
| 2016-11-12 |
Tim King | Deleting successfully parsed commands in the parser_bla... |
commit | commitdiff | tree |
| 2016-11-12 |
Tim King | Deleting the remaining commands in the Parser's queue... |
commit | commitdiff | tree |
| 2016-11-11 |
Tim King | Applying clang-format to parser.cpp. |
commit | commitdiff | tree |
| 2016-11-11 |
Tim King | Speeding up the common branches for inc(). |
commit | commitdiff | tree |
| 2016-11-11 |
Clark Barrett | Enable eager bitblasting for QF_ABV when no stores... |
commit | commitdiff | tree |
| 2016-11-11 |
ajreynol | Add simple inferences for extended bitvector functions... |
commit | commitdiff | tree |
| 2016-11-10 |
Tim King | Fixing a delete vs free mismatch in parser_builder_black.h. |
commit | commitdiff | tree |
| 2016-11-10 |
Tim King | Adding garbage collection of nodes with maxed out refer... |
commit | commitdiff | tree |
| 2016-11-10 |
Tim King | Added PtrCloser guards for constructNodePtr. This ensur... |
commit | commitdiff | tree |
| 2016-11-10 |
ajreynol | Add option for enabling/disabling lazy extended functio... |
commit | commitdiff | tree |
| 2016-11-10 |
Tim King | Merge pull request #103 from timothy-king/uniq-ptr |
commit | commitdiff | tree |
| 2016-11-09 |
Tim King | Renaming the class PtrCloser to not cause confusion... |
commit | commitdiff | tree |
| 2016-11-09 |
Tim King | Merge branch 'master' into uniq-ptr |
commit | commitdiff | tree |
| 2016-11-09 |
ajreynol | Fix tptp parser memory leaks for include. |
commit | commitdiff | tree |
| 2016-11-08 |
ajreynol | Minor fixes related to ExtTheory + incremental, fixes... |
commit | commitdiff | tree |
| 2016-11-08 |
ajreynol | Add a few options to separation logic and sets. Minor... |
commit | commitdiff | tree |
| 2016-11-08 |
Tim King | Merge pull request #104 from timothy-king/disabling... |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Disabling out of memory tests unit tests when ASAN... |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Changing ArrayStoreAll's constructor to delay allocatio... |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Fixing a memory leak in the CnfStream unit tests. |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Fixing a memory leak in the eager bitblaster. |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Adds a C++05 version of unique_ptr. Used this to solve... |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | Merge pull request #102 from timothy-king/node-id-eq |
commit | commitdiff | tree |
| 2016-11-07 |
Tim King | This switches the ZombieSet in the NodeManager to use... |
commit | commitdiff | tree |
| 2016-11-05 |
Clark Barrett | Merge pull request #101 from 4tXJ7f/fix_leak |
commit | commitdiff | tree |
| 2016-11-05 |
Andres Notzli | Fix three leaks in unit tests |
commit | commitdiff | tree |
| 2016-11-05 |
Clark Barrett | Fix memory leak in node_black unit test. |
commit | commitdiff | tree |
| 2016-11-04 |
ajreynol | Fix a few more minor memory leaks. |
commit | commitdiff | tree |
| 2016-11-03 |
ajreynol | Make data points accurate in sep logic models. |
commit | commitdiff | tree |
| 2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle... |
commit | commitdiff | tree |
| 2016-11-03 |
Tim King | Merge pull request #100 from 4tXJ7f/fix_context_mm_black |
commit | commitdiff | tree |
| 2016-11-03 |
Andres Notzli | Fix back() of empty deque in context_mm_black test |
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Add missing regression. |
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Fix bug in separation logic for finite pto-data types... |
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Fix a few obvious memory leaks in sygus and quantifiers... |
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Minor fix to cvc3_compat. |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog