| 2017-03-07 |
ajreynol | Fix cvc parser for set compliment. |
commit | commitdiff | tree |
| 2017-03-06 |
ajreynol | Do not eagerly construct explanations in relation solver. |
commit | commitdiff | tree |
| 2017-03-06 |
ajreynol | Support for set compliment and universe set. Simplify... |
commit | commitdiff | tree |
| 2017-03-06 |
Clark Barrett | Adding support for bool-to-bv |
commit | commitdiff | tree |
| 2017-03-03 |
ajreynol | Fix for collectModelInfo related to finite types +... |
commit | commitdiff | tree |
| 2017-03-03 |
ajreynol | Another minor fix for sets related to sharing + finite... |
commit | commitdiff | tree |
| 2017-03-02 |
ajreynol | Fixes related to sets. |
commit | commitdiff | tree |
| 2017-03-02 |
ajreynol | Minor cleanup and reorganization related to last commit. |
commit | commitdiff | tree |
| 2017-03-02 |
ajreynol | Eliminate Boolean term conversion. Generalizes removeIT... |
commit | commitdiff | tree |
| 2017-02-16 |
ajreynol | Minor fixes for relations, quantifiers dsplit. |
commit | commitdiff | tree |
| 2017-02-16 |
ajreynol | Fixes for sets+rels check. Minor. |
commit | commitdiff | tree |
| 2017-02-15 |
ajreynol | Minimization modes for fmf bound. |
commit | commitdiff | tree |
| 2017-02-07 |
ajreynol | Generalize finite bound inference to unifiable variable... |
commit | commitdiff | tree |
| 2017-01-30 |
ajreynol | Fix regexp cache issue in strings, add regression. |
commit | commitdiff | tree |
| 2017-01-18 |
Andres Noetzli | Fix non-idempotent rewrite in Array rewriter |
commit | commitdiff | tree |
| 2017-01-18 |
Andrew Reynolds | Merge pull request #128 from 4tXJ7f/fix_lfsc_perf |
commit | commitdiff | tree |
| 2017-01-18 |
ajreynol | Minor fix in relations. |
commit | commitdiff | tree |
| 2017-01-16 |
Andres Notzli | [LFSC] Fix performance issues, more determinism |
commit | commitdiff | tree |
| 2017-01-14 |
Clark Barrett | Fix call to SExpr constructor for greater portability. |
commit | commitdiff | tree |
| 2017-01-14 |
Clark Barrett | Merge pull request #130 from chadbrewbaker/master |
commit | commitdiff | tree |
| 2017-01-13 |
ajreynol | Do not rewrite explanations in strings. |
commit | commitdiff | tree |
| 2017-01-11 |
Clark Barrett | Merge pull request #129 from timothy-king/regression... |
commit | commitdiff | tree |
| 2017-01-11 |
Clark Barrett | Merge pull request #131 from makaimann/fix_702 |
commit | commitdiff | tree |
| 2017-01-11 |
makaimann | Proposed fix for bug 702. Checks to make sure the Expr... |
commit | commitdiff | tree |
| 2017-01-11 |
ajreynol | Fix for when variables are (partially) bound in multipl... |
commit | commitdiff | tree |
| 2017-01-11 |
Clark Barrett | Merge pull request #127 from cristian-mattarei/issue_679 |
commit | commitdiff | tree |
| 2017-01-11 |
Chad Brewbaker | revert |
commit | commitdiff | tree |
| 2017-01-11 |
Chad Brewbaker | Quashing memory leak |
commit | commitdiff | tree |
| 2017-01-11 |
Tim King | Adding regression test scrubbing. |
commit | commitdiff | tree |
| 2017-01-09 |
Cristian Mattarei | With reference to Bug 679, this commit integrates part... |
commit | commitdiff | tree |
| 2017-01-07 |
Chad Brewbaker | quashing debug memory leak |
commit | commitdiff | tree |
| 2017-01-06 |
ajreynol | Minor fix for sets. |
commit | commitdiff | tree |
| 2017-01-05 |
Tim King | Disabling a regression test that assumes CVC4 is config... |
commit | commitdiff | tree |
| 2017-01-04 |
ajreynol | Fix for tff type declarations inTPTP parser, fixes... |
commit | commitdiff | tree |
| 2017-01-04 |
Tim King | Marking regression test files as non-executable. |
commit | commitdiff | tree |
| 2017-01-04 |
Tim King | Marking the proof signature files as non-executable. |
commit | commitdiff | tree |
| 2017-01-04 |
Tim King | Setting the executable bit for the newer run scripts... |
commit | commitdiff | tree |
| 2017-01-04 |
Tim King | Reverting two files encoding with DOS linebreaks back... |
commit | commitdiff | tree |
| 2017-01-04 |
Andrew Reynolds | Merge pull request #122 from 4tXJ7f/fix_lfsc_str |
commit | commitdiff | tree |
| 2017-01-04 |
guykatzz | Merge pull request #120 from 4tXJ7f/fix_f_pp_holes |
commit | commitdiff | tree |
| 2017-01-04 |
Andrew Reynolds | Merge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Changing a set of TNodes to a set of Nodes in the BV... |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Eliminating a signed vs. unsigned comparison. |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Changing getTearDownIncremental() to return the type... |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Adding a destructor to InstantiationNotify. |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Adding a destructor to RepBoundExt. |
commit | commitdiff | tree |
| 2016-12-29 |
Tim King | Reordering sep and sets in Makefile.theories. |
commit | commitdiff | tree |
| 2016-12-28 |
Andres Notzli | [LFSC] Minor fixes/improvements |
commit | commitdiff | tree |
| 2016-12-28 |
Andres Notzli | [LFSC] Fix memory leaks when creating CExprs |
commit | commitdiff | tree |
| 2016-12-17 |
Andres Notzli | Fix dependency tracing for fewerPreprocessingHoles |
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 |
| next |
projects / cvc5.git / shortlog