summaryrefslogtreecommitdiff
path: root/test/regress/regress0/smtlib
AgeCommit message (Expand)Author
2021-11-06Print `unsupported` for unrecognized flags. (#7384)Abdalrhman Mohamed
2021-10-28Add a `define-fun` command for each `:named` term. (#7308)Abdalrhman Mohamed
2020-10-08reset-assertions: Remove all non-global symbols in the parser (#5229)Andres Noetzli
2020-10-05Recover from some exceptions. (#5203)Abdalrhman Mohamed
2020-09-22Refactor Commands to use the Public API. (#5105)Abdalrhman Mohamed
2020-08-19Fix SmtEngine::reset() (#4917)Gereon Kremer
2020-06-18Add logic check for define-fun(s)-rec (#4577)Andres Noetzli
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-27Fix issues with unsat cores and reset-assertions (#4159)Andres Noetzli
2020-03-16Create master equality engine at context level 0 (#4081)Andres Noetzli
2020-03-12New C++ API: Remove support for (reset). (#4037)Aina Niemetz
2020-03-11reset-assertions: Update TheoryEngine's PropEngine* (#4032)Andres Noetzli
2020-03-10Fix issue with reset-assertions. (#3988)Aina Niemetz
2020-03-06Remove tester name from APIs (#3929)Andrew Reynolds
2019-11-13Allow (set-logic ...) after (reset) (#3457)Andres Noetzli
2019-10-27Fix global-declarations support (#3403)Andres Noetzli
2019-06-04Add check that result matches benchmark status (#3028)Andres Noetzli
2018-10-22Recover from wrong use of get-info :reason-unknown (#2667)Andres Noetzli
2018-08-13Fix get-unsat-assumptions output (#2301)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback