projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove hard coded option for TPTP regressions in run_regression (#3128)
2019-07-29 Andrew ReynoldsModel blocker feature (#3112)
 commit | commitdiff | tree
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122)
 commit | commitdiff | tree
2019-07-29 Andrew ReynoldsFix match trie for polymorphic operators (#3125)
 commit | commitdiff | tree
2019-07-27 Andrew ReynoldsMinor improvement to term canonizer (#3123)
 commit | commitdiff | tree
2019-07-26 Andrew ReynoldsInput user grammar in sygus abduct (#3119)
 commit | commitdiff | tree
2019-07-25 Andrew ReynoldsSplit infer info data structure in strings (#3107)
 commit | commitdiff | tree
2019-07-24 Andrew ReynoldsMinor refactoring of regexp operation (#3116)
 commit | commitdiff | tree
2019-07-24 Andrew Reynolds Fix null node when using no-strings-lazy-pp (#3114)
 commit | commitdiff | tree
2019-07-24 Andrew Reynolds Move string util functions (#3115)
 commit | commitdiff | tree
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113)
 commit | commitdiff | tree
2019-07-23 Andrew ReynoldsFix help messages (#3096)
 commit | commitdiff | tree
2019-07-19 Andrew ReynoldsFixes for sygus with datatypes (#3103)
 commit | commitdiff | tree
2019-07-19 Andrew ReynoldsFix case of unfolding negative membership in reg exp...
commit | commitdiff | tree
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095)
 commit | commitdiff | tree
2019-07-17 Andrew ReynoldsMinor clean in strings. (#3093)
 commit | commitdiff | tree
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092)
 commit | commitdiff | tree
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over...
commit | commitdiff | tree
2019-07-08 Andrew ReynoldsTowards refactoring relations (#3078)
 commit | commitdiff | tree
2019-07-06 Andrew ReynoldsRefactor strings to use an inference manager object...
commit | commitdiff | tree
2019-07-02 Andrew ReynoldsUse unique_ptr for UF modules (#3080)
 commit | commitdiff | tree
2019-07-01 Andrew ReynoldsRefactoring of relevance vector in quantifiers (#3070)
 commit | commitdiff | tree
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066)
 commit | commitdiff | tree
2019-07-01 Andrew Reynolds Split higher-order UF solver (#2890)
 commit | commitdiff | tree
2019-07-01 Andrew ReynoldsAdd higher-order elimination preprocessing pass (#2865)
 commit | commitdiff | tree
2019-06-27 Andrew ReynoldsVariable elimination rewrite for quantified strings...
commit | commitdiff | tree
2019-06-24 Andrew ReynoldsStratify unfolding of regular expressions based on...
commit | commitdiff | tree
2019-06-13 Andrew Reynolds Shorten explanation for strings inference I_Norm_S...
commit | commitdiff | tree
2019-06-11 Andrew Reynolds Minor cleaning of conflict-based instantiation (#2966)
 commit | commitdiff | tree
2019-06-11 Andrew ReynoldsDo not require sygus constructors to be flattened ...
commit | commitdiff | tree
2019-06-11 Andrew Reynolds Fix spurious assertion in get-value (#3052)
 commit | commitdiff | tree
2019-06-10 Andrew ReynoldsOptimization for negative concatenation membership...
commit | commitdiff | tree
2019-06-10 Andrew ReynoldsOptimization for strings normalize disequalities (...
commit | commitdiff | tree
2019-06-01 Andrew Reynolds Require that FMF model basis terms are variables ...
commit | commitdiff | tree
2019-06-01 Andrew ReynoldsFix rewriter for regular expression consume (#3029)
 commit | commitdiff | tree
2019-05-18 Andrew ReynoldsUpdate QF_NIA strategy (#3012)
 commit | commitdiff | tree
2019-05-15 Andrew ReynoldsFix printing of bvurem (#2963)
 commit | commitdiff | tree
2019-05-10 Andrew ReynoldsDisable relational triggers (#2994)
 commit | commitdiff | tree
2019-05-09 Andrew ReynoldsFixes for relational triggers (#2967)
 commit | commitdiff | tree
2019-05-02 Andrew ReynoldsSimple optimizations to core strings theory. (#2988)
 commit | commitdiff | tree
2019-05-01 Andrew ReynoldsFix re-elim-agg regressions (#2987)
 commit | commitdiff | tree
2019-05-01 Andrew Reynolds Use total versions of div/mod in re-elim-agg (#2986)
 commit | commitdiff | tree
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985)
 commit | commitdiff | tree
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976)
 commit | commitdiff | tree
2019-04-29 Andrew ReynoldsOptimization for evaluation with unfolding (#2979)
 commit | commitdiff | tree
2019-04-23 Andrew ReynoldsRefactor normal forms in strings (#2897)
 commit | commitdiff | tree
2019-04-18 Andrew ReynoldsFail fast strategy for propagating instances (#2939)
 commit | commitdiff | tree
2019-04-18 Andrew Reynolds Less aggressive caching in equality engine when proofs...
commit | commitdiff | tree
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
next