Age | Commit message (Expand) | Author |
---|---|---|
2021-08-26 | Consolidate language types (#7065) | Gereon Kremer |
2021-07-30 | Allow changing certain options while solving (#6945) | Gereon Kremer |
2021-07-14 | Clean up option usage in command executor (#6844) | Gereon Kremer |
2021-06-09 | Require statistics for regression (#6714) | Gereon Kremer |
2021-06-08 | Fix statistics option handler (#6703) | Gereon Kremer |
2021-04-13 | Fix sexpr bug with AST output language. (#6329) | Abdalrhman Mohamed |
2021-03-18 | Eliminate more uses of SExpr. (#6149) | Abdalrhman Mohamed |
2020-09-01 | Removes old proof code (#4964) | Haniel Barbosa |
2019-10-08 | Disallow --proof and --incremental (#3332) | Andres Noetzli |
2018-10-20 | Disable dumping test for non-dumping builds (#2662) | Andres Noetzli |
2018-10-18 | Add OptionException handling during initialization (#2466) | Andres Noetzli |