| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-09-08 | Multi protobuf module emission and consumption (#2344) | Jared Barocsi |
| 2021-03-03 | Fix ProtoBuf conversions for Verification IR (#2100) | Deborah Soung |
| 2021-01-20 | Cleanup some warnings (#2032) | Jack Koenig |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley |
| 2020-08-14 | All of src/ formatted with scalafmt | chick |
| 2020-07-29 | [2.13] use scala.collection.Seq instead of mutable.Seq | Kevin Laeufer |
| 2020-07-29 | [2.13] convert toSeq and toMap where necessary to compile | Kevin Laeufer |
| 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 |
| 2019-09-30 | Improve read-under-write parameter support | Albert Magyar |
| 2019-08-13 | Infer reset (#1068) | Jack Koenig |
| 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 |
