projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2019-05-06 Andres NoetzliAdd support for re.all (#2980) 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 Andres NoetzliFix concat-find regexp elimination (#2983) commit | commitdiff | tree
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985) commit | commitdiff | tree
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984) 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-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... commit | commitdiff | tree
2019-04-25 Aina NiemetzFix compiler warning. (#2975) commit | commitdiff | tree
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) commit | commitdiff | tree
2019-04-24 Clark BarrettDco fix (#2973) commit | commitdiff | tree
2019-04-24 Aina NiemetzREADME: Remove project leaders, history. commit | commitdiff | tree
2019-04-24 Aina NiemetzCONTRIBUTING: Fix project leaders link. commit | commitdiff | tree
2019-04-23 Alex Ozdemir[BV] An option for SAT proof optimization (#2915) commit | commitdiff | tree
2019-04-23 Andrew ReynoldsRefactor normal forms in strings (#2897) commit | commitdiff | tree
2019-04-22 Aina NiemetzAdd CONTRIBUTING file. (#2968) 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 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ... 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-16 makaimannCheck for rt library in configuration -- support for... commit | commitdiff | tree
2019-04-15 Andres NoetzliInitial version of run scripts for SMT-COMP 2019 (... commit | commitdiff | tree
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943) commit | commitdiff | tree
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949) commit | commitdiff | tree
2019-04-09 Haniel BarbosaRemoving references to cvc4-bugs@... (#2945) commit | commitdiff | tree
2019-04-09 Haniel Barbosa"prerelease -> release" in INSTALL (#2944) commit | commitdiff | tree
2019-04-09 Aina NiemetzFix email address of the bugs email list and delete... commit | commitdiff | tree
2019-04-08 Haniel Barbosafix copyright year in configuration file (#2942) commit | commitdiff | tree
2019-04-05 Haniel Barbosaprerelease -> release (#2941) commit | commitdiff | tree
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938) commit | commitdiff | tree
2019-04-05 Haniel Barbosafix fp issue (#2940) commit | commitdiff | tree
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916) commit | commitdiff | tree
2019-04-04 Haniel Barbosaadding sygus news (#2934) commit | commitdiff | tree
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless optio... commit | commitdiff | tree
2019-04-04 Haniel BarbosaUpdate release notes and lib version (#2933) commit | commitdiff | tree
2019-04-03 Aina NiemetzUpdate copyright headers. commit | commitdiff | tree
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V.... commit | commitdiff | tree
2019-04-03 Andrew ReynoldsFix combination of datatypes + strings in PBE (#2930) commit | commitdiff | tree
2019-04-01 Andres NoetzliFP: Fix wrong model due to partial assignment (#2910) commit | commitdiff | tree
2019-04-01 Andres NoetzliFix RewriteITEBv to ensure rewrite to fixpoint (#2878) commit | commitdiff | tree
2019-04-01 makaimannUpdate includes to use cvc4 top-level directory in... commit | commitdiff | tree
2019-04-01 Andres NoetzliMove slow string regression to regress3 (#2913) 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+cardinalit... commit | commitdiff | tree
2019-03-29 Haniel Barbosaremoving deprecated rewriting signature / example ... commit | commitdiff | tree
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903) commit | commitdiff | tree
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901) commit | commitdiff | tree
2019-03-28 Haniel Barbosafix ex_bv.plf (#2905) commit | commitdiff | tree
2019-03-26 Aina NiemetzUpdate copyright headers. commit | commitdiff | tree
2019-03-26 Aina Niemetzupdate-copyright: Update to 2019. commit | commitdiff | tree
2019-03-26 Mathias Preinerget-authors: Exclude empty lines. commit | commitdiff | tree
2019-03-26 Andres NoetzliFix warnings about wrong line numbers (#2899) commit | commitdiff | tree
2019-03-26 Andrew ReynoldsFix a few warnings (#2898) commit | commitdiff | tree
2019-03-26 Mathias Preinerget-authors: Exclude common source code patterns. ... commit | commitdiff | tree
2019-03-25 Aina Niemetzupdate-copyright: Fix matching of excluded paths. commit | commitdiff | tree
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command. commit | commitdiff | tree
2019-03-24 Andrew Reynolds Split regular expression solver (#2891) commit | commitdiff | tree
2019-03-24 Aina NiemetzNew C++ API: Fix include. (#2896) commit | commitdiff | tree
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895) commit | commitdiff | tree
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893) commit | commitdiff | tree
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator... 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-22 Haniel Barbosafix help information on TPTP parsing (#2884) commit | commitdiff | tree
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883) commit | commitdiff | tree
2019-03-22 makaimannUse empty vector instead of false in query with null... 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-21 Andres NoetzliAdd more NEWS (#2859) 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 comma... commit | commitdiff | tree
2019-03-19 Andrew ReynoldsFix fairness issue with fast sygus enumerator (#2873) commit | commitdiff | tree
2019-03-19 Aina NiemetzNew C++: Remove redundant mkBoundVar function. commit | commitdiff | tree
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function. commit | commitdiff | tree
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870) commit | commitdiff | tree
2019-03-16 Andres NoetzliLimit --solve-int-as-bv=X to QF_NIA/QF_LIA/QF_IDL ... commit | commitdiff | tree
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) commit | commitdiff | tree
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869) commit | commitdiff | tree
2019-03-15 Haniel BarbosaAdding capture avoiding substitution (#2867) 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 Aina NiemetzImprove INSTALL instructions. (#2866) commit | commitdiff | tree
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functi... 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 Mathias PreinerDisable DCO signing for organization members. 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-14 makaimanncheck for null assumption in query and replace with... commit | commitdiff | tree
2019-03-13 Andres NoetzliAdd statistics for proof gen./checking time, size ... commit | commitdiff | tree
2019-03-13 Andrew ReynoldsRemove spurious data member. (#2857) commit | commitdiff | tree
next