projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Coverage fix
[cvc5.git]
/
contrib
/
2017-03-15
Clark Barrett
Merge pull request #134 from 4tXJ7f/fix_host
tree
|
commitdiff
2017-03-15
Andres Notzli
Fix win-build script to use MinGW-w64 by default
tree
|
commitdiff
2017-03-14
Clark Barrett
Merge pull request #132 from 4tXJ7f/fix_mingw64
tree
|
commitdiff
2017-03-08
Andres Notzli
Fix MinGW-w64 build
tree
|
commitdiff
2017-01-04
Tim King
Setting the executable bit for the newer run scripts...
tree
|
commitdiff
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-06-20
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-06-17
ajreynol
Add syguscomp2016 scripts.
tree
|
commitdiff
2016-05-28
Clark Barrett
Updated incremental run script
tree
|
commitdiff
2016-05-27
Clark Barrett
Updated incremental script
tree
|
commitdiff
2016-05-27
Clark Barrett
Fixed bug in run script
tree
|
commitdiff
2016-05-26
Kshitij Bansal
Added cryptominisat flag to QF_NIA
tree
|
commitdiff
2016-05-26
Clark Barrett
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-05-26
Clark Barrett
Small change in run script
tree
|
commitdiff
2016-05-26
lianah
Disabled m4ri in cryptominisat cmake command
tree
|
commitdiff
2016-05-26
ajreynol
Use term indexing in TheoryUF::computeCareGraph. Do...
tree
|
commitdiff
2016-05-26
Clark Barrett
Updated script, fixed bug in QF_NIA conversion.
tree
|
commitdiff
2016-05-25
Liana Hadarean
Forgot to add second patch file.
tree
|
commitdiff
2016-05-25
Liana Hadarean
Merged cryptominisat from experimental branch.
tree
|
commitdiff
2016-05-15
ajreynol
Work on --sygus-direct-eval. Minor optimizations, updat...
tree
|
commitdiff
2016-05-12
ajreynol
Add casc scripts. Improvements to qcf related to nested...
tree
|
commitdiff
2016-05-10
ajreynol
Add smt comp 2016 scripts. Fix for --relevant-triggers...
tree
|
commitdiff
2016-04-27
Tim King
Adding an example lsan supression file.
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2016-01-06
Tim King
Add SmtGlobals Class
tree
|
commitdiff
2015-12-30
Tim King
Shuffling around public vs. private headers
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-12-02
Tim King
Merge pull request #79 from CVC4/fix-mac-build-script
tree
|
commitdiff
2015-12-01
Chris Conway
Adds attempt to download config.guess to get-antlr...
tree
|
commitdiff
2015-12-01
Chris Conway
Reverts addition of autogen.sh to mac-build script.
tree
|
commitdiff
2015-11-26
Chris Conway
Adds required steps to contrib/mac-build.
tree
|
commitdiff
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
tree
|
commitdiff
2015-11-07
Tim King
Changing file permissions to add or remove executable...
tree
|
commitdiff
2015-09-02
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2015-08-27
ajreynol
Do ITE term bookkeeping when solving Sygus inputs....
tree
|
commitdiff
2015-07-28
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-07-05
ajreynol
Add options --partial-triggers, --elim-taut-quant,...
tree
|
commitdiff
2015-07-02
ajreynol
On-demand upper bound lemmas for deltas in quantified...
tree
|
commitdiff
2015-07-01
ajreynol
Add options --qcf-all-conflict, --ite-dtt-split-quant...
tree
|
commitdiff
2015-06-15
Clark Barrett
Changing options for QF_AUFNIA to avoid bug
tree
|
commitdiff
2015-06-13
Tim King
Changing the run script for master for the application...
tree
|
commitdiff
2015-06-13
ajreynol
Disable sort inference for SMT COMP
tree
|
commitdiff
2015-06-12
Kshitij Bansal
sync options of default-assertions run script with...
tree
|
commitdiff
2015-06-11
Kshitij Bansal
remove runscripts from master meant for experimental...
tree
|
commitdiff
2015-06-11
ajreynol
Update experimental scripts. Support top-level non...
tree
|
commitdiff
2015-06-09
Kshitij Bansal
bump thread stack size to 1 GB
tree
|
commitdiff
2015-06-09
ajreynol
Bug fix instantiations for fmf-bound-int. Disable...
tree
|
commitdiff
2015-06-05
Kshitij Bansal
pcvc4 with assertions
tree
|
commitdiff
2015-06-05
Kshitij Bansal
update run script for assertions/scrambled run
tree
|
commitdiff
2015-06-05
Kshitij Bansal
assertions runscript (for testing) derived from current...
tree
|
commitdiff
2015-06-05
Kshitij Bansal
for experimental, use incremental instead of teardown...
tree
|
commitdiff
2015-06-05
Kshitij Bansal
move decision to use teardown or not to logics
tree
|
commitdiff
2015-06-04
ajreynol
Fix for last commit.
tree
|
commitdiff
2015-06-04
Kshitij Bansal
rpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtco...
tree
|
commitdiff
2015-06-04
Kshitij Bansal
sync exerimental scripts with regular ones
tree
|
commitdiff
2015-06-04
ajreynol
Minor changes to smt comp script for quantified arith...
tree
|
commitdiff
2015-06-03
Kshitij Bansal
experimental run scripts
tree
|
commitdiff
2015-06-03
Kshitij Bansal
runscript thread stack 256
tree
|
commitdiff
2015-06-02
Kshitij Bansal
application smtcomp
tree
|
commitdiff
2015-06-02
ajreynol
Add casc 25 tfn script. Change tff script to output...
tree
|
commitdiff
2015-05-29
ajreynol
Do not enforce dt fairness when single invocation sygus.
tree
|
commitdiff
2015-05-15
ajreynol
Avoid ensureLiteral on unpreprocessed formulas in cbqi.
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-05-11
ajreynol
Allow sygus with no syntactic restrictions for LIA...
tree
|
commitdiff
2015-05-10
ajreynol
Minor improvements to infrastructure. Minor changes...
tree
|
commitdiff
2015-05-08
ajreynol
Add casc25 fnt script.
tree
|
commitdiff
2015-05-02
ajreynol
Minor fix for corner cases of fmf-fun, fix for --dt...
tree
|
commitdiff
2015-04-22
Kshitij Bansal
Merge pull request #73 from kbansal/parser-dont-tokenize
tree
|
commitdiff
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
tree
|
commitdiff
2015-04-16
ajreynol
Fix option --quant-fun-wd. Add mk_starexec script...
tree
|
commitdiff
2015-02-16
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-02-16
Kshitij Bansal
webget: curl follow redirect
tree
|
commitdiff
2015-02-14
Kshitij Bansal
attempt to fix win32 builds
tree
|
commitdiff
2015-02-12
Kshitij Bansal
try curl before wget, workaround for issue with FTP...
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Morgan Deters
New, uniform checkTime statistic for all theories ...
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Fix get-bug-attachments script.
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Copyright-updating script now retains non-NYU/UIowa...
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
next