| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-06-03 | fix stuff in src/ | Aditya Naik |
| 2024-05-03 | Get cleanup to compile | Aditya Naik |
| 2022-03-08 | Add scanLeftOr and scanRightOr utilies (#2407) (#2437) | mergify[bot] |
| 2022-01-10 | Apply scalafmt | Jack Koenig |
| 2021-12-08 | Implement DataViews for Seq and Tuple (#2277) | Jack Koenig |
| 2021-09-23 | verification: fix off by one error in deprecation message (#2135) | Kevin Laeufer |
| 2021-09-23 | make all verification statements publically available (#2089) | Kevin Laeufer |
