aboutsummaryrefslogtreecommitdiff
path: root/regress
AgeCommit message (Expand)Author
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-03-04Incorporate new AddNot formal regression testAlbert Magyar
2020-02-13Add Ops equiv check to stress degenerate binary op ConstPropAlbert Magyar
2019-03-29Faster reg constprop (#1067)Albert Magyar
2018-02-21Change primop arg type (#587)Adam Izraelevitz
2017-12-12Refactor formal equivalence CI testJack Koenig
2017-03-15Use newer rocket regression spec without comb loopAlbert Magyar
2016-09-14Added Rob.fir for regression testing (#258)Donggyu
2016-02-25Remove brittle rocket comparison to expected verilog test.jackkoenig
2016-02-24Make rocket-golden.v match output of #75jackkoenig
2016-02-23Add rocket regression, just runs rocket.fir through Verilog compiler and comp...Jack
2016-02-09CHIRRTL passes work, parser is updatedazidar
2016-02-09Added rocket minus chirrtl featuresazidar
2016-01-28Update rocket regressionAndrew Waterman
2016-01-23Update rocket regressionAndrew Waterman
2016-01-16WIP need to correctly output readwrite portsazidar
2015-08-26Added regression testazidar
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:03:46 +0000