projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Coverage fix
[cvc5.git] / contrib /
2017-03-15 Clark BarrettMerge pull request #134 from 4tXJ7f/fix_host tree | commitdiff
2017-03-15 Andres NotzliFix win-build script to use MinGW-w64 by default tree | commitdiff
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64 tree | commitdiff
2017-03-08 Andres NotzliFix MinGW-w64 build tree | commitdiff
2017-01-04 Tim KingSetting the executable bit for the newer run scripts... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-17 ajreynolAdd syguscomp2016 scripts. tree | commitdiff
2016-05-28 Clark BarrettUpdated incremental run script tree | commitdiff
2016-05-27 Clark BarrettUpdated incremental script tree | commitdiff
2016-05-27 Clark BarrettFixed bug in run script tree | commitdiff
2016-05-26 Kshitij BansalAdded cryptominisat flag to QF_NIA tree | commitdiff
2016-05-26 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-05-26 Clark BarrettSmall change in run script tree | commitdiff
2016-05-26 lianahDisabled m4ri in cryptominisat cmake command tree | commitdiff
2016-05-26 ajreynolUse term indexing in TheoryUF::computeCareGraph. Do... tree | commitdiff
2016-05-26 Clark BarrettUpdated script, fixed bug in QF_NIA conversion. tree | commitdiff
2016-05-25 Liana HadareanForgot to add second patch file. tree | commitdiff
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. tree | commitdiff
2016-05-15 ajreynolWork on --sygus-direct-eval. Minor optimizations, updat... tree | commitdiff
2016-05-12 ajreynolAdd casc scripts. Improvements to qcf related to nested... tree | commitdiff
2016-05-10 ajreynolAdd smt comp 2016 scripts. Fix for --relevant-triggers... tree | commitdiff
2016-04-27 Tim KingAdding an example lsan supression file. tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-02 Tim KingMerge pull request #79 from CVC4/fix-mac-build-script tree | commitdiff
2015-12-01 Chris ConwayAdds attempt to download config.guess to get-antlr... tree | commitdiff
2015-12-01 Chris ConwayReverts addition of autogen.sh to mac-build script. tree | commitdiff
2015-11-26 Chris ConwayAdds required steps to contrib/mac-build. tree | commitdiff
2015-11-12 Tim KingUpdating the contrib/new-theory script and travis to... tree | commitdiff
2015-11-07 Tim KingChanging file permissions to add or remove executable... tree | commitdiff
2015-09-02 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2015-08-27 ajreynolDo ITE term bookkeeping when solving Sygus inputs.... tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-07-05 ajreynolAdd options --partial-triggers, --elim-taut-quant,... tree | commitdiff
2015-07-02 ajreynolOn-demand upper bound lemmas for deltas in quantified... tree | commitdiff
2015-07-01 ajreynolAdd options --qcf-all-conflict, --ite-dtt-split-quant... tree | commitdiff
2015-06-15 Clark BarrettChanging options for QF_AUFNIA to avoid bug tree | commitdiff
2015-06-13 Tim KingChanging the run script for master for the application... tree | commitdiff
2015-06-13 ajreynolDisable sort inference for SMT COMP tree | commitdiff
2015-06-12 Kshitij Bansalsync options of default-assertions run script with... tree | commitdiff
2015-06-11 Kshitij Bansalremove runscripts from master meant for experimental... tree | commitdiff
2015-06-11 ajreynolUpdate experimental scripts. Support top-level non... tree | commitdiff
2015-06-09 Kshitij Bansalbump thread stack size to 1 GB tree | commitdiff
2015-06-09 ajreynolBug fix instantiations for fmf-bound-int. Disable... tree | commitdiff
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
next