projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.4.x'
[cvc5.git] / contrib /
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersCopyright-updating script now retains non-NYU/UIowa... tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-02 Morgan DetersMerge branch '1.4.x'. tree | commitdiff
2014-09-30 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-27 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersClarify some licensing-related things. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' tree | commitdiff
2014-09-03 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2014-09-03 Kshitij Bansalcheck() optimization tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-02 Morgan DetersFix cut-release script for new configure rules. tree | commitdiff
2014-07-01 Morgan DetersFix path in CASC J7 scripts, and distribute them with... tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-27 Clark BarrettUpdated run script for QF_ABV tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds tree | commitdiff
2014-06-25 Kshitij BansalMerge pull request #43 from mdeters/threadstack tree | commitdiff
2014-06-25 Tim KingMerge branch 'master' of github.com:CVC3/CVC4 tree | commitdiff
2014-06-25 Morgan DetersDon't allow libabc to load extensions at runtime. tree | commitdiff
2014-06-23 ajreynolMake language explicit in casc scripts tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 Morgan DetersFinal fixes for smtcomp2014-application. tree | commitdiff
2014-06-22 lianahMerge pull request #39 from mdeters/bv-warnings tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-22 Morgan DetersAnother updated submission strategy. tree | commitdiff
2014-06-22 Morgan DetersAnother updated submission strategy. tree | commitdiff
2014-06-22 Morgan DetersRun in application track with --check-models. tree | commitdiff
2014-06-22 Morgan DetersRun in application track with --check-models. tree | commitdiff
2014-06-19 Morgan DetersVersion of the run script that works with trace executo... tree | commitdiff
2014-06-19 Morgan DetersSome fixes for tear-down-incremental and "success"... tree | commitdiff
2014-06-19 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-19 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-19 Morgan Detersminor update to application track config in QF_BV tree | commitdiff
2014-06-19 Morgan DetersVersion of the run script that works with trace executo... tree | commitdiff
2014-06-19 Morgan DetersVersion of the run script that works with trace executo... tree | commitdiff
2014-06-17 Morgan DetersSome fixes for tear-down-incremental and "success"... tree | commitdiff
2014-06-17 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-17 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-17 Morgan DetersSome fixes for tear-down-incremental and "success"... tree | commitdiff
2014-06-16 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-16 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-16 Morgan Detersminor update to application track config in QF_BV tree | commitdiff
2014-06-15 Morgan DetersApplication trace executor (if they end up using that... tree | commitdiff
2014-06-15 Morgan Detersbetter bv args for smtcomp tree | commitdiff
2014-06-13 Morgan DetersDoubly-ensure incremental is off in main track. Also... tree | commitdiff
2014-06-13 Morgan Detersupdate application track script too tree | commitdiff
2014-06-13 Clark BarrettUpdate for QF_AUFLIA strategy tree | commitdiff
2014-06-13 Morgan DetersAdjust incremental run script for QF_AX too. tree | commitdiff
2014-06-12 Clark BarrettModified run script for QF_AX tree | commitdiff
2014-06-12 Clark BarrettModified run script for QF_LRA tree | commitdiff
2014-06-12 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2014-06-12 Morgan DetersNew application track script, new heuristics and all... tree | commitdiff
2014-06-12 Morgan Detersmore fix-ups tree | commitdiff
2014-06-11 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2014-06-11 ajreynolUpdate SMTCOMP script to handle all quantified logics. tree | commitdiff
2014-06-11 Morgan DetersSome clean-up, post bv-merge. tree | commitdiff
2014-06-10 Morgan DetersAdd new --pb-rewrites options to QF_LIA run script... tree | commitdiff
2014-06-10 lianahMerging CAV14 paper bit-vector work. tree | commitdiff
2014-06-09 Morgan DetersTim's options for QF_LIA and QF_LRA---SOI+approx. tree | commitdiff
2014-06-04 Morgan DetersUpdate commit # for get-abc script, anticipating Liana... tree | commitdiff
2014-06-04 Morgan DetersFixing run-script for smt-comp tree | commitdiff
2014-05-30 ajreynolChange SMT COMP script to use external timeouts. tree | commitdiff
2014-05-30 Morgan DetersRun script updates: no --stats, also application-track... tree | commitdiff
2014-05-30 Kshitij Bansalrun script fix tree | commitdiff
2014-05-28 ajreynolMinor changes to script. Disable cbqi sat. tree | commitdiff
2014-05-28 Andrew ReynoldsAdd option to avoid dumping partial models/proofs. tree | commitdiff
2014-05-25 Andrew ReynoldsImprove quantifier instantiation: always use original... tree | commitdiff
2014-05-15 Andrew ReynoldsMinor fixes. Add SMTCOMP 2014 script. tree | commitdiff
2014-05-14 Andrew ReynoldsFinish --dump-instantiations option. Update scripts. tree | commitdiff
2014-05-13 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-12 Andrew ReynoldsMinor updates/fix to --cbqi-recurse tree | commitdiff
2014-05-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-11 Andrew ReynoldsMore preparation for CASC proofs. Minor fix for sort... tree | commitdiff
2014-05-10 Andrew ReynoldsBug fixes to CBQI. Add first draft of CASC j7 TFF... tree | commitdiff
2014-05-09 Andrew ReynoldsInitial draft of run scripts for CASC j7 tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-31 Morgan DetersTravis-CI test for new-theory script, also related... tree | commitdiff
2014-03-30 Kshitij BansalMerge pull request #23 from kbansal/sets-model tree | commitdiff
2014-03-28 Kshitij Bansalget-antlr error on missing config.guess tree | commitdiff
2014-03-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersWin32 build script fixes (to allow portfolio builds). tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-12 Morgan DetersDraft contrib/get-abc script for bitvectors libabc... tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersURL update tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
next