summaryrefslogtreecommitdiff
path: root/src/options/quantifiers_modes.h
AgeCommit message (Expand)Author
2018-10-09 Support for basic actively-generated enumerators (#2606)Andrew Reynolds
2018-07-24Improvements to sets + cardinality + quantifiers (#2200)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-02-02Option to use sampling for CEGIS (#1555)Andrew Reynolds
2017-11-18Ho instantiation (#1204)Andrew Reynolds
2017-10-24Cbqi bv ineq mode (#1273)Andrew Reynolds
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
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-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
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback