summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers
AgeCommit message (Expand)Author
2018-06-11Fix template.ajreynol
2018-06-11Evaluate templates.ajreynol
2018-06-09EvaluatorAndres Noetzli
2018-06-09Minor fix for computing look-ahead conditionals in PBE i/o.ajreynol
2018-06-08Option for exclusion predicate, more BV rewrites.ajreynol
2018-06-07ITE bitvector rewrites.ajreynol
2018-06-07Remove polarity from ext rew theory passes.ajreynol
2018-06-06Any failed function is full failure during reconstruction.ajreynol
2018-06-06Limit policy for reconstruction, remove all-abort cegqi-si.ajreynol
2018-06-06Formatajreynol
2018-06-06Options for reconstruction.ajreynol
2018-06-05Subfield types, sol recons heuristics.ajreynol
2018-06-05Formatajreynol
2018-06-05Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-05Disable special case for all-abort Booleans.ajreynol
2018-06-05Simplify.ajreynol
2018-06-05Enable factoring, unit resolution.ajreynol
2018-06-04Work on factoring.ajreynol
2018-06-04More eq chain rewrites.ajreynol
2018-06-04Enable cegqi (with model values) for floating point by default (#2023)Andrew Reynolds
2018-06-02Fix corner case of mixed int/real cegqi. (#2046)Andrew Reynolds
2018-06-02Fix preinitialization pass for finite model finding (#2047)Andrew Reynolds
2018-06-01Fix quantified bv variable elimination (#2039)Andrew Reynolds
2018-06-01Apply preprocessing to counterexample lemmas in CEGQI (#2027)Andrew Reynolds
2018-06-01 Use monomial sum utility to solve for quantifiers macros (#2038)Andrew Reynolds
2018-06-01Formatajreynol
2018-06-01Fix rewrite.ajreynol
2018-06-01Min synth sol option.ajreynol
2018-05-31Moreajreynol
2018-05-31Move any constant to better spot.ajreynol
2018-05-31Update script, fix any constant printing.ajreynol
2018-05-31Extended rewrite builtin solutions.ajreynol
2018-05-31Fixajreynol
2018-05-31Deterministic vs non-deterministic PBE strategies.ajreynol
2018-05-31Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-05-30Optionsajreynol
2018-05-30Repair condition to separate.ajreynol
2018-05-30Moreajreynol
2018-05-30Fixes for quantifiers + incremental (#2009)Andrew Reynolds
2018-05-30Improve trace.ajreynol
2018-05-30Docajreynol
2018-05-30Improve org.ajreynol
2018-05-30Minor, add option.ajreynol
2018-05-29Merge branch 'sygusComp2018-2' into sym-break-anyconstHaniel Barbosa
2018-05-29Merge opt3.ajreynol
2018-05-29Merge branch 'sygusComp2018-2' into sym-break-anyconstHaniel Barbosa
2018-05-29fixesHaniel Barbosa
2018-05-29revertHaniel Barbosa
2018-05-29draftHaniel Babosa
2018-05-29Initialize with extRewBv branch.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback