Age | Commit message (Expand) | Author |
---|---|---|
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 |