aboutsummaryrefslogtreecommitdiff
path: root/regress
AgeCommit message (Collapse)Author
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-03-04Incorporate new AddNot formal regression testAlbert Magyar
* Feedback from @jackkoening * Merge into same stage as Ops to avoid Travis delays
2020-02-13Add Ops equiv check to stress degenerate binary op ConstPropAlbert Magyar
* Send in the Yosys
2019-03-29Faster reg constprop (#1067)Albert Magyar
* Improve memoization for register const prop
2018-02-21Change primop arg type (#587)Adam Izraelevitz
* Changed primops to not accept mixed-type args * Changed return type of sub of two uints to uint * Added negative tests * Removed rocket.fir. Manually changed RocketCore to not mix mul arg types. Added integration tests * Clarified test description and remove println * Fixed use of throwInternalError
2017-12-12Refactor formal equivalence CI testJack Koenig
Make the check script allow different designs Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI equivalence check
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 ↵Jack
compares to expected Verilog. Uses ScalaTest. Should be eventually replaced with actual simulation of rocket-chip
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