summaryrefslogtreecommitdiff
path: root/test/regress/regress1/bv
AgeCommit message (Expand)Author
2021-06-11Remove support for lazy BV extended function reductions and inferences (#6728)Andrew Reynolds
2021-06-10Ensure bv2nat and int2bv are not rewritten when using solve-bv-as-int (#6725)Andrew Reynolds
2021-06-04bv: Enable bitblast solver by default. (#6660)Mathias Preiner
2021-06-02Remove redundant logic ALL_SUPPORTED. (#6664)Aina Niemetz
2021-05-21Fix tests of unsat cores (#6593)Andrew Reynolds
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2021-02-25Move slow regressions to regress1 (#5999)Andrew Reynolds
2021-02-02(proof-new) Miscellaneous fixes and regressions (#5841)Andrew Reynolds
2020-12-10Refactor regressions (#5639)Andrew Reynolds
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-05-22Refactor operator elimination in arithmetic (#4519)Andrew Reynolds
2020-02-26Fix regression (#3827)Andrew Reynolds
2020-02-26Fix node arity issue in reduction of int2bv (#3777)Andrew Reynolds
2020-02-12Ensure ext rewrites for associative ops dont throw assertions for kind aritie...Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2018-12-06Enable BV proofs when using an eager bitblaster (#2733)Alex Ozdemir
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-01Fix issues with bv2nat (#2219)Andrew Reynolds
2018-07-21Remove --no-check-proofs and --no-check-unsat-cores from a satisfiable test (...yoni206
2018-05-08Refactor bv-abstraction preprocessing pass. (#1860)Mathias Preiner
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback