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