summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers
AgeCommit message (Expand)Author
2018-10-08BV instantiator: Factor out util functions. (#2604)Aina Niemetz
2018-10-08 BV inverter: Factor out util functions. (#2603)Aina Niemetz
2018-10-08 Disable extended rewriter when applicable with var agnostic enumeration (#2594)Andrew Reynolds
2018-10-05Fix unif trace (#2550)Haniel Barbosa
2018-10-05 Fix cache for sygus post-condition inference (#2592)Andrew Reynolds
2018-10-05Update default options for sygus (#2586)Andrew Reynolds
2018-10-04Fix rewrite rule filtering. (#2591)Andrew Reynolds
2018-10-03Add actively generated sygus enumerators (#2552)Andrew Reynolds
2018-10-03Make CegisUnif with condition independent robust to var agnostic (#2565)Haniel Barbosa
2018-10-03Eliminate partial operators within lambdas during grammar normalization (#2570)Andrew Reynolds
2018-10-01init scalar class members (coverity issues 1473720 and 1473721) (#2554)Haniel Barbosa
2018-09-29Stream concrete values for variable agnostic enumerators (#2526)Haniel Barbosa
2018-09-28Rewrites for (= "" _) and (= (str.replace _) _) (#2546)Andres Noetzli
2018-09-27Remove assertion. (#2549)Andrew Reynolds
2018-09-27Infrastructure for using active enumerators in sygus modules (#2547)Andrew Reynolds
2018-09-27Incorporate all unification enumerators into getTermList. (#2541)Andrew Reynolds
2018-09-25Eagerly ensure literal on active guards for sygus enumerators (#2531)Andrew Reynolds
2018-09-25Fix warnings uncovered by cmake build (#2521)Andrew Reynolds
2018-09-24Fix quantifiers selector over store rewrite (#2510)Andrew Reynolds
2018-09-24Allow partial models for multiple sygus enumerators (#2499)Andrew Reynolds
2018-09-24Infrastructure for variable agnostic sygus enumerators (#2511)Andrew Reynolds
2018-09-24Refactor strings equality rewriting (#2513)Andrew Reynolds
2018-09-22cmake: Remove unused CMakeLists.txtMathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-18Move and rename sygus solver classes (#2488)Andrew Reynolds
2018-09-17Clean remaining references to getNextDecisionRequest in quantifiers. (#2484)Andrew Reynolds
2018-09-17Improvements and fixes for symmetry detection and breaking (#2459)Andrew Reynolds
2018-09-17Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)Andrew Reynolds
2018-09-17Decision strategy: incorporate cegis unif (#2482)Andrew Reynolds
2018-09-17 Decision strategy: incorporate bounded integers (#2481)Andrew Reynolds
2018-09-17Decision strategy: incorporate sygus feasible and sygus stream feasible (#2462)Andrew Reynolds
2018-09-14Refactor how assertions are added to decision engine (#2396)Andres Noetzli
2018-09-13Generalize CandidateRewriteDatabase to ExprMiner (#2340)Andrew Reynolds
2018-09-13Uses information gain heuristic for building better solutions from DTs (#2451)Haniel Barbosa
2018-09-13 Decision strategy: incorporate CEGQI (#2460)Andrew Reynolds
2018-09-11Support model cores via option --produce-model-cores. (#2407)Andrew Reynolds
2018-09-10fix (#2446)Haniel Barbosa
2018-09-10Using a single condition enumerator in sygus-unif (#2440)Haniel Barbosa
2018-09-10Squash implementation of counterexample-guided instantiation (#2423)Andrew Reynolds
2018-09-07 Make isClosedEnumerable a member of TypeNode (#2434)Andrew Reynolds
2018-09-06 Further simplify and fix initialization of ce guided instantiation (#2437)Andrew Reynolds
2018-09-06Refactor and document quantifiers variable elimination and conditional splitt...Andrew Reynolds
2018-09-05 More extended rewrites for strings equality (#2431)Andrew Reynolds
2018-09-05 Eliminate select over store in quantifier bodies (#2433)Andrew Reynolds
2018-09-05 Extended rewriter for string equalities (#2427)Andrew Reynolds
2018-09-04Make quantifiers strategies exit immediately when in conflict (#2099)Andrew Reynolds
2018-09-04Refactor ceg conjecture initialization (#2411)Andrew Reynolds
2018-08-31Allows SAT checks of repair const to have different options (#2412)Haniel Barbosa
2018-08-31Refactor and document alpha equivalence. (#2402)Andrew Reynolds
2018-08-28 Split term canonize utility to own file and document (#2398)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback