projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Cache explanations in the equality engine (#2937)
2019-04-17 Andrew ReynoldsCache explanations in the equality engine (#2937)
 commit | commitdiff | tree
2019-04-17 Andrew ReynoldsMore use of isClosure (#2959)
 commit | commitdiff | tree
2019-04-17 Andrew ReynoldsFix extended function decomposition (#2960)
 commit | commitdiff | tree
2019-04-16 Andrew ReynoldsAdd interface for term enumeration (#2956)
 commit | commitdiff | tree
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954)
 commit | commitdiff | tree
2019-04-16 Andrew ReynoldsMinor simplifications to theory quantifiers (#2953)
 commit | commitdiff | tree
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949)
 commit | commitdiff | tree
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938)
 commit | commitdiff | tree
2019-04-03 Andrew ReynoldsFix combination of datatypes + strings in PBE (#2930)
 commit | commitdiff | tree
2019-04-01 Andrew ReynoldsModify strategy in sets+cardinality (#2909)
 commit | commitdiff | tree
2019-03-29 Andrew ReynoldsApply empty splits more aggressively in sets+cardinality...
commit | commitdiff | tree
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901)
 commit | commitdiff | tree
2019-03-26 Andrew ReynoldsFix a few warnings (#2898)
 commit | commitdiff | tree
2019-03-24 Andrew Reynolds Split regular expression solver (#2891)
 commit | commitdiff | tree
2019-03-22 Andrew ReynoldsRevisit strings extended function decomposition (...
commit | commitdiff | tree
2019-03-22 Andrew ReynoldsFix instantiation stat for fmf (#2889)
 commit | commitdiff | tree
2019-03-22 Andrew ReynoldsMore fixes for PBE with datatypes (#2882)
 commit | commitdiff | tree
2019-03-21 Andrew Reynolds Fix bad comparison in RE solver's addMembership (...
commit | commitdiff | tree
2019-03-21 Andrew ReynoldsRewrite selectors correctly applied to constructors...
commit | commitdiff | tree
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744)
 commit | commitdiff | tree
2019-03-19 Andrew ReynoldsMake declare-datatype(s) a standard, non-extended command...
commit | commitdiff | tree
2019-03-19 Andrew ReynoldsFix fairness issue with fast sygus enumerator (#2873)
 commit | commitdiff | tree
2019-03-15 Andrew ReynoldsFix non-variable function head elimination in UF. ...
commit | commitdiff | tree
2019-03-14 Andrew ReynoldsFix function term set for theory strings compute care...
commit | commitdiff | tree
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functions...
commit | commitdiff | tree
2019-03-14 Andrew ReynoldsProperly handle lambdas in relevant domain (#2853)
 commit | commitdiff | tree
2019-03-14 Andrew Reynolds Add getFreeVariables method to node algorithm (#2852)
 commit | commitdiff | tree
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat...
commit | commitdiff | tree
2019-03-14 Andrew Reynolds Fix substitution step in ho matching (#2825)
 commit | commitdiff | tree
2019-03-14 Andrew ReynoldsGeneralize sygus-rr-verify for fast enumerator (#2829)
 commit | commitdiff | tree
2019-03-13 Andrew ReynoldsRemove spurious data member. (#2857)
 commit | commitdiff | tree
2019-03-12 Andrew ReynoldsAdd option --sygus-rr-synth-rec for considering all...
commit | commitdiff | tree
2019-03-12 Andrew Reynolds Move tuple/record update elimination from ppRewrite...
commit | commitdiff | tree
2019-01-22 Andrew Reynolds Fix tuple and record CVC printing (#2818)
 commit | commitdiff | tree
2019-01-22 Andrew Reynolds Fix parsing of overloaded parametric datatype selectors...
commit | commitdiff | tree
2019-01-16 Andrew ReynoldsFix constant contains ITOS rewrite (#2799)
 commit | commitdiff | tree
2019-01-15 Andrew Reynolds Fix unsound double abs rewrite rule for FP (#2792)
 commit | commitdiff | tree
2019-01-15 Andrew Reynolds Only check disequal terms with sygus-rr-verify (#2793)
 commit | commitdiff | tree
2019-01-09 Andrew ReynoldsDo not rewrite 1-constructor sygus testers to true...
commit | commitdiff | tree
2018-12-19 Andrew ReynoldsFix issues with REWRITE_DONE in floating point rewriter...
commit | commitdiff | tree
2018-12-14 Andrew Reynolds Fix extended rewriter for binary associative operators...
commit | commitdiff | tree
2018-12-14 Andrew ReynoldsMake single invocation and invariant pre/post condition...
commit | commitdiff | tree
2018-12-13 Andrew ReynoldsRemove spurious map (#2750)
 commit | commitdiff | tree
2018-12-11 Andrew ReynoldsRemove alternate versions of mbqi (#2742)
 commit | commitdiff | tree
2018-12-06 Andrew Reynolds Take into account minimality and types for cached...
commit | commitdiff | tree
2018-12-04 Andrew ReynoldsApply extended rewriting on PBE static symmetry breaking...
commit | commitdiff | tree
2018-12-04 Andrew ReynoldsEnable regular expression elimination by default. ...
commit | commitdiff | tree
2018-12-03 Andrew Reynolds Skip non-cardinality types in sets min card inference...
commit | commitdiff | tree
2018-12-02 Andrew ReynoldsOptimizations for PBE strings (#2728)
 commit | commitdiff | tree
2018-11-29 Andrew Reynolds Infrastructure for sygus side conditions (#2729)
 commit | commitdiff | tree
2018-11-29 Andrew ReynoldsCombine sygus stream with PBE (#2726)
 commit | commitdiff | tree
2018-11-28 Andrew ReynoldsImprove interface for sygus grammar cons (#2727)
 commit | commitdiff | tree
2018-11-28 Andrew ReynoldsInformation gain heuristic for PBE (#2719)
 commit | commitdiff | tree
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725)
 commit | commitdiff | tree
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical...
commit | commitdiff | tree
2018-11-28 Andrew ReynoldsImprove cegqi engine trace. (#2714)
 commit | commitdiff | tree
2018-11-27 Andrew ReynoldsMake (T)NodeTrie a general utility (#2489)
 commit | commitdiff | tree
2018-11-27 Andrew ReynoldsFix coverity warnings in datatypes (#2553)
 commit | commitdiff | tree
2018-11-27 Andrew ReynoldsLazy model construction in TheoryEngine (#2633)
 commit | commitdiff | tree
2018-11-21 Andrew ReynoldsCache evaluations for PBE (#2699)
 commit | commitdiff | tree
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible...
commit | commitdiff | tree
2018-11-21 Andrew ReynoldsSupport string replace all (#2704)
 commit | commitdiff | tree
2018-11-21 Andrew Reynolds Fix type enumerator for FP (#2717)
 commit | commitdiff | tree
2018-11-20 Andrew ReynoldsFix real2int regression. (#2716)
 commit | commitdiff | tree
2018-11-20 Andrew Reynolds Clausify context-dependent simplifications in ext...
commit | commitdiff | tree
2018-11-19 Andrew ReynoldsFix E-matching for case where candidate generator is...
commit | commitdiff | tree
2018-11-15 Andrew Reynolds Expand definitions prior to model core computation...
commit | commitdiff | tree
2018-11-07 Andrew Reynolds Fix for itos reduction (#2691)
 commit | commitdiff | tree
2018-11-06 Andrew ReynoldsIncorporate static PBE symmetry breaking lemmas into...
commit | commitdiff | tree
2018-11-05 Andrew ReynoldsChange default sygus enumeration mode to auto (#2689)
 commit | commitdiff | tree
2018-11-05 Andrew ReynoldsFix coverity warnings in sygus enumerator (#2687)
 commit | commitdiff | tree
2018-11-05 Andrew ReynoldsAllow partial models with optimized sygus enumeration...
commit | commitdiff | tree
2018-11-05 Andrew Reynolds Implement option to turn off symmetry breaking for...
commit | commitdiff | tree
2018-10-31 Andrew ReynoldsAdd optimized sygus enumeration (#2677)
 commit | commitdiff | tree
2018-10-24 Andrew ReynoldsMinor improvement to sygus trace (#2675)
 commit | commitdiff | tree
2018-10-23 Andrew ReynoldsDo not use lazy trie for sygus-rr-verify (#2668)
 commit | commitdiff | tree
2018-10-20 Andrew ReynoldsSygus streaming non-implied predicates (#2660)
 commit | commitdiff | tree
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653)
 commit | commitdiff | tree
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652)
 commit | commitdiff | tree
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636)
 commit | commitdiff | tree
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646)
 commit | commitdiff | tree
2018-10-18 Andrew ReynoldsSygus query generator (#2465)
 commit | commitdiff | tree
2018-10-17 Andrew Reynolds Fix context-dependent for positive contains reduction...
commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove strings reductions including skolem caching...
commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove reduction for int.to.str (#2629)
 commit | commitdiff | tree
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621)
 commit | commitdiff | tree
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625)
 commit | commitdiff | tree
2018-10-12 Andrew Reynolds Fix heuristic for string length approximation (#2622)
 commit | commitdiff | tree
2018-10-12 Andrew Reynolds Refactor printing of parameterized operators in smt2...
commit | commitdiff | tree
2018-10-11 Andrew Reynolds Fix partial operator elimination in sygus grammar...
commit | commitdiff | tree
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce...
commit | commitdiff | tree
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608)
 commit | commitdiff | tree
2018-10-10 Andrew ReynoldsFix cegis so that evaluation unfolding is not interleaved...
commit | commitdiff | tree
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612)
 commit | commitdiff | tree
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ...
commit | commitdiff | tree
2018-10-09 Andrew ReynoldsAllow multiple synthesis conjectures. (#2593)
 commit | commitdiff | tree
2018-10-09 Andrew Reynolds Fix string register extended terms (#2597)
 commit | commitdiff | tree
2018-10-08 Andrew ReynoldsAddress slow sygus regressions (#2598)
 commit | commitdiff | tree
2018-10-08 Andrew Reynolds Disable extended rewriter when applicable with var...
commit | commitdiff | tree
2018-10-05 Andrew Reynolds Fix cache for sygus post-condition inference (#2592)
 commit | commitdiff | tree
next