Only run pypi packaging when release is published (#8526)
[cvc5.git] / test / regress /
2022-04-01 Haniel Barbosa[proofs] [alethe] Fix Alethe post-processor (#8525)
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`...
2022-04-01 Andrew ReynoldsFix sygus-inst when combined with bounded string quanti...
2022-03-31 Andrew ReynoldsHandled quoted symbols in indexed operators (#8491)
2022-03-31 Andrew ReynoldsDisable minisat variable elimination when a parametric...
2022-03-31 Andrew ReynoldsFix check for whether PI is reduced (#8485)
2022-03-31 Andrew ReynoldsFix lower vs upper bound issue for eager RE conflicts...
2022-03-31 Andrew ReynoldsFix non-termination in the strings rewriter (#8438)
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching...
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467)
2022-03-30 Mathias PreinerExclude competition build for issue8377-resolve-indexed...
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416)
2022-03-30 Andrew ReynoldsFixes for sygus-inst (#8448)
2022-03-30 Andrew ReynoldsFix subtype issue in cegqi arithmetic (#8440)
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref...
2022-03-30 Mathias PreinerRename master branch to main. (#8452)
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437)
2022-03-29 Andrew ReynoldsMake ProofNodeManager mkScope more robust (#8435)
2022-03-29 Andrew ReynoldsFix issue related to use of Boolean term variable for...
2022-03-29 Clark BarrettFix for issue 5925: constant arrays should be nonlinear...
2022-03-28 Mathias PreinerRename get-interpol to get-interpolant. (#8424)
2022-03-26 yoni206Separating produce-interpols from the mode of interpola...
2022-03-26 Andrew ReynoldsFix spurious assertion failure (#8404)
2022-03-26 Andrew ReynoldsMore minor cleaning of options (#8401)
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397)
2022-03-25 Andres Noetzli[Parser] Fix resolution of indexed symbols (#8383)
2022-03-25 Haniel Barbosa[proofs] [sat] Have SAT solver communicate whether...
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes...
2022-03-25 Andrew ReynoldsChange output of abduction/interpolation for failed...
2022-03-25 Andrew ReynoldsProperly guard commands in the SyGuS API (#8390)
2022-03-25 Andrew ReynoldsRecategorize options (#8386)
2022-03-24 Haniel Barbosa[unsat-cores] [sat-proof] Fix open proofs due to theory...
2022-03-23 Andrew ReynoldsClean options (#8309)
2022-03-23 Andrew ReynoldsMake IDOF_MAX rewrite only apply when all children...
2022-03-23 mudathirmahgoubFix cvc5-projects issue 497 (#8331)
2022-03-23 Andrew ReynoldsFix non-termination issue in sygus enumerator (#8340)
2022-03-22 Andrew ReynoldsFixes for witness terms appearing in CEGQI instantiatio...
2022-03-16 Andres NoetzliRemove unused files in `regress0` (#8325)
2022-03-16 Aina NiemetzFirst step towards refactoring regression tests. (...
2022-03-16 mudathirmahgoubAdd regression for cvc5-projects issue 490 (#8317)
2022-03-16 Mathias Preinerrun_regression: Make sure to strip trailing whitespaces...
2022-03-16 Andrew ReynoldsFix getModelValue for arithmetic (#8316)
2022-03-16 Andrew ReynoldsEnsure trusted steps are given for skolem lemmas when...
2022-03-15 Andrew ReynoldsMake learned literal computation more robust (#8308)
2022-03-15 Andres Noetzli[BV] Fix strategy for rewriting `bvnot` (#8297)
2022-03-15 Andrew ReynoldsFix issues involving multiple sources of model substitu...
2022-03-15 mudathirmahgoubAdd skolem lemmas for bags card terms (#7995)
2022-03-15 Andrew ReynoldsFix to consider leafs of theory sets to be variables...
2022-03-15 Andrew ReynoldsSimplify reductions for set and bag choose (#8304)
2022-03-14 Andrew ReynoldsFixes for skolem definition management (#8301)
2022-03-14 Andrew ReynoldsRemove unecessary methods from the API (#8260)
2022-03-14 Andrew ReynoldsAdd rewrite for allchar beneath union + star (#8299)
2022-03-14 Andrew ReynoldsRun preprocess rewrite on equalities until fixed point...
2022-03-12 Andrew ReynoldsIntroduce new splitting inference in sets + cardinality...
2022-03-11 Andrew ReynoldsRemove old decision justification heurstic (#8275)
2022-03-11 Andrew ReynoldsConsider APPLY_CONSTRUCTOR applied to values to be...
2022-03-11 Andrew ReynoldsFix reduction for arc trig functions (#8289)
2022-03-10 Andrew ReynoldsFix theoryOf call in get equality status (#8279)
2022-03-10 Andrew ReynoldsEliminate unecessary datatype options (#8280)
2022-03-10 mudathirmahgoubFix cvc5-projects issue 475 (#8278)
2022-03-10 Andrew ReynoldsAdd output -o pre-asserts (#8270)
2022-03-10 Andrew ReynoldsDisable timing out regressions (#8273)
2022-03-10 Mathias PreinerFix regression errors for arm64 nightlies. (#8268)
2022-03-09 Gereon KremerRename expert statistics to internal, add documentation...
2022-03-09 Gereon KremerClear obsolete pending lemmas in arithmetic (#8236)
2022-03-09 Andrew ReynoldsAdd regression for fixed issue 6700 (#8265)
2022-03-08 Andrew ReynoldsDo not expand APPLY_SELECTOR (#8174)
2022-03-08 Andrew ReynoldsGuard another case of non-termination in quantifiers...
2022-03-08 Gereon KremerMake one CI job not use libpoly (#8261)
2022-03-08 Andrew ReynoldsEliminate shadowing in the quantifiers rewriter (#8244)
2022-03-07 Gereon KremerTry harder to show that a RAN is rational (#8230)
2022-03-06 Andres NoetzliDisallow models with `--arrays-weak-equiv` (#8217)
2022-03-05 Andrew ReynoldsMake seq.unit robust wrt subtyping (#8209)
2022-03-05 Gereon KremerAdd regressions for fixed issue (#8237)
2022-03-05 Andrew ReynoldsEnable NL tangent planes by default (#8233)
2022-03-04 Gereon KremerRemove spurious assertion in linear solver (#8231)
2022-03-04 Gereon KremerGuard recursion into terms during substitution in arith...
2022-03-04 Andrew ReynoldsFix rewrite rule synthesis for 0-ary operators (#8221)
2022-03-04 Andrew ReynoldsLogic exception when using solution filtering for non...
2022-03-04 Andrew ReynoldsAdd regressions for fixed projects issues (#8228)
2022-03-04 Andrew ReynoldsAdd support for get learned literals in the API (#8099)
2022-03-03 Andrew ReynoldsThrow logic exception if a transcendental function...
2022-03-03 Andrew ReynoldsAdd regression for fixed issue (#8213)
2022-03-03 Gereon KremerFix rewriting of mixed-integer atoms (#8214)
2022-03-02 Andrew ReynoldsFix issue with dropping non-reduced sine terms (#8211)
2022-03-02 Andrew ReynoldsFix models involving cardinality of sets of finite...
2022-03-02 Andrew ReynoldsAlways purify universe from set minus (#8201)
2022-03-02 Andrew ReynoldsFix incorrect assertion in prop engine proofs (#8204)
2022-03-02 Andrew ReynoldsClean usage of options in regressions (#8190)
2022-03-02 Andrew ReynoldsImprove error message when not using strings-exp (...
2022-03-02 Andrew ReynoldsAdd regressions for fixed issues (#8202)
2022-03-02 Gereon KremerPrune spurious roots in lazard evaluation of coverings...
2022-03-01 Andrew ReynoldsFix issue involving dropped purification lemmas for...
2022-03-01 Andrew ReynoldsDisable regression (#8191)
2022-03-01 Andres Noetzli[BV] Fix rewriter policy for `bvneg` (#8196)
2022-03-01 Gereon KremerRename cad to coverings (#8187)
2022-02-28 Andres Noetzli[Seq/Model] Do not enumerate elements of constants...
2022-02-28 Andrew ReynoldsFix special casing for PI in model value (#8189)
2022-02-28 Andrew ReynoldsPreserve model values for exact sine points (#8188)
2022-02-28 Andrew ReynoldsTrack names for witness terms in model (#8184)
next