projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merged bit-vector and uf proof branch.
[cvc5.git] / src / options /
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch. tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2015-12-31 Clark BarrettModified tear-down-incremental option to take an intege... tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
2015-12-27 Clark BarrettMerged my changes from experimental branch (new array... tree | commitdiff
2015-12-24 Tim KingMiscellaneous fixes tree | commitdiff
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. tree | commitdiff
2015-12-15 Tim KingMaking logic_info_forward.h a public header for now. tree | commitdiff
2015-12-15 ajreynolAdd option uf-ss-fair-monotone. Minor cleanup and impro... tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-03 Tim KingModifying the src/options/Makefile.am for travis. tree | commitdiff
2015-12-03 Tim KingModifying options/Makefile.am to pass distcheck. There... tree | commitdiff
2015-12-02 Tim KingSeparating the steps of the old mkoptions script into... tree | commitdiff
2015-11-05 Tim KingMerging the google branch back into master. tree | commitdiff
2015-11-05 Tim KingThis commit slightly generalizes the scripts for genera... tree | commitdiff
2015-10-30 Tim KingRemoves an extra dollar sign from src/options/mktaghead... tree | commitdiff
2015-10-26 Tim KingThis commit moves the scripts for building the Debug_ta... tree | commitdiff
2015-10-24 Tim KingSwitching Options::current() to return a pointer. This... tree | commitdiff
2015-10-14 Kshitij BansalMerge pull request #77 from kbansal/macsegfault tree | commitdiff
2015-10-13 Kshitij Bansalremove options infrastructure code which depended on... tree | commitdiff
2015-01-14 Morgan Deterssygus input language and benchmark tree | commitdiff
2015-01-13 Morgan DetersFix #line numbering. tree | commitdiff
2014-12-04 Martin BrainFloating point infrastructure. tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-20 Morgan DetersFix #lines in template. 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-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5... 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 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-30 Morgan DetersProofs- and cores-related segfault fixes (mainly a... tree | commitdiff
2014-07-13 Morgan DetersFix a bug in Boolean terms and arrays. Thanks to Jean... tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. 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-28 Morgan DetersAutomatically make SMT options from command-line option... 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 DetersFix some #line annotations. tree | commitdiff
2014-06-22 Morgan DetersOutput language "cvc3" (as opposed to "cvc" or "cvc4... tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-21 Morgan DetersMinor fixes for man pages. tree | commitdiff
2014-06-19 lianahfixed merge conflict tree | commitdiff
2014-06-19 Morgan DetersProper escaping in option documentation. tree | commitdiff
2014-06-19 Morgan DetersOptions script fix. tree | commitdiff
2014-06-19 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-19 Morgan DetersMore doc fixes; fixes some lintian warnings. tree | commitdiff
2014-06-19 Morgan DetersProper escaping in option documentation. tree | commitdiff
2014-06-18 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-06-18 Morgan DetersOptions script fix. tree | commitdiff
2014-06-17 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-17 Morgan DetersMore application-track fixes for use with trace executor. tree | commitdiff
2014-06-16 Morgan DetersCareful there aren't too many "success" messages with... tree | commitdiff
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix tree | commitdiff
2014-06-09 Morgan DetersAdd missing set of braces, fixes --trace. tree | commitdiff
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets tree | commitdiff
2014-06-06 Kshitij Bansal-{d,t} help => --show-{debug,trace}-tags tree | commitdiff
2014-06-06 Kshitij Bansaloption to hide stats which are zero (off by default... tree | commitdiff
2014-05-17 Kshitij BansalMerge pull request #26 from kbansal/sets tree | commitdiff
2014-05-16 Kshitij Bansalminor improvements (fixes) to did-you-mean suggestions tree | commitdiff
2014-04-30 Morgan DetersMostly resolves bug #561 memory leaks, and more. tree | commitdiff
2014-04-29 Kshitij Bansalfixed couple of more warnings tree | commitdiff
2014-04-28 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-28 Kshitij BansalMerge pull request #25 from kbansal/sets tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-19 Kshitij BansalEh, what? tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model tree | commitdiff
2014-04-09 Morgan DetersMinor change to better support parameterized partial... tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersFix for rewriterules build breakage. tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every... tree | commitdiff
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition... tree | commitdiff
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-25 Morgan DetersNew translation work, support Z3-str-style string const... tree | commitdiff
next