| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add more scripts | Yann Herklotz | 2019-09-18 | 4 | -0/+190 |
| * | Rename main modules | Yann Herklotz | 2019-09-18 | 1 | -3/+3 |
| * | Change name from VeriFuzz to VeriSmith | Yann Herklotz | 2019-08-29 | 3 | -4/+4 |
| * | Update aws setup script | Yann Herklotz | 2019-08-07 | 1 | -2/+3 |
| * | Add exclude script | Yann Herklotz | 2019-06-06 | 1 | -0/+37 |
| * | Add selection for soup | Yann Herklotz | 2019-06-02 | 1 | -1/+1 |
| * | Add output | Yann Herklotz | 2019-05-30 | 1 | -3/+3 |
| * | Fix the conversion | Yann Herklotz | 2019-05-30 | 1 | -3/+13 |
| * | Add conversion script | Yann Herklotz | 2019-05-30 | 4 | -0/+21 |
| * | Add changes to swarm | Yann Herklotz | 2019-05-30 | 2 | -6/+23 |
| * | Add changes to work with older Vivado | Yann Herklotz | 2019-05-26 | 2 | -4/+4 |
| * | Add scripts to run verifuzz | Yann Herklotz | 2019-05-25 | 2 | -0/+31 |
| * | Only modify expressions in swarm testing | Yann Herklotz | 2019-05-20 | 1 | -23/+0 |
| * | Rename script | Yann Herklotz | 2019-05-20 | 1 | -0/+30 |
| * | add statistics script | Yann Herklotz | 2019-05-18 | 1 | -0/+23 |
| * | Fix setup script for new aws | Yann Herklotz | 2019-05-12 | 1 | -3/+10 |
| * | Add randomisation of config file with --randomise | Yann Herklotz | 2019-05-12 | 1 | -1/+3 |
| * | Add more dependencies to build Yosys on EC2 | Yann Herklotz | 2019-05-12 | 1 | -6/+5 |
| * | Fix the setup script for aws | Yann Herklotz | 2019-04-12 | 1 | -3/+3 |
| * | Fix setup script by mounting right drive | Yann Herklotz | 2019-04-06 | 1 | -1/+1 |
| * | Add scripts | Yann Herklotz Grave | 2019-03-16 | 1 | -0/+20 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |