| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add new yosys report | Yann Herklotz | 2019-11-26 | 1 | -0/+80 |
| | | |||||
| * | Icarus bug fixed | Yann Herklotz | 2019-11-16 | 1 | -1/+1 |
| | | |||||
| * | Support proper Quartus Pro version | Yann Herklotz | 2019-11-14 | 1 | -1/+1 |
| | | |||||
| * | Update bug | Yann Herklotz | 2019-11-14 | 1 | -0/+10 |
| | | |||||
| * | Add first quartus bug | Yann Herklotz | 2019-11-14 | 1 | -0/+19 |
| | | |||||
| * | Update description | Yann Herklotz | 2019-11-14 | 1 | -1/+1 |
| | | |||||
| * | Add yosys 0.9 bug | Yann Herklotz | 2019-11-14 | 1 | -0/+60 |
| | | |||||
| * | Update bug reports | Yann Herklotz | 2019-11-14 | 10 | -27/+96 |
| | | |||||
| * | Add proper reports to bugs | Yann Herklotz | 2019-11-14 | 31 | -2091/+548 |
| | | |||||
| * | Add vivado bugs | Yann Herklotz | 2019-04-12 | 5 | -0/+612 |
| | | |||||
| * | Move the analysed bugs to better file names | Yann Herklotz Grave | 2019-03-16 | 5 | -0/+2 |
| | | |||||
| * | Add last bug that was found | Yann Herklotz Grave | 2019-03-06 | 2 | -0/+210 |
| | | |||||
| * | Add more bugs | Yann Herklotz Grave | 2019-03-03 | 4 | -0/+420 |
| | | |||||
| * | Add found bugs | Yann Herklotz Grave | 2019-03-03 | 9 | -0/+847 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |