projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify reductions for set and bag choose (#8304)
[cvc5.git] / test / regress / CMakeLists.txt
2022-03-15 Andrew ReynoldsSimplify reductions for set and bag choose (#8304) blob | commitdiff | raw
2022-03-14 Andrew ReynoldsFixes for skolem definition management (#8301) blob | commitdiff | raw | diff to current
2022-03-14 Andrew ReynoldsAdd rewrite for allchar beneath union + star (#8299) blob | commitdiff | raw | diff to current
2022-03-14 Andrew ReynoldsRun preprocess rewrite on equalities until fixed point... blob | commitdiff | raw | diff to current
2022-03-12 Andrew ReynoldsIntroduce new splitting inference in sets + cardinality... blob | commitdiff | raw | diff to current
2022-03-11 Andrew ReynoldsConsider APPLY_CONSTRUCTOR applied to values to be... blob | commitdiff | raw | diff to current
2022-03-11 Andrew ReynoldsFix reduction for arc trig functions (#8289) blob | commitdiff | raw | diff to current
2022-03-10 Andrew ReynoldsFix theoryOf call in get equality status (#8279) blob | commitdiff | raw | diff to current
2022-03-10 mudathirmahgoubFix cvc5-projects issue 475 (#8278) blob | commitdiff | raw | diff to current
2022-03-10 Andrew ReynoldsAdd output -o pre-asserts (#8270) blob | commitdiff | raw | diff to current
2022-03-10 Andrew ReynoldsDisable timing out regressions (#8273) blob | commitdiff | raw | diff to current
2022-03-09 Gereon KremerClear obsolete pending lemmas in arithmetic (#8236) blob | commitdiff | raw | diff to current
2022-03-09 Andrew ReynoldsAdd regression for fixed issue 6700 (#8265) blob | commitdiff | raw | diff to current
2022-03-08 Andrew ReynoldsDo not expand APPLY_SELECTOR (#8174) blob | commitdiff | raw | diff to current
2022-03-08 Andrew ReynoldsGuard another case of non-termination in quantifiers... blob | commitdiff | raw | diff to current
2022-03-08 Andrew ReynoldsEliminate shadowing in the quantifiers rewriter (#8244) blob | commitdiff | raw | diff to current
2022-03-07 Gereon KremerTry harder to show that a RAN is rational (#8230) blob | commitdiff | raw | diff to current
2022-03-06 Andres NoetzliDisallow models with `--arrays-weak-equiv` (#8217) blob | commitdiff | raw | diff to current
2022-03-05 Andrew ReynoldsMake seq.unit robust wrt subtyping (#8209) blob | commitdiff | raw | diff to current
2022-03-05 Gereon KremerAdd regressions for fixed issue (#8237) blob | commitdiff | raw | diff to current
2022-03-05 Andrew ReynoldsEnable NL tangent planes by default (#8233) blob | commitdiff | raw | diff to current
2022-03-04 Gereon KremerRemove spurious assertion in linear solver (#8231) blob | commitdiff | raw | diff to current
2022-03-04 Gereon KremerGuard recursion into terms during substitution in arith... blob | commitdiff | raw | diff to current
2022-03-04 Andrew ReynoldsFix rewrite rule synthesis for 0-ary operators (#8221) blob | commitdiff | raw | diff to current
2022-03-04 Andrew ReynoldsLogic exception when using solution filtering for non... blob | commitdiff | raw | diff to current
2022-03-04 Andrew ReynoldsAdd regressions for fixed projects issues (#8228) blob | commitdiff | raw | diff to current
2022-03-04 Andrew ReynoldsAdd support for get learned literals in the API (#8099) blob | commitdiff | raw | diff to current
2022-03-03 Andrew ReynoldsThrow logic exception if a transcendental function... blob | commitdiff | raw | diff to current
2022-03-03 Andrew ReynoldsAdd regression for fixed issue (#8213) blob | commitdiff | raw | diff to current
2022-03-03 Gereon KremerFix rewriting of mixed-integer atoms (#8214) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsFix issue with dropping non-reduced sine terms (#8211) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsFix models involving cardinality of sets of finite... blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsAlways purify universe from set minus (#8201) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsFix incorrect assertion in prop engine proofs (#8204) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsClean usage of options in regressions (#8190) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsImprove error message when not using strings-exp (... blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsAdd regressions for fixed issues (#8202) blob | commitdiff | raw | diff to current
2022-03-02 Gereon KremerPrune spurious roots in lazard evaluation of coverings... blob | commitdiff | raw | diff to current
2022-03-01 Andrew ReynoldsFix issue involving dropped purification lemmas for... blob | commitdiff | raw | diff to current
2022-03-01 Andrew ReynoldsDisable regression (#8191) blob | commitdiff | raw | diff to current
2022-03-01 Andres Noetzli[BV] Fix rewriter policy for `bvneg` (#8196) blob | commitdiff | raw | diff to current
2022-02-28 Andres Noetzli[Seq/Model] Do not enumerate elements of constants... blob | commitdiff | raw | diff to current
2022-02-28 Andrew ReynoldsFix special casing for PI in model value (#8189) blob | commitdiff | raw | diff to current
2022-02-28 Andrew ReynoldsPreserve model values for exact sine points (#8188) blob | commitdiff | raw | diff to current
2022-02-28 Andrew ReynoldsTrack names for witness terms in model (#8184) blob | commitdiff | raw | diff to current
2022-02-28 Andrew ReynoldsAdd two reduction schemas for sin terms (#8171) blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsConsider PI to be a model value (#8176) blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsFix non-termination in quantifiers rewriter (#8165) blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsSimplify and fix how purified terms are managed in... blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsFix dropped bounds on PI (#8164) blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsRemove spurious assertion involving constants for argum... blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsMake quantifiers terminate if it detects a (duplicate... blob | commitdiff | raw | diff to current
2022-02-25 Andrew ReynoldsAdd regression for fixed transcendental regression... blob | commitdiff | raw | diff to current
2022-02-24 Andrew ReynoldsEnsure variables are constrained in model when equal... blob | commitdiff | raw | diff to current
2022-02-24 Andrew ReynoldsMake model builder robust to multiple value-like terms... blob | commitdiff | raw | diff to current
2022-02-24 Andrew ReynoldsMake sine solver sound with respect to region boundarie... blob | commitdiff | raw | diff to current
2022-02-24 Andrew ReynoldsMake uninterpreted sort owner non-static (#8144) blob | commitdiff | raw | diff to current
2022-02-24 Andrew ReynoldsAdd regression for some fixed array issues (#8145) blob | commitdiff | raw | diff to current
2022-02-23 Gereon KremerAdd two regressions related to RAN models (#8142) blob | commitdiff | raw | diff to current
2022-02-23 Andrew ReynoldsAllow elimination of unevaluated terms by default ... blob | commitdiff | raw | diff to current
2022-02-23 Andrew ReynoldsFurther relax what is considered a value in the model... blob | commitdiff | raw | diff to current
2022-02-23 Andrew ReynoldsDo not insist that entries for UF are constant in FMF... blob | commitdiff | raw | diff to current
2022-02-23 Gereon KremerFix icp candidate parsing (#8137) blob | commitdiff | raw | diff to current
2022-02-23 Andrew ReynoldsFix issue in datatypes care graph computation involving... blob | commitdiff | raw | diff to current
2022-02-18 Andrew ReynoldsMake spurious assertion into warning (#8051) blob | commitdiff | raw | diff to current
2022-02-17 Andrew ReynoldsMissing ids for arith conflicts (#8108) blob | commitdiff | raw | diff to current
2022-02-16 Andrew ReynoldsOnly consider relevant terms in the array-inspired... blob | commitdiff | raw | diff to current
2022-02-15 Abdalrhman MohamedSupport `try` and `all` reconstruction modes. (#8098) blob | commitdiff | raw | diff to current
2022-02-11 Andrew ReynoldsFix for lambda-to-array constant conversion for unused... blob | commitdiff | raw | diff to current
2022-02-11 Andres NoetzliFix type check of `seq.nth` (#8093) blob | commitdiff | raw | diff to current
2022-02-09 Andres NoetzliFix handling of `LogicException` during solving (#8000) blob | commitdiff | raw | diff to current
2022-02-08 Andrew ReynoldsDistinguish proof mode from unsat core mode (#8062) blob | commitdiff | raw | diff to current
2022-02-07 Andrew ReynoldsGeneralize LFSC concat unify for splitting constants... blob | commitdiff | raw | diff to current
2022-02-07 Andrew ReynoldsFix unsoundness in IAND solver (#8053) blob | commitdiff | raw | diff to current
2022-02-07 Gereon KremerAllow non-value model values (#8076) blob | commitdiff | raw | diff to current
2022-02-07 Gereon KremerImprove combination of NRA and transcendentals (#8075) blob | commitdiff | raw | diff to current
2022-02-07 Andrew ReynoldsFix indexof_re reduction (#8065) blob | commitdiff | raw | diff to current
2022-02-06 Andres Noetzli[Seq] Check types for split on indices (#8066) blob | commitdiff | raw | diff to current
2022-02-05 Andrew ReynoldsFix another rewrite involving iand (#8054) blob | commitdiff | raw | diff to current
2022-02-04 Andres Noetzli[Rewriter] Always rewrite again when kind changes ... blob | commitdiff | raw | diff to current
2022-02-03 Andrew ReynoldsSimplify handling of disequalities in strings (#8047) blob | commitdiff | raw | diff to current
2022-02-03 Gereon KremerImprove theory combination over real algebraic models... blob | commitdiff | raw | diff to current
2022-02-03 mudathirmahgoubAdd table.product operator (#8020) blob | commitdiff | raw | diff to current
2022-02-02 Andrew ReynoldsFix invalid rewrite involving iand (#8026) blob | commitdiff | raw | diff to current
2022-02-02 Andrew ReynoldsFix printing of re.loop as an operator in LFSC (#8029) blob | commitdiff | raw | diff to current
2022-02-02 Andrew ReynoldsMake LFSC side condition for concat unify robust to... blob | commitdiff | raw | diff to current
2022-02-02 Andrew ReynoldsAdd missing null terminators for regexp (#8027) blob | commitdiff | raw | diff to current
2022-02-02 Gereon KremerAdd additional check to avoid cyclic substitution ... blob | commitdiff | raw | diff to current
2022-02-02 Andrew ReynoldsExtend proof step buffer to optionally ensure unique... blob | commitdiff | raw | diff to current
2022-02-01 mudathirmahgoubAdd bag.filter operator (#8006) blob | commitdiff | raw | diff to current
2022-01-31 Andres NoetzliFix memory leak in quantifier info (#8005) blob | commitdiff | raw | diff to current
2022-01-26 mudathirmahgoubAdd Card solver to bags (#7986) blob | commitdiff | raw | diff to current
2022-01-25 Andrew ReynoldsAdd output -o post-asserts (#7987) blob | commitdiff | raw | diff to current
2022-01-25 Andres NoetzliSend `nth(unit(...), ...)` terms to array solver (... blob | commitdiff | raw | diff to current
2022-01-25 Andres Noetzli[Strings] Avoid trivial explanation (#7982) blob | commitdiff | raw | diff to current
2022-01-20 Andres NoetzliFix `Nth-Update` rule, add `Update-Bound` rule (#7968) blob | commitdiff | raw | diff to current
2022-01-20 Andrew ReynoldsFix proofs for trivial cases of datatypes tester merge... blob | commitdiff | raw | diff to current
2022-01-19 Gereon KremerFix a subtle issue with double negations in coverings... blob | commitdiff | raw | diff to current
2022-01-18 Andres Noetzli[API] Add missing arity check (#7905) blob | commitdiff | raw | diff to current
2022-01-17 Andres Noetzli[Strings] Fix rewriter for `re.loop` (#7956) blob | commitdiff | raw | diff to current
next