Age | Commit message (Expand) | Author |
2016-02-05 | Add two optimizations for datatypes, currently disabled. Bug fix rewriter for... | ajreynol |
2016-02-03 | Added --omit-dont-cares option which doesn't print model values for | Clark Barrett |
2016-02-01 | Making the references to std more explicit in didyoumean.cpp. | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Modified tear-down-incremental option to take an integer - the integer is the | Clark Barrett |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-26 | Merged my changes from experimental branch (new array decision procedure, | Clark Barrett |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-15 | Making logic_info_forward.h a public header for now. | Tim King |
2015-12-15 | Add option uf-ss-fair-monotone. Minor cleanup and improvement of sort inference. | ajreynol |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-12-03 | Modifying the src/options/Makefile.am for travis. | Tim King |
2015-12-02 | Modifying options/Makefile.am to pass distcheck. There is an unpleasant hack ... | Tim King |
2015-12-02 | Separating the steps of the old mkoptions script into smaller phases. | Tim King |
2015-11-05 | This commit slightly generalizes the scripts for generating the _tags files. | Tim King |
2015-10-29 | Removes an extra dollar sign from src/options/mktagheaders. The extra dollar ... | Tim King |
2015-10-26 | This commit moves the scripts for building the Debug_tags, Traces_tags, Debug... | Tim King |
2015-10-23 | Switching Options::current() to return a pointer. This helps avoid undefined ... | Tim King |
2015-10-13 | remove options infrastructure code which depended on undefined behavior | Kshitij Bansal |
2015-01-14 | sygus input language and benchmark | Morgan Deters |
2015-01-13 | Fix #line numbering. | Morgan Deters |
2014-12-03 | Floating point infrastructure. | Martin Brain |
2014-11-20 | Fix #lines in template. | Morgan Deters |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-09-30 | Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C... | Morgan Deters |
2014-07-12 | Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f... | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-28 | Automatically make SMT options from command-line option names, warn when not ... | Morgan Deters |
2014-06-25 | Fix some #line annotations. | Morgan Deters |
2014-06-22 | Output language "cvc3" (as opposed to "cvc" or "cvc4") produces output for CVC3: | Morgan Deters |
2014-06-21 | Minor fixes for man pages. | Morgan Deters |
2014-06-19 | More doc fixes; fixes some lintian warnings. | Morgan Deters |
2014-06-18 | Proper escaping in option documentation. | Morgan Deters |
2014-06-18 | Options script fix. | Morgan Deters |
2014-06-16 | More application-track fixes for use with trace executor. | Morgan Deters |
2014-06-15 | Careful there aren't too many "success" messages with --tear-down-incremental... | Morgan Deters |
2014-06-09 | Add missing set of braces, fixes --trace. | Morgan Deters |
2014-06-06 | -{d,t} help => --show-{debug,trace}-tags | Kshitij Bansal |
2014-06-06 | option to hide stats which are zero (off by default), also some aliases | Kshitij Bansal |
2014-05-16 | minor improvements (fixes) to did-you-mean suggestions | Kshitij Bansal |
2014-04-29 | Mostly resolves bug #561 memory leaks, and more. | Morgan Deters |
2014-04-29 | fixed couple of more warnings | Kshitij Bansal |
2014-04-19 | Eh, what? | Kshitij Bansal |
2014-04-09 | Minor change to better support parameterized partial/total kinds (for upcomin... | Morgan Deters |
2014-03-11 | Fix for rewriterules build breakage. | Morgan Deters |
2014-02-27 | --stats-every-query option: print increment in addition to cumulative value o... | Kshitij Bansal |
2014-02-25 | New translation work, support Z3-str-style string constraints. | Morgan Deters |