aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/formal
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-08-07ExpandWhens: VerificationStatements should be part of the simlist (#1829)Kevin Laeufer
2020-07-08ir: add faster serializer (#1694)Kevin Laeufer
2020-07-07verification: emit mesage as Verilog comment (#1712)Kevin Laeufer
2020-06-26Add test for ConvertAssertsAlbert Magyar
2020-06-23Basic model checking API (#1653)Tom Alcorn