| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-09-23 | transforms.formal: ensure named statements as output (#2367) | Kevin Laeufer | |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley | |
| 2020-08-14 | All of src/ formatted with scalafmt | chick | |
| 2020-06-26 | Add test for ConvertAsserts | Albert Magyar | |
| * Add testcase for empty message | |||
