| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-06-03 | fix stuff in src/ | Aditya Naik | |
| build is failing with a compile error in 3.3.3 due to something in Aggregate.scala. reduce to smallest form and file a bug report maybe? | |||
| 2022-01-10 | Apply scalafmt | Jack Koenig | |
| Command: sbt scalafmtAll | |||
| 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 | |
