projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add regression for fixed issue (#8213)
[cvc5.git] / test /
2022-03-03 Andrew ReynoldsAdd regression for fixed issue (#8213) tree | commitdiff
2022-03-03 Gereon KremerFix rewriting of mixed-integer atoms (#8214) tree | commitdiff
2022-03-02 Andrew ReynoldsFix issue with dropping non-reduced sine terms (#8211) tree | commitdiff
2022-03-02 Andrew ReynoldsFix models involving cardinality of sets of finite... tree | commitdiff
2022-03-02 Andrew ReynoldsAlways purify universe from set minus (#8201) tree | commitdiff
2022-03-02 Andrew ReynoldsEliminate CDHashMap::insertAtContextLevelZero (#8173) tree | commitdiff
2022-03-02 Andrew ReynoldsFix incorrect assertion in prop engine proofs (#8204) tree | commitdiff
2022-03-02 Andrew ReynoldsClean usage of options in regressions (#8190) tree | commitdiff
2022-03-02 Andrew ReynoldsImprove error message when not using strings-exp (... tree | commitdiff
2022-03-02 Andrew ReynoldsMake blockModelValues robust to non-closed enumerable... tree | commitdiff
2022-03-02 Andrew ReynoldsAdd regressions for fixed issues (#8202) tree | commitdiff
2022-03-02 Gereon KremerPrune spurious roots in lazard evaluation of coverings... tree | commitdiff
2022-03-01 Andrew ReynoldsFix issue involving dropped purification lemmas for... tree | commitdiff
2022-03-01 Andrew ReynoldsDisable regression (#8191) tree | commitdiff
2022-03-01 Andres Noetzli[BV] Fix rewriter policy for `bvneg` (#8196) tree | commitdiff
2022-03-01 Gereon KremerRename cad to coverings (#8187) tree | commitdiff
2022-02-28 Andres Noetzli[Seq/Model] Do not enumerate elements of constants... tree | commitdiff
2022-02-28 Andrew ReynoldsFix special casing for PI in model value (#8189) tree | commitdiff
2022-02-28 Andrew ReynoldsPreserve model values for exact sine points (#8188) tree | commitdiff
2022-02-28 Andrew ReynoldsTrack names for witness terms in model (#8184) tree | commitdiff
2022-02-28 Andrew ReynoldsAdd two reduction schemas for sin terms (#8171) tree | commitdiff
2022-02-28 Andres NoetzliRemove broken/unused `--mmap` option (#8178) tree | commitdiff
2022-02-25 Andrew ReynoldsConsider PI to be a model value (#8176) tree | commitdiff
2022-02-25 Andrew ReynoldsFix non-termination in quantifiers rewriter (#8165) tree | commitdiff
2022-02-25 Andrew ReynoldsSimplify and fix how purified terms are managed in... tree | commitdiff
2022-02-25 Andrew ReynoldsFix dropped bounds on PI (#8164) tree | commitdiff
2022-02-25 Andrew ReynoldsRemove approximations infrastructure from model (#8166) tree | commitdiff
2022-02-25 Andrew ReynoldsRemove spurious assertion involving constants for argum... tree | commitdiff
2022-02-25 Andrew ReynoldsMake quantifiers terminate if it detects a (duplicate... tree | commitdiff
2022-02-25 Andrew ReynoldsAdd regression for fixed transcendental regression... tree | commitdiff
2022-02-25 Andrew ReynoldsConsolidate extended rewrite preprocessing modes (... tree | commitdiff
2022-02-25 Andres Noetzli[Python API] Add support for blocking models (#8134) tree | commitdiff
2022-02-24 Andrew ReynoldsEnsure variables are constrained in model when equal... tree | commitdiff
2022-02-24 Andrew ReynoldsMake model builder robust to multiple value-like terms... tree | commitdiff
2022-02-24 Andrew ReynoldsMake sine solver sound with respect to region boundarie... tree | commitdiff
2022-02-24 Andrew ReynoldsCheck for free variables in several SolverEngine calls... tree | commitdiff
2022-02-24 Andrew ReynoldsMake uninterpreted sort owner non-static (#8144) tree | commitdiff
2022-02-24 Andrew ReynoldsAdd regression for some fixed array issues (#8145) tree | commitdiff
2022-02-23 Gereon KremerAdd two regressions related to RAN models (#8142) tree | commitdiff
2022-02-23 Andrew ReynoldsAllow elimination of unevaluated terms by default ... tree | commitdiff
2022-02-23 Andrew ReynoldsFurther relax what is considered a value in the model... tree | commitdiff
2022-02-23 Andrew ReynoldsDo not insist that entries for UF are constant in FMF... tree | commitdiff
2022-02-23 Gereon KremerRemove long obsolete unsafe interrupt exception (#8139) tree | commitdiff
2022-02-23 Andrew ReynoldsOption exception when incompatible with proofs (#8064) tree | commitdiff
2022-02-23 Gereon KremerFix icp candidate parsing (#8137) tree | commitdiff
2022-02-23 Andrew ReynoldsProperly sanatize user names in LFSC (#8080) tree | commitdiff
2022-02-23 Gereon KremerFix pruning of covering intervals in proofs (#8084) tree | commitdiff
2022-02-23 Andrew ReynoldsFix issue in datatypes care graph computation involving... tree | commitdiff
2022-02-22 Andrew ReynoldsRelax what is generated in the model from NL (#8113) tree | commitdiff
2022-02-18 Andrew ReynoldsAdd unit test for fixed issue with get-difficulty ... tree | commitdiff
2022-02-18 Andrew ReynoldsThrow option exceptions when combining input conversion... tree | commitdiff
2022-02-18 Andrew ReynoldsAdd well formed term check to solver engine (#8056) tree | commitdiff
2022-02-18 Andrew ReynoldsMake spurious assertion into warning (#8051) tree | commitdiff
2022-02-17 Andrew ReynoldsMissing ids for arith conflicts (#8108) tree | commitdiff
2022-02-16 Andrew ReynoldsOnly consider relevant terms in the array-inspired... tree | commitdiff
2022-02-15 Abdalrhman MohamedSupport `try` and `all` reconstruction modes. (#8098) tree | commitdiff
2022-02-11 Andrew ReynoldsFix for lambda-to-array constant conversion for unused... tree | commitdiff
2022-02-11 Andres NoetzliFix type check of `seq.nth` (#8093) tree | commitdiff
2022-02-10 Andrew ReynoldsUse witness terms to represent values for large strings... tree | commitdiff
2022-02-09 Andres NoetzliFix handling of `LogicException` during solving (#8000) tree | commitdiff
2022-02-09 Andres Noetzli[Seq] Fix rewrite of `(seq.nth s n)` for large `n`... tree | commitdiff
2022-02-08 Andrew ReynoldsDistinguish proof mode from unsat core mode (#8062) tree | commitdiff
2022-02-08 Andrew ReynoldsAlways produce assertions (#8041) tree | commitdiff
2022-02-07 Andrew ReynoldsGeneralize LFSC concat unify for splitting constants... tree | commitdiff
2022-02-07 Andrew ReynoldsFix unsoundness in IAND solver (#8053) tree | commitdiff
2022-02-07 Gereon KremerAllow non-value model values (#8076) tree | commitdiff
2022-02-07 Gereon KremerImprove combination of NRA and transcendentals (#8075) tree | commitdiff
2022-02-07 Andres Noetzli[BV] Fix response of `RewriteConcat` (#8074) tree | commitdiff
2022-02-07 Andrew ReynoldsFix indexof_re reduction (#8065) tree | commitdiff
2022-02-06 Andres Noetzli[Seq] Check types for split on indices (#8066) tree | commitdiff
2022-02-05 Andrew ReynoldsFix another rewrite involving iand (#8054) tree | commitdiff
2022-02-04 Andres Noetzli[Rewriter] Always rewrite again when kind changes ... tree | commitdiff
2022-02-04 Aina NiemetzFP: Rename tester kinds. (#8037) tree | commitdiff
2022-02-03 Andrew ReynoldsSimplify handling of disequalities in strings (#8047) tree | commitdiff
2022-02-03 Gereon KremerImprove theory combination over real algebraic models... tree | commitdiff
2022-02-03 Andrew ReynoldsTest proof granularity theory-rewrite by default (... tree | commitdiff
2022-02-03 mudathirmahgoubAdd table.product operator (#8020) tree | commitdiff
2022-02-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) tree | commitdiff
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... tree | commitdiff
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... tree | commitdiff
2022-02-02 Andrew ReynoldsFix rewrite for eliminating constant factors of PI... tree | commitdiff
2022-02-02 Aina NiemetzRename kinds MINUS -> SUB and UMINUS -> NEG. (#8035) tree | commitdiff
2022-02-02 Andrew ReynoldsFix invalid rewrite involving iand (#8026) tree | commitdiff
2022-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... tree | commitdiff
2022-02-02 Andrew ReynoldsFix printing of re.loop as an operator in LFSC (#8029) tree | commitdiff
2022-02-02 Andrew ReynoldsMake LFSC side condition for concat unify robust to... tree | commitdiff
2022-02-02 Andrew ReynoldsAdd missing null terminators for regexp (#8027) tree | commitdiff
2022-02-02 Gereon KremerAdd additional check to avoid cyclic substitution ... tree | commitdiff
2022-02-02 Andrew ReynoldsRemove more static calls to rewrite (#8025) tree | commitdiff
2022-02-02 Andrew ReynoldsExtend proof step buffer to optionally ensure unique... tree | commitdiff
2022-02-01 mudathirmahgoubAdd bag.filter operator (#8006) tree | commitdiff
2022-01-31 Gereon KremerAdd utilities for flattening nodes (#7961) tree | commitdiff
2022-01-31 Andres NoetzliFix memory leak in quantifier info (#8005) tree | commitdiff
2022-01-28 Andres Noetzli[Rewrite Synthesis] Fix args for non-chaining ops ... tree | commitdiff
2022-01-26 mudathirmahgoubAdd Card solver to bags (#7986) tree | commitdiff
2022-01-25 Andrew ReynoldsAdd output -o post-asserts (#7987) tree | commitdiff
2022-01-25 Andres NoetzliSend `nth(unit(...), ...)` terms to array solver (... tree | commitdiff
2022-01-25 Andres Noetzli[Strings] Avoid trivial explanation (#7982) tree | commitdiff
2022-01-24 Gereon KremerDisable regression if poly is not available (#7981) tree | commitdiff
2022-01-24 Gereon KremerUse proper RAN nodes for nl model (#7939) tree | commitdiff
next