summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2016-03-23squash-merge from proof branchGuy
2016-03-23Fixed help for tear-down-incremental optionClark Barrett
2016-03-21New version of the recursive options parsing strategy.Tim King
2016-03-12Add options related to interleaving quantifiers and theory combination, chang...ajreynol
2016-03-10Faster conditional rewriting for and/or beneath quantifiers. Improvements to ...ajreynol
2016-03-01Shorter explanations for strings based on tracking which parts of normal form...ajreynol
2016-02-29Minor options to datatypes.ajreynol
2016-02-26Refactoring of inferences in strings. Add several options.ajreynol
2016-02-25Minor improvement to partial qe. Add options for representative selection in ...ajreynol
2016-02-24Add entailment checks between length terms to reduce splitting in strings sol...ajreynol
2016-02-18Implement dynamic splitting for quantified formulas. Minor refactoring of re...ajreynol
2016-02-05Add two optimizations for datatypes, currently disabled. Bug fix rewriter for...ajreynol
2016-02-03Added --omit-dont-cares option which doesn't print model values forClark Barrett
2016-02-01Making the references to std more explicit in didyoumean.cpp.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
2016-01-05Add SmtGlobals ClassTim King
2015-12-30Modified tear-down-incremental option to take an integer - the integer is theClark Barrett
2015-12-30Shuffling around public vs. private headersTim King
2015-12-26Merged my changes from experimental branch (new array decision procedure,Clark Barrett
2015-12-24Miscellaneous fixesTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-15Making logic_info_forward.h a public header for now.Tim King
2015-12-15Add option uf-ss-fair-monotone. Minor cleanup and improvement of sort inference.ajreynol
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-03Modifying the src/options/Makefile.am for travis.Tim King
2015-12-02Modifying options/Makefile.am to pass distcheck. There is an unpleasant hack ...Tim King
2015-12-02Separating the steps of the old mkoptions script into smaller phases.Tim King
2015-11-05This commit slightly generalizes the scripts for generating the _tags files.Tim King
2015-10-29Removes an extra dollar sign from src/options/mktagheaders. The extra dollar ...Tim King
2015-10-26This commit moves the scripts for building the Debug_tags, Traces_tags, Debug...Tim King
2015-10-23Switching Options::current() to return a pointer. This helps avoid undefined ...Tim King
2015-10-13remove options infrastructure code which depended on undefined behaviorKshitij Bansal
2015-01-14sygus input language and benchmarkMorgan Deters
2015-01-13Fix #line numbering.Morgan Deters
2014-12-03Floating point infrastructure.Martin Brain
2014-11-20Fix #lines in template.Morgan Deters
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-09-30Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C...Morgan Deters
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-28Automatically make SMT options from command-line option names, warn when not ...Morgan Deters
2014-06-25Fix some #line annotations.Morgan Deters
2014-06-22Output language "cvc3" (as opposed to "cvc" or "cvc4") produces output for CVC3:Morgan Deters
2014-06-21Minor fixes for man pages.Morgan Deters
2014-06-19More doc fixes; fixes some lintian warnings.Morgan Deters
2014-06-18Proper escaping in option documentation.Morgan Deters
2014-06-18Options script fix.Morgan Deters
2014-06-16More application-track fixes for use with trace executor.Morgan Deters
2014-06-15Careful there aren't too many "success" messages with --tear-down-incremental...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback