Age | Commit message (Expand) | Author |
---|---|---|
2021-03-03 | More cleanup of includes to reduce compilation times (#6037) | Gereon Kremer |
2021-02-22 | (proof-new) Change proof-new option to proof (#5955) | Andrew Reynolds |
2020-12-07 | (proof-new) Split proof ensure closed checks to own file (#5522) | Andrew Reynolds |