summaryrefslogtreecommitdiff
path: root/src/options/options_handler.cpp
AgeCommit message (Expand)Author
2018-10-31Add optimized sygus enumeration (#2677)Andrew Reynolds
2018-10-18Non-implied mode for model cores (#2653)Andrew Reynolds
2018-10-17Show if ASAN build in --show-config (#2650)Andres Noetzli
2018-10-15Delay initialization of theory engine (#2621)Andrew Reynolds
2018-10-09 Support for basic actively-generated enumerators (#2606)Andrew Reynolds
2018-09-07Replace boost::integer_traits with std::numeric_limits. (#2439)Mathias Preiner
2018-08-02Remove Subversion build info (#2250)Andres Noetzli
2018-08-01Remove outdated references to TLS (#2245)Andres Noetzli
2018-07-31Fix option handler for lazy/bv-sat-solver combinations. (#2225)Mathias Preiner
2018-07-30Add support for incremental eager bit-blasting. (#1838)Mathias Preiner
2018-07-24Improvements to sets + cardinality + quantifiers (#2200)Andrew Reynolds
2018-07-17Minor cleanup and fixes for conflict-based instantiation (#2123)Andrew Reynolds
2018-07-17 sygusComp2018: update policies for solution reconstruction (#2109)Andrew Reynolds
2018-07-02Remove miscellaneous dead and unused code from quantifiers (#2121)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-21Add SymFPU licensing information. (#1952)Mathias Preiner
2018-03-20Add support for CaDiCaL as eager BV SAT solver. (#1675)Mathias Preiner
2018-02-02Option to use sampling for CEGIS (#1555)Andrew Reynolds
2018-01-14Removing throw specifiers from OptionsHandler. (#1510)Tim King
2018-01-09Fix output of --trace=help. (#1500)Aina Niemetz
2018-01-08Removing more miscellaneous throw specifiers. (#1488)Tim King
2017-12-05Fix output of --show-trace-tags. (#1430)Mathias Preiner
2017-11-03Fix bv help message. (#1315)Andrew Reynolds
2017-11-03Sygus clean main (#1297)Andrew Reynolds
2017-10-24Cbqi bv ineq mode (#1273)Andrew Reynolds
2017-10-10Add copyright information. (#1201)Aina Niemetz
2017-10-03Add Cryptominisat and LFSC to --show-config output. (#1194)Mathias Preiner
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-04-05Fix several spelling errorsFabian Wolff
2017-03-02Minor cleanup and reorganization related to last commit.ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2017-02-15Minimization modes for fmf bound.ajreynol
2016-09-12Refactor prenex modes.ajreynol
2016-07-05Add option --trigger-active-sel. Recognize simple triggers with polarity. Do ...ajreynol
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2016-05-18Refactor modes for sygus+single invocation. Add option --inst-rlv-cond. Mino...ajreynol
2016-05-15Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En...ajreynol
2016-05-05Compute term indices lazily in TermDb. Optimization for qcf to recognize irre...ajreynol
2016-04-12Optimizations for QCF to check relevant domain of variable argument positions...ajreynol
2016-04-04New options for trigger selection, add option --strict-triggers. Do not infer...ajreynol
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-31Improvements to trigger selection, min triggers by default. Optimizations for...ajreynol
2016-02-25Minor improvement to partial qe. Add options for representative selection in ...ajreynol
2016-02-18Implement dynamic splitting for quantified formulas. Minor refactoring of re...ajreynol
2016-01-28Adding listeners to Options.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback