| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-04-19 | verification: switch order of assert/assume and printf (#2484) (#2493) | mergify[bot] |
| 2022-01-10 | Apply scalafmt | Jack Koenig |
| 2021-09-23 | make all verification statements publically available (#2089) | Kevin Laeufer |
