summaryrefslogtreecommitdiff
path: root/test/regress/regress1
AgeCommit message (Expand)Author
2021-11-11Add lazy approach for handling lambdas in the HO extension (#7625)Andrew Reynolds
2021-11-10Fix soundness issue of missing premises for count bag lemmas (#7615)mudathirmahgoub
2021-11-10sets: Rename set.intersection to set.inter. (#7622)Aina Niemetz
2021-11-09[proofs] Generalize trivial cycle detection in LazyCDProofChain (#7619)Haniel Barbosa
2021-11-08expand bag.choose operator (#7481)mudathirmahgoub
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2021-11-06Print `unsupported` for unrecognized flags. (#7384)Abdalrhman Mohamed
2021-11-06Do not use extended rewrites on recursive function definitions (#7549)Andrew Reynolds
2021-11-05Fix exclusion criteria for codatatype model values (#7546)Andrew Reynolds
2021-11-05Eliminate a level of nesting of traversals in theory preprocessing (#7345)Andrew Reynolds
2021-11-05Remove quadratic solving in NlModel (#7542)Gereon Kremer
2021-11-04Improve defaults for sygus default grammars (#7553)Andrew Reynolds
2021-11-04Enable CDCAC solver for selected quantified logics (#7571)Gereon Kremer
2021-11-03Formalize more string skolems (#7554)Andrew Reynolds
2021-11-02Improve syntax for fmf cardinality constraints (#7556)Andrew Reynolds
2021-11-02Make quant elimination robust to presence of other quantified formulas (#7551)Andrew Reynolds
2021-11-01Weaken assertion in CEGQI (#7548)Andrew Reynolds
2021-11-01bv: Remove layered solver. (#7455)Mathias Preiner
2021-11-01Fix upwards closure for relations (#7515)Andrew Reynolds
2021-10-31Fix soundess issue for bags with negative multiplicity (#7539)mudathirmahgoub
2021-10-31Remove assertSkeleton for bag elements during model building (#7538)mudathirmahgoub
2021-10-28Fix `(set-info <sexpr>)` parsing and printing bugs. (#7427)Abdalrhman Mohamed
2021-10-27Fix care graph computation for higher-order (#7474)Andrew Reynolds
2021-10-27Avoid non-terminating check with assumptions in strings rewriter (#7503)Andrew Reynolds
2021-10-27Deterministic variables for RE elim (#7489)Andrew Reynolds
2021-10-26Disable automatic symmetry in proofs of theory explanations (#7493)Andrew Reynolds
2021-10-26Disable sygus-inst when incremental (#7485)Andrew Reynolds
2021-10-25Add inference for count map (#7264)mudathirmahgoub
2021-10-25Reenable proofs on some regressions (#7483)Andrew Reynolds
2021-10-24Add new eager conflict detection in strings for integer equivalence classes (...Andrew Reynolds
2021-10-22Add requires libpoly to regression (#7467)Andrew Reynolds
2021-10-22Fix out-of-sync pruning in CDCAC proofs (#7470)Gereon Kremer
2021-10-22Add more abduction regressions (#7461)Andrew Reynolds
2021-10-22Do not use global proxy variable attribute for strings (#7460)Andrew Reynolds
2021-10-21Refactor regressions script (#7249)Andres Noetzli
2021-10-21Make cardinality constraint a nullary operator (#7333)Andrew Reynolds
2021-10-20Add regressions for fixed issues (#7421)Andrew Reynolds
2021-10-20Make SyGuS solver robust to non-closed enumerable sorts (#7417)Andrew Reynolds
2021-10-20Reimplement support for relational triggers (#7063)Andrew Reynolds
2021-10-20Do not make assumption about model for Boolean variables in FMF (#7407)Andrew Reynolds
2021-10-19Fix expected conclusion for EQ_RESOLVE when expanding MACRO_SR_PRED_TRANSFORM...Andrew Reynolds
2021-10-19Support sequences of fixed finite cardinality (#7371)Andrew Reynolds
2021-10-19Fix issue related to sanity checking integer models (#7363)Andrew Reynolds
2021-10-18Add regression for fixed issue (#7395)Andrew Reynolds
2021-10-15Add more regressions for fixed issues (#7382)Andrew Reynolds
2021-10-15Fix issues related to proofs of lemmas with duplicate conclusions in strings ...Andrew Reynolds
2021-10-14Add regressions for fixed issues (#7369)Andrew Reynolds
2021-10-14Add regression for fixed issue (#7365)Andrew Reynolds
2021-10-05Finish refactoring on option handlers (#7295)Gereon Kremer
2021-09-30Simplify the syntax and representation of the separation logic empty heap con...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback