cvc5.git
2019-04-09 Haniel BarbosaRemoving references to cvc4-bugs@... (#2945)
2019-04-09 Haniel Barbosa"prerelease -> release" in INSTALL (#2944)
2019-04-09 Aina NiemetzFix email address of the bugs email list and delete...
2019-04-08 Haniel Barbosafix copyright year in configuration file (#2942)
2019-04-05 Haniel Barbosaprerelease -> release (#2941)
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938)
2019-04-05 Haniel Barbosafix fp issue (#2940)
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916)
2019-04-04 Haniel Barbosaadding sygus news (#2934)
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless optio...
2019-04-04 Haniel BarbosaUpdate release notes and lib version (#2933)
2019-04-03 Aina NiemetzUpdate copyright headers.
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V....
2019-04-03 Andrew ReynoldsFix combination of datatypes + strings in PBE (#2930)
2019-04-01 Andres NoetzliFP: Fix wrong model due to partial assignment (#2910)
2019-04-01 Andres NoetzliFix RewriteITEBv to ensure rewrite to fixpoint (#2878)
2019-04-01 makaimannUpdate includes to use cvc4 top-level directory in...
2019-04-01 Andres NoetzliMove slow string regression to regress3 (#2913)
2019-04-01 Andrew ReynoldsModify strategy in sets+cardinality (#2909)
2019-03-29 Andrew ReynoldsApply empty splits more aggressively in sets+cardinalit...
2019-03-29 Haniel Barbosaremoving deprecated rewriting signature / example ...
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903)
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901)
2019-03-28 Haniel Barbosafix ex_bv.plf (#2905)
2019-03-26 Aina NiemetzUpdate copyright headers.
2019-03-26 Aina Niemetzupdate-copyright: Update to 2019.
2019-03-26 Mathias Preinerget-authors: Exclude empty lines.
2019-03-26 Andres NoetzliFix warnings about wrong line numbers (#2899)
2019-03-26 Andrew ReynoldsFix a few warnings (#2898)
2019-03-26 Mathias Preinerget-authors: Exclude common source code patterns. ...
2019-03-25 Aina Niemetzupdate-copyright: Fix matching of excluded paths.
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command.
2019-03-24 Andrew Reynolds Split regular expression solver (#2891)
2019-03-24 Aina NiemetzNew C++ API: Fix include. (#2896)
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895)
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893)
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator...
2019-03-22 Andrew ReynoldsRevisit strings extended function decomposition (...
2019-03-22 Andrew ReynoldsFix instantiation stat for fmf (#2889)
2019-03-22 Andrew ReynoldsMore fixes for PBE with datatypes (#2882)
2019-03-22 Haniel Barbosafix help information on TPTP parsing (#2884)
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883)
2019-03-22 makaimannUse empty vector instead of false in query with null...
2019-03-21 Andrew Reynolds Fix bad comparison in RE solver's addMembership (...
2019-03-21 Andrew ReynoldsRewrite selectors correctly applied to constructors...
2019-03-21 Andres NoetzliAdd more NEWS (#2859)
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744)
2019-03-19 Andrew ReynoldsMake declare-datatype(s) a standard, non-extended comma...
2019-03-19 Andrew ReynoldsFix fairness issue with fast sygus enumerator (#2873)
2019-03-19 Aina NiemetzNew C++: Remove redundant mkBoundVar function.
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function.
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870)
2019-03-16 Andres NoetzliLimit --solve-int-as-bv=X to QF_NIA/QF_LIA/QF_IDL ...
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847)
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869)
2019-03-15 Haniel BarbosaAdding capture avoiding substitution (#2867)
2019-03-15 Andrew ReynoldsFix non-variable function head elimination in UF. ...
2019-03-14 Andrew ReynoldsFix function term set for theory strings compute care...
2019-03-14 Aina NiemetzImprove INSTALL instructions. (#2866)
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functi...
2019-03-14 Andrew ReynoldsProperly handle lambdas in relevant domain (#2853)
2019-03-14 Andrew Reynolds Add getFreeVariables method to node algorithm (#2852)
2019-03-14 Mathias PreinerDisable DCO signing for organization members.
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat...
2019-03-14 Andrew Reynolds Fix substitution step in ho matching (#2825)
2019-03-14 Andrew ReynoldsGeneralize sygus-rr-verify for fast enumerator (#2829)
2019-03-14 makaimanncheck for null assumption in query and replace with...
2019-03-13 Andres NoetzliAdd statistics for proof gen./checking time, size ...
2019-03-13 Andrew ReynoldsRemove spurious data member. (#2857)
2019-03-13 Mathias PreinerFix public headers for make install. (#2856)
2019-03-12 Andrew ReynoldsAdd option --sygus-rr-synth-rec for considering all...
2019-03-12 Andrew Reynolds Move tuple/record update elimination from ppRewrite...
2019-03-01 Alex OzdemirErProof class with LFSC output (#2812)
2019-02-27 Andres NoetzliUse string stream for proofs instead of tmp files ...
2019-02-26 Andres NoetzliClangFormat: Disable DerivePointerAlignment (#2842)
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function....
2019-02-13 Andres NoetzliRewrite simple regexp pattern to str.contains (#2827)
2019-02-13 Aina NiemetzNew C++ API: Remove redundant mkTerm function. (#2836)
2019-02-12 Andres NoetzliDelete temporary proof files when aborting CVC4 (#2834)
2019-02-11 Aina NiemetzNew C++ API: Unit tests for declare* functions. (#2831)
2019-02-05 Andres NoetzliMake stripConstantEndpoints() less aggressive (#2830)
2019-02-04 Andres NoetzliAdd rewrite for contains + const strings replace (...
2019-02-02 Andres NoetzliFix corner case in stripConstantEndpoints (#2824)
2019-01-29 Andres NoetzliFix warning due to catching polymorphic exceptions...
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820)
2019-01-29 Andres NoetzliStrings: Remove redundant replace rewrite (#2822)
2019-01-24 Alex OzdemirExtended DRAT signature to operational DRAT (#2815)
2019-01-23 Andres NoetzliAvoid using ProofManager in non-proof CMS build (#2814)
2019-01-23 Andres NoetzliStrings: Strengthen multiset reasoning (#2817)
2019-01-22 Andrew Reynolds Fix tuple and record CVC printing (#2818)
2019-01-22 Andrew Reynolds Fix parsing of overloaded parametric datatype selector...
2019-01-22 Aina NiemetzNew README (markdown). (#2797)
2019-01-19 Andres NoetzliFix missing-override warning (#2811)
2019-01-18 Alex OzdemirExtract DIMACS Printing (#2800)
2019-01-18 Andres NoetzliStrings: Introduce checkEntailContains() (#2809)
2019-01-18 Andres Noetzli Fix ABC build (#2808)
2019-01-17 Andres NoetzliAdd option to print BV constants in binary (#2805)
2019-01-16 Andres NoetzliUpdate NEWS file (#2804)
2019-01-16 Alex OzdemirBugfix: LFSC clause equality (#2801)
2019-01-16 Alex OzdemirExtended Resolution Signature (#2788)
next