summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus
AgeCommit message (Expand)Author
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-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-24Allow partial models for multiple sygus enumerators (#2499)Andrew Reynolds
2018-09-24Infrastructure for variable agnostic sygus enumerators (#2511)Andrew Reynolds
2018-09-18Move and rename sygus solver classes (#2488)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-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-10fix (#2446)Haniel Barbosa
2018-09-10Using a single condition enumerator in sygus-unif (#2440)Haniel Barbosa
2018-09-06 Further simplify and fix initialization of ce guided instantiation (#2437)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-27 Address more coverity warnings (#2394)Andrew Reynolds
2018-08-27Fix warning in sygus io. (#2391)Andrew Reynolds
2018-08-23 Do not print internally generated datatypes in external outputs with sygus (...Andrew Reynolds
2018-08-23 Fixing some coverity warnings (#2357)Andrew Reynolds
2018-08-22 More unused code elimination (#2358)Andrew Reynolds
2018-08-22Fix invalid iterator comparisons (#2349)Andrew Reynolds
2018-08-21Add constexpr annotations to help coverity understand constant ... (#2314)Tim King
2018-08-21Use cbqi-full for sygus (#2346)Andrew Reynolds
2018-08-20 Remove support for prototype (non-sygus) synthesis (#2338)Andrew Reynolds
2018-08-20Minor improvements to the interface for sygus sampler (#2326)Andrew Reynolds
2018-08-17 Fix arithmetic division by zero in sygus repair constant module (#2329)Andrew Reynolds
2018-08-17 Eliminate partial operators in sygus grammar normalization (#2323)Andrew Reynolds
2018-08-16Adding support for bitvector SyGuS problems without grammars (#2328)Haniel Barbosa
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
2018-08-08Disable argument relevance for sygus by default (#2288)Andrew Reynolds
2018-08-08Add debug test for sygus subcall verify calls. (#2287)Andrew Reynolds
2018-08-07Document/refactor datatypes sygus simple symmetry breaking (#2233)Andrew Reynolds
2018-08-07 Wait to do sygus qe preprocess until full effort check (#2282)Andrew Reynolds
2018-08-07Fix inference of pre and post conditions for non variable arguments. (#2237)Andrew Reynolds
2018-08-06 Move sygus quantifier elimination step for non-ground-single-invocation to s...Andrew Reynolds
2018-08-06Fix degenerate case of sygus grammar construction for 0-argument Bools (#2260)Andrew Reynolds
2018-08-03Eliminate option for sygus UF evaluation functions (#2262)Andrew Reynolds
2018-07-30Fix several spelling errors (#2231)FabianWolff
2018-07-23Fix warning in sygus PBE (#2190)Andrew Reynolds
2018-07-21 sygusComp2018: Improvements to CEGIS loop (#2187)Andrew Reynolds
2018-07-21 sygusComp2018: refactor and improve sygus io utility (#2185)Andrew Reynolds
2018-07-20 sygusComp2018: minor changes to repair constant utility (#2110)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback