aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala
AgeCommit message (Expand)Author
2021-09-23transforms.formal: ensure named statements as output (#2367)Kevin Laeufer
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-08-14All of src/ formatted with scalafmtchick
2020-06-26Add ConvertAsserts transform to map asserts to Verilog-friendly nodesAlbert Magyar