| 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 | Basic model checking API (#1653) | Tom Alcorn |
| 2020-06-23 | Add support for ValidIf to ProtoBuf [de]serialization | Jack Koenig |
| 2020-05-26 | [API change] Absorb repetitive WIR nodes into IR | Albert Magyar |
| 2019-10-18 | Upstream intervals (#870) | Adam Izraelevitz |
| 2019-09-30 | Improve read-under-write parameter support | Albert Magyar |
| 2019-08-13 | Infer reset (#1068) | Jack Koenig |
| 2019-06-18 | Use scalafix to remove unused import and deprecated procedure syntax (#1074) | Leway Colin |
| 2019-04-22 | Change Memory Depth to a BigInt (#1075) | Jack Koenig |
| 2019-02-14 | Asynchronous Reset (#1011) | Jack Koenig |
| 2018-06-28 | Protobuf (#832) | Jack Koenig |
