| 2014-06-17 |
Morgan Deters | Some fixes for tear-down-incremental and "success"... |
tree | commitdiff |
| 2014-06-16 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
| 2014-06-16 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
| 2014-06-16 |
Morgan Deters | minor update to application track config in QF_BV |
tree | commitdiff |
| 2014-06-15 |
Morgan Deters | Application trace executor (if they end up using that... |
tree | commitdiff |
| 2014-06-15 |
Morgan Deters | better bv args for smtcomp |
tree | commitdiff |
| 2014-06-13 |
Morgan Deters | Doubly-ensure incremental is off in main track. Also... |
tree | commitdiff |
| 2014-06-13 |
Morgan Deters | update application track script too |
tree | commitdiff |
| 2014-06-13 |
Clark Barrett | Update for QF_AUFLIA strategy |
tree | commitdiff |
| 2014-06-13 |
Morgan Deters | Adjust incremental run script for QF_AX too. |
tree | commitdiff |
| 2014-06-12 |
Clark Barrett | Modified run script for QF_AX |
tree | commitdiff |
| 2014-06-12 |
Clark Barrett | Modified run script for QF_LRA |
tree | commitdiff |
| 2014-06-12 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2014-06-12 |
Morgan Deters | New application track script, new heuristics and all... |
tree | commitdiff |
| 2014-06-12 |
Morgan Deters | more fix-ups |
tree | commitdiff |
| 2014-06-11 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2014-06-11 |
ajreynol | Update SMTCOMP script to handle all quantified logics. |
tree | commitdiff |
| 2014-06-11 |
Morgan Deters | Some clean-up, post bv-merge. |
tree | commitdiff |
| 2014-06-10 |
Morgan Deters | Add new --pb-rewrites options to QF_LIA run script... |
tree | commitdiff |
| 2014-06-10 |
lianah | Merging CAV14 paper bit-vector work. |
tree | commitdiff |
| 2014-06-09 |
Morgan Deters | Tim's options for QF_LIA and QF_LRA---SOI+approx. |
tree | commitdiff |
| 2014-06-04 |
Morgan Deters | Update commit # for get-abc script, anticipating Liana... |
tree | commitdiff |
| 2014-06-04 |
Morgan Deters | Fixing run-script for smt-comp |
tree | commitdiff |
| 2014-05-30 |
ajreynol | Change SMT COMP script to use external timeouts. |
tree | commitdiff |
| 2014-05-30 |
Morgan Deters | Run script updates: no --stats, also application-track... |
tree | commitdiff |
| 2014-05-30 |
Kshitij Bansal | run script fix |
tree | commitdiff |
| 2014-05-28 |
ajreynol | Minor changes to script. Disable cbqi sat. |
tree | commitdiff |
| 2014-05-28 |
Andrew Reynolds | Add option to avoid dumping partial models/proofs. |
tree | commitdiff |
| 2014-05-25 |
Andrew Reynolds | Improve quantifier instantiation: always use original... |
tree | commitdiff |
| 2014-05-15 |
Andrew Reynolds | Minor fixes. Add SMTCOMP 2014 script. |
tree | commitdiff |
| 2014-05-14 |
Andrew Reynolds | Finish --dump-instantiations option. Update scripts. |
tree | commitdiff |
| 2014-05-13 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-05-12 |
Andrew Reynolds | Minor updates/fix to --cbqi-recurse |
tree | commitdiff |
| 2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-05-11 |
Andrew Reynolds | More preparation for CASC proofs. Minor fix for sort... |
tree | commitdiff |
| 2014-05-10 |
Andrew Reynolds | Bug fixes to CBQI. Add first draft of CASC j7 TFF... |
tree | commitdiff |
| 2014-05-09 |
Andrew Reynolds | Initial draft of run scripts for CASC j7 |
tree | commitdiff |
| 2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
tree | commitdiff |
| 2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-04-01 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-03-31 |
Morgan Deters | Travis-CI test for new-theory script, also related... |
tree | commitdiff |
| 2014-03-30 |
Kshitij Bansal | Merge pull request #23 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-28 |
Kshitij Bansal | get-antlr error on missing config.guess |
tree | commitdiff |
| 2014-03-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-26 |
Morgan Deters | Win32 build script fixes (to allow portfolio builds). |
tree | commitdiff |
| 2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-12 |
Morgan Deters | Draft contrib/get-abc script for bitvectors libabc... |
tree | commitdiff |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-27 |
Morgan Deters | URL update |
tree | commitdiff |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-02 |
Morgan Deters | Update copyright year. |
tree | commitdiff |
| 2013-12-05 |
Morgan Deters | Script fixes; when determining authorship of source... |
tree | commitdiff |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
tree | commitdiff |
| 2013-11-13 |
Morgan Deters | Another build fix; the dust should be settled now. |
tree | commitdiff |
| 2013-11-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-12 |
Morgan Deters | Fix new-theory script for new, flattened build system. |
tree | commitdiff |
| 2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
| 2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-07-30 |
Morgan Deters | Minor fixes to build system. |
tree | commitdiff |
| 2013-07-16 |
Morgan Deters | Fix for get-antlr script and PIC/non-PIC objects, on... |
tree | commitdiff |
| 2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-08 |
Morgan Deters | Fix typos in alttheoryskel |
tree | commitdiff |
| 2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Updated CASC scripts, as provided to Geoff Sutcliffe |
tree | commitdiff |
| 2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-20 |
Andrew Reynolds | Possible final version of run scripts for casc. |
tree | commitdiff |
| 2013-05-17 |
Andrew Reynolds | Add model-producing run script for casc. |
tree | commitdiff |
| 2013-05-14 |
Andrew Reynolds | Update casc24-fnt run script. Add casc24-fof run script. |
tree | commitdiff |
| 2013-05-11 |
Andrew Reynolds | Preliminary version of finite model finding over bounde... |
tree | commitdiff |
| 2013-05-10 |
Andrew Reynolds | Update casc run script. Work on compliance for SZS... |
tree | commitdiff |
| 2013-05-10 |
Andrew Reynolds | Add simplification option --fo-prop-quant. Add model... |
tree | commitdiff |
| 2013-05-08 |
Morgan Deters | final updates for smt-eval script |
tree | commitdiff |
| 2013-05-08 |
Morgan Deters | fix for smt-eval run script |
tree | commitdiff |
| 2013-05-07 |
Morgan Deters | BV strategy for SMT-EVAL |
tree | commitdiff |
| 2013-05-07 |
Morgan Deters | Change SMT-EVAL run-script to use Tim's best QF_LRA... |
tree | commitdiff |
| 2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
| 2013-04-24 |
Morgan Deters | Theory "alternates" support |
tree | commitdiff |
| 2013-04-03 |
Morgan Deters | Pre-release versioning |
tree | commitdiff |
| 2013-04-03 |
Morgan Deters | Some final minor changes before cutting 1.1. |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Fix get-authors script to not extract email addresses... |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Adjust release Makefile rules, new run script |
tree | commitdiff |
| 2013-04-01 |
Morgan Deters | Merging some cleanup work: |
tree | commitdiff |
| 2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
| 2013-03-19 |
Morgan Deters | Remove PropositionalQuery class and all CUDD-related... |
tree | commitdiff |
| 2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
| 2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| next |
projects / cvc5.git / history