| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add a cabal update to the Dockerfile | Yann Herklotz | 2021-07-14 | 1 | -1/+1 |
| | | |||||
| * | Add wget as a dependency | Yann Herklotz | 2021-07-14 | 1 | -1/+1 |
| | | |||||
| * | Add a Dockerfile | Yann Herklotz | 2021-07-14 | 1 | -0/+11 |
| | | |||||
| * | Remove main.v script | Yann Herklotz | 2020-05-13 | 1 | -27/+0 |
| | | |||||
| * | Fix formatting of build | Yann Herklotz | 2020-03-07 | 1 | -1/+1 |
| | | |||||
| * | Add not condition | Yann Herklotz | 2020-03-07 | 1 | -3/+2 |
| | | |||||
| * | Update build script to run in bash | Yann Herklotz | 2020-03-07 | 1 | -1/+1 |
| | | |||||
| * | New travis build | Yann Herklotz | 2020-03-06 | 1 | -0/+11 |
| | | |||||
| * | Add new Yosys report | Yann Herklotz | 2019-12-13 | 1 | -0/+15 |
| | | |||||
| * | Update reducer script | Yann Herklotz | 2019-11-05 | 1 | -8/+22 |
| | | |||||
| * | Add reducer testing script | Yann Herklotz | 2019-10-31 | 1 | -0/+51 |
| | | |||||
| * | Update default configuration | Yann Herklotz | 2019-10-18 | 1 | -13/+10 |
| | | |||||
| * | Update runner | Yann Herklotz | 2019-10-18 | 1 | -15/+22 |
| | | |||||
| * | 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 |