Age | Commit message (Expand) | Author |
---|---|---|
2020-06-06 | Keep definitions when global-declarations enabled (#4572) | Andres Noetzli |
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2020-03-27 | Fix issues with unsat cores and reset-assertions (#4159) | Andres Noetzli |
2020-03-16 | Create master equality engine at context level 0 (#4081) | Andres Noetzli |
2020-03-12 | New C++ API: Remove support for (reset). (#4037) | Aina Niemetz |
2020-03-11 | reset-assertions: Update TheoryEngine's PropEngine* (#4032) | Andres Noetzli |
2020-03-10 | Fix issue with reset-assertions. (#3988) | Aina Niemetz |
2020-03-06 | Remove tester name from APIs (#3929) | Andrew Reynolds |
2019-11-13 | Allow (set-logic ...) after (reset) (#3457) | Andres Noetzli |
2019-10-27 | Fix global-declarations support (#3403) | Andres Noetzli |
2019-06-04 | Add check that result matches benchmark status (#3028) | Andres Noetzli |
2018-10-22 | Recover from wrong use of get-info :reason-unknown (#2667) | Andres Noetzli |
2018-08-13 | Fix get-unsat-assumptions output (#2301) | Andres Noetzli |