projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Initial implementation of SygusUnifRL (#1829)
[cvc5.git] / contrib /
2015-06-05 Kshitij Bansalpcvc4 with assertions tree | commitdiff
2015-06-05 Kshitij Bansalupdate run script for assertions/scrambled run tree | commitdiff
2015-06-05 Kshitij Bansalassertions runscript (for testing) derived from current... tree | commitdiff
2015-06-05 Kshitij Bansalfor experimental, use incremental instead of teardown... tree | commitdiff
2015-06-05 Kshitij Bansalmove decision to use teardown or not to logics tree | commitdiff
2015-06-04 ajreynolFix for last commit. tree | commitdiff
2015-06-04 Kshitij Bansalrpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtco... tree | commitdiff
2015-06-04 Kshitij Bansalsync exerimental scripts with regular ones tree | commitdiff
2015-06-04 ajreynolMinor changes to smt comp script for quantified arith... tree | commitdiff
2015-06-03 Kshitij Bansalexperimental run scripts tree | commitdiff
2015-06-03 Kshitij Bansalrunscript thread stack 256 tree | commitdiff
2015-06-02 Kshitij Bansalapplication smtcomp tree | commitdiff
2015-06-02 ajreynolAdd casc 25 tfn script. Change tff script to output... tree | commitdiff
2015-05-29 ajreynolDo not enforce dt fairness when single invocation sygus. tree | commitdiff
2015-05-15 ajreynolAvoid ensureLiteral on unpreprocessed formulas in cbqi. tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-05-11 ajreynolAllow sygus with no syntactic restrictions for LIA... tree | commitdiff
2015-05-10 ajreynolMinor improvements to infrastructure. Minor changes... tree | commitdiff
2015-05-08 ajreynolAdd casc25 fnt script. tree | commitdiff
2015-05-02 ajreynolMinor fix for corner cases of fmf-fun, fix for --dt... tree | commitdiff
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize tree | commitdiff
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase tree | commitdiff
2015-04-16 ajreynolFix option --quant-fun-wd. Add mk_starexec script... tree | commitdiff
2015-02-16 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-02-16 Kshitij Bansalwebget: curl follow redirect tree | commitdiff
2015-02-14 Kshitij Bansalattempt to fix win32 builds tree | commitdiff
2015-02-12 Kshitij Bansaltry curl before wget, workaround for issue with FTP... tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-17 Morgan DetersNew, uniform checkTime statistic for all theories ... tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersFix get-bug-attachments script. tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
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
next