| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-03-03 | Fix ProtoBuf conversions for Verification IR (#2100) | Deborah Soung |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley |
| 2020-08-14 | All of src/ formatted with scalafmt | chick |
| 2020-07-15 | ir: store FileInfo string in escaped format (#1690) | Kevin Laeufer |
| 2020-06-23 | Add support for ValidIf to ProtoBuf [de]serialization | Jack Koenig |
| 2020-03-17 | [RFC] Factor out common test classes; package them (#1412) | David Biancolin |
| 2019-09-30 | Improve read-under-write parameter support | Albert Magyar |
| 2019-08-13 | Infer reset (#1068) | Jack Koenig |
| 2019-08-01 | Followup to PR #1142 | chick |
| 2019-08-01 | Followup to PR #1142 | chick |
| 2019-04-22 | Change Memory Depth to a BigInt (#1075) | Jack Koenig |
| 2019-02-14 | Asynchronous Reset (#1011) | Jack Koenig |
| 2018-11-29 | Replace Mappers with Foreachers in several passes (#954) | Albert Magyar |
| 2018-06-28 | Protobuf (#832) | Jack Koenig |
