| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-06-02 | Support VerificationStatement in the naming plugin (#2555) (#2557) | mergify[bot] | |
| Previously, verification statements (assert, assume, cover, and printf) were only named via reflection. (cherry picked from commit 7fa2691f670813eef4ec59fc27c4e4f625d598de) Co-authored-by: Jack Koenig <koenig@sifive.com> | |||
| 2022-01-10 | Apply scalafmt | Jack Koenig | |
| Command: sbt scalafmtAll | |||
| 2021-09-23 | make all verification statements publically available (#2089) | Kevin Laeufer | |
