| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Format with brittany | Yann Herklotz | 2019-05-13 | 1 | -7/+9 |
| | | |||||
| * | Add more dependencies to build Yosys on EC2 | Yann Herklotz | 2019-05-12 | 1 | -2/+2 |
| | | |||||
| * | Add working statement reduction | Yann Herklotz | 2019-05-12 | 1 | -0/+85 |
| | | |||||
| * | Implement module item reduction properly | Yann Herklotz | 2019-05-11 | 1 | -6/+6 |
| | | |||||
| * | Fix warnings for CI | Yann Herklotz | 2019-05-11 | 1 | -2/+1 |
| | | |||||
| * | Add new reduction techniques | Yann Herklotz | 2019-05-11 | 1 | -32/+139 |
| | | |||||
| * | Add parser and reducer tests | Yann Herklotz | 2019-05-09 | 1 | -0/+50 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |