aboutsummaryrefslogtreecommitdiff
path: root/src/main/proto
AgeCommit message (Expand)Author
2021-03-03Fix ProtoBuf conversions for Verification IR (#2100)Deborah Soung
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-06-23Basic model checking API (#1653)Tom Alcorn
2019-10-18Upstream intervals (#870)Adam Izraelevitz
2019-09-30Improve read-under-write parameter supportAlbert Magyar
2019-08-13Infer reset (#1068)Jack Koenig
2019-04-22Change Memory Depth to a BigInt (#1075)Jack Koenig
2019-02-14Asynchronous Reset (#1011)Jack Koenig
2018-06-28Protobuf (#832)Jack Koenig
2018-03-19Adding the firrtl proto. (#746)Kevin Townsend