projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384)
[cvc5.git] / test /
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) tree | commitdiff
2018-08-24 Andrew Reynolds Remove spurious disabling of cbqi-all (#2368) tree | commitdiff
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... tree | commitdiff
2018-08-23 Andres NoetzliAdd missing overrides in unit tests (#2362) tree | commitdiff
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364) tree | commitdiff
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354) tree | commitdiff
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann... tree | commitdiff
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353) tree | commitdiff
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS... tree | commitdiff
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus... tree | commitdiff
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) tree | commitdiff
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346) tree | commitdiff
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... tree | commitdiff
2018-08-21 Aina NiemetzRemove disabled system test cvc3_george. (#2342) tree | commitdiff
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337) tree | commitdiff
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure... tree | commitdiff
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319) tree | commitdiff
2018-08-17 Andrew Reynolds Add sygus stream regressions (#2330) tree | commitdiff
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331) tree | commitdiff
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normaliza... tree | commitdiff
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) tree | commitdiff
2018-08-16 Haniel BarbosaRefactor apply2const (#2316) tree | commitdiff
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309) tree | commitdiff
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) tree | commitdiff
2018-08-13 Tim KingRemoving support for T* and const T* attributes. (... tree | commitdiff
2018-08-10 Andres NoetzliDo not use static initialization in CxxTest runner... tree | commitdiff
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... tree | commitdiff
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290) tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-08-08 Tim King Proposal for adding map utility functions to CVC4... tree | commitdiff
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) tree | commitdiff
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) tree | commitdiff
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variab... tree | commitdiff
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276) tree | commitdiff
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264) tree | commitdiff
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference... tree | commitdiff
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for... tree | commitdiff
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) tree | commitdiff
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multipl... tree | commitdiff
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247) tree | commitdiff
2018-08-01 Aina Niemetz InteractiveShell: Remove redundant options argument... tree | commitdiff
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219) tree | commitdiff
2018-08-01 ayveejayImprovements and tests for the API around separation... tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214) tree | commitdiff
2018-07-26 Andrew ReynoldsFix rewriter for lambda (#2211) tree | commitdiff
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... tree | commitdiff
2018-07-23 Andrew Reynolds sygusComp2018: add regressions (#2191) tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-21 yoni206Remove --no-check-proofs and --no-check-unsat-cores... tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... tree | commitdiff
2018-07-05 Andres NoetzlisygusComp2018: Improve string rewriter (#2141) tree | commitdiff
2018-07-04 Andres NoetzliRemove unused CDVector (#2139) tree | commitdiff
2018-07-03 Andres NoetzliAdd regression test for issue #1986 (#2114) tree | commitdiff
2018-07-02 Aina NiemetzRefactor ApplySubsts preprocessing pass. (#2120) tree | commitdiff
2018-07-02 Andrew ReynoldsModify cegqi heuristic for finite datatypes (#2126) tree | commitdiff
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ... tree | commitdiff
2018-06-28 Andrew ReynoldsSplit and document ceg theory instantiators (#2094) tree | commitdiff
2018-06-26 Andres NoetzlisygusComp2018: Add evaluator (#2090) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... tree | commitdiff
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... tree | commitdiff
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) tree | commitdiff
2018-06-12 Andrew ReynoldsFix strip constant endpoint for ITOS in strings rewrite... tree | commitdiff
2018-06-11 Andrew ReynoldsFix equality conflicts reported by FP (#2064) tree | commitdiff
2018-06-10 Andres NoetzliDisable test that fails in competition mode (#2063) tree | commitdiff
2018-06-09 Andres NoetzliAdd flag to skip regression if feature enabled (#2062) tree | commitdiff
2018-06-09 Andres NoetzliReset decisions at SAT level after solving (#2059) tree | commitdiff
2018-06-05 Andres NoetzliOnly enable transcendentals if logic is N[I]RAT (#2052) tree | commitdiff
2018-06-04 Andrew ReynoldsEnable cegqi (with model values) for floating point... tree | commitdiff
2018-06-04 Andres NoetzliRegressions: Support for requiring CVC4 features (... tree | commitdiff
2018-06-02 Mathias PreinerFix BV-abstraction check to consider SKOLEM. (#2042) tree | commitdiff
2018-06-02 Andrew ReynoldsFix preinitialization pass for finite model finding... tree | commitdiff
2018-06-01 Andrew ReynoldsFix quantified bv variable elimination (#2039) tree | commitdiff
2018-06-01 Andrew ReynoldsApply preprocessing to counterexample lemmas in CEGQI... tree | commitdiff
2018-06-01 Andrew Reynolds Use monomial sum utility to solve for quantifiers... tree | commitdiff
2018-05-31 Mathias PreinerFix bv-abstraction check for AND with non bit-vector... tree | commitdiff
2018-05-29 Andres Noetzli Make user's SMT2 version override file version (#2004) tree | commitdiff
2018-05-25 Andrew ReynoldsReenable repair const (#1983) tree | commitdiff
2018-05-24 Andrew ReynoldsFix nl regression for unsat cores. (#1973) tree | commitdiff
2018-05-23 Andrew ReynoldsGeneralize check-model in NonLinearExtension for quadra... tree | commitdiff
2018-05-23 Andres NoetzliSet same options for proofs as for unsat cores (#1957) tree | commitdiff
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) tree | commitdiff
2018-05-22 Andrew ReynoldsMake sygus infer find function definitions (#1951) tree | commitdiff
2018-05-21 Andrew ReynoldsImprovements in parsing and printing related to mixed... tree | commitdiff
2018-05-21 Andrew ReynoldsInfrastructure to mark unused sygus strategies (#1950) tree | commitdiff
2018-05-21 makaimannHandle IMPLIES in bool-to-bv and test it in regress0... tree | commitdiff
2018-05-21 Caleb DonovickFix file extension (#1919) tree | commitdiff
2018-05-18 Andrew ReynoldsCegis unif defaults to cegis when no unif (#1942) tree | commitdiff
2018-05-18 Andrew ReynoldsUnified fairness scheme for cegis unif (#1941) tree | commitdiff
2018-05-17 Andrew ReynoldsFix debugPrint and add regress. (#1934) tree | commitdiff
2018-05-17 Andrew ReynoldsCegis-specific infrastructure (#1933) tree | commitdiff
2018-05-15 Haniel Barbosaadding regressions (#1925) tree | commitdiff
2018-05-15 Andrew ReynoldsFix annotations in regress2. (#1917) tree | commitdiff
2018-05-14 Andrew ReynoldsAdd regressions, change defaults. (#1911) tree | commitdiff
2018-05-14 Andrew ReynoldsFlag to check invariance of entire values in sygus... tree | commitdiff
2018-05-11 Aina NiemetzRemove obsolete unit test for ackermannization. (#1906) tree | commitdiff
next