| 2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
| 2014-07-02 |
Morgan Deters | Fix cut-release script for new configure rules. |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Fix path in CASC J7 scripts, and distribute them with... |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
| 2014-06-27 |
Clark Barrett | Updated run script for QF_ABV |
tree | commitdiff |
| 2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | Merge pull request #43 from mdeters/threadstack |
tree | commitdiff |
| 2014-06-25 |
Tim King | Merge branch 'master' of github.com:CVC3/CVC4 |
tree | commitdiff |
| 2014-06-25 |
Morgan Deters | Don't allow libabc to load extensions at runtime. |
tree | commitdiff |
| 2014-06-23 |
ajreynol | Make language explicit in casc scripts |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Final fixes for smtcomp2014-application. |
tree | commitdiff |
| 2014-06-22 |
lianah | Merge pull request #39 from mdeters/bv-warnings |
tree | commitdiff |
| 2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Another updated submission strategy. |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Another updated submission strategy. |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Run in application track with --check-models. |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Run in application track with --check-models. |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Version of the run script that works with trace executo... |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Some fixes for tear-down-incremental and "success"... |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | minor update to application track config in QF_BV |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Version of the run script that works with trace executo... |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Version of the run script that works with trace executo... |
tree | commitdiff |
| 2014-06-17 |
Morgan Deters | Some fixes for tear-down-incremental and "success"... |
tree | commitdiff |
| 2014-06-17 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
| 2014-06-17 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
| 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 |
| next |
projects / cvc5.git / history