| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-02-01 | Deprecate ToWorkingIR (#2028) | Schuyler Eldridge |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley |
| 2020-08-14 | All of src/ formatted with scalafmt | chick |
| 2020-06-23 | Basic model checking API (#1653) | Tom Alcorn |
| 2020-06-22 | Convert PreservesAll to explicit invalidates=false | Schuyler Eldridge |
| 2020-04-22 | s/dependents/optionalPrerequisiteOf/ | Schuyler Eldridge |
| 2020-04-22 | Mixin DependencyAPIMigration to all Transforms | Schuyler Eldridge |
| 2020-04-13 | Split Checks into separate files | Albert Magyar |
