projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph...
[cvc5.git] / src / main / options
2014-09-30 Morgan DetersProofs- and cores-related segfault fixes (mainly a... blob | commitdiff | raw
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds blob | commitdiff | raw | diff to current
2014-06-25 Kshitij BansalMerge pull request #43 from mdeters/threadstack blob | commitdiff | raw | diff to current
2014-06-25 Morgan DetersStack-size portfolio fix. If using Boost 1.50, --threa... blob | commitdiff | raw | diff to current
2014-05-27 Kshitij BansalMerge pull request #27 from kbansal/statistics blob | commitdiff | raw | diff to current
2014-05-27 Morgan DetersNew --tear-down-incremental mode, useful for debugging... blob | commitdiff | raw | diff to current
2014-05-27 Kshitij BansalRevert "timespec printing bug" blob | commitdiff | raw | diff to current
2014-05-27 Kshitij Bansaltimespec printing bug blob | commitdiff | raw | diff to current
2014-04-29 Kshitij Bansalfixed couple of more warnings blob | commitdiff | raw | diff to current
2014-04-06 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix blob | commitdiff | raw | diff to current
2014-04-06 Kshitij Bansalfix for hiding prompt/header in shell, error-behavior... blob | commitdiff | raw | diff to current
2014-04-04 Morgan DetersAllow turning off the interactive prompt while in inter... blob | commitdiff | raw | diff to current
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every... blob | commitdiff | raw | diff to current
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition... blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge blob | commitdiff | raw | diff to current
2014-02-21 Kshitij Bansaloption to print stats after every satisfiability or... blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersFix option specification. blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-08-13 Morgan Deters--segv-nospin is now default. blob | commitdiff | raw | diff to current
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... blob | commitdiff | raw | diff to current
2013-03-26 Dejan JovanovićMerge branch 'master' of git@github.com:CVC4/CVC4.git blob | commitdiff | raw | diff to current
2013-03-25 Kshitij BansalMerge pull request #7 from kbansal/portfolio blob | commitdiff | raw | diff to current
2013-03-25 Kshitij Bansalfinish removal of separateOutput blob | commitdiff | raw | diff to current
2013-03-24 Morgan DetersFix bug in portfolio executor output; fixes nightly... blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... blob | commitdiff | raw | diff to current
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge pull request #5 from kbansal/1.0.x blob | commitdiff | raw | diff to current
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental blob | commitdiff | raw | diff to current
2012-10-19 Kshitij Bansal--fallback-sequential / --no-fallback-sequential option blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* more complete support for --dump assertions:{pre... blob | commitdiff | raw | diff to current
2012-10-03 Kshitij Bansal--wait-to-join / --no-wait-to-join option blob | commitdiff | raw | diff to current
2012-09-27 Morgan Deters* Rename SMT parts (printer, parser) to SMT1 blob | commitdiff | raw | diff to current
2012-09-26 Morgan DetersThe Tuesday Afternoon Catch-All Commit (TACAC): blob | commitdiff | raw | diff to current
2012-09-14 Morgan DetersFix a few minor issues in options processing, improving... blob | commitdiff | raw | diff to current
2012-08-06 Morgan DetersSupport setting :regular-output-channel and :diagnostic... blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current