| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add new maintainer email | Yann Herklotz | 2019-07-23 | 1 | -1/+1 |
| * | Remove stack and format fuzz | Yann Herklotz | 2019-07-23 | 1 | -33/+27 |
| * | Format files | Yann Herklotz | 2019-06-29 | 1 | -46/+50 |
| * | Fix pedantic warnings | Yann Herklotz | 2019-06-29 | 1 | -5/+1 |
| * | Add back the simulation | Yann Herklotz | 2019-06-29 | 1 | -21/+28 |
| * | Add part of the simulator implementation | Yann Herklotz | 2019-06-29 | 1 | -0/+45 |
| * | Format all files | Yann Herklotz | 2019-06-05 | 1 | -40/+45 |
| * | Add median and mean sampling | Yann Herklotz | 2019-06-02 | 1 | -10/+39 |
| * | Add check for synthfails | Yann Herklotz | 2019-05-30 | 1 | -1/+2 |
| * | Export helpers from Fuzz.hs | Yann Herklotz | 2019-05-25 | 1 | -0/+3 |
| * | Use synthesiser instance | Yann Herklotz | 2019-05-25 | 1 | -1/+1 |
| * | Add synthesis fails to fuzzer | Yann Herklotz | 2019-05-25 | 1 | -0/+16 |
| * | Fix used wire check for clk | Yann Herklotz | 2019-05-24 | 1 | -1/+1 |
| * | Reduction throws away path if it finds a passing one | Yann Herklotz | 2019-05-24 | 1 | -2/+2 |
| * | Add hat sampling to config | Yann Herklotz | 2019-05-22 | 1 | -2/+4 |
| * | Add hat sampling | Yann Herklotz | 2019-05-21 | 1 | -18/+40 |
| * | Add a different State and new FuzzReport output | Yann Herklotz | 2019-05-21 | 1 | -43/+112 |
| * | Fix warning on CI | Yann Herklotz | 2019-05-20 | 1 | -2/+2 |
| * | Format using brittany | Yann Herklotz | 2019-05-20 | 1 | -1/+5 |
| * | Only compare against the identity synth | Yann Herklotz | 2019-05-20 | 1 | -2/+3 |
| * | Format with brittany | Yann Herklotz | 2019-05-13 | 1 | -25/+26 |
| * | Fix report generation for fuzz run | Yann Herklotz | 2019-05-13 | 1 | -3/+10 |
| * | Add reduction to fuzz run | Yann Herklotz | 2019-05-13 | 1 | -2/+33 |
| * | Remove Maybe from equivalence check | Yann Herklotz | 2019-05-13 | 1 | -1/+1 |
| * | Add NFData to force evaluation of config file | Yann Herklotz | 2019-05-09 | 1 | -2/+3 |
| * | Only show the seed | Yann Herklotz | 2019-05-07 | 1 | -3/+1 |
| * | Add description field to Yosys | Yann Herklotz | 2019-05-07 | 1 | -4/+3 |
| * | Create better command line output | Yann Herklotz | 2019-05-07 | 1 | -7/+7 |
| * | Rename some functions to use nicer names | Yann Herklotz | 2019-05-07 | 1 | -1/+1 |
| * | Support multiple reg assigns in if statements | Yann Herklotz | 2019-05-06 | 1 | -8/+0 |
| * | Format with brittany | Yann Herklotz | 2019-05-05 | 1 | -20/+40 |
| * | Write config file with seed to the fuzz directory | Yann Herklotz | 2019-05-05 | 1 | -17/+20 |
| * | Add seeds for reproducible runs | Yann Herklotz | 2019-05-05 | 1 | -16/+45 |
| * | Add time and date by default | Yann Herklotz | 2019-04-24 | 1 | -3/+17 |
| * | Add simulator support to the config file | Yann Herklotz | 2019-04-23 | 1 | -162/+46 |
| * | Add helper functions to execute fuzzing multiple times | Yann Herklotz | 2019-04-19 | 1 | -9/+24 |
| * | Fix compiling on CI | Yann Herklotz | 2019-04-19 | 1 | -0/+3 |
| * | Equivalence test now running | Yann Herklotz | 2019-04-19 | 1 | -2/+1 |
| * | Extend ResultT and Result with more instances | Yann Herklotz | 2019-04-19 | 1 | -5/+8 |
| * | Add output information to Type | Yann Herklotz | 2019-04-18 | 1 | -44/+59 |
| * | Add output path to each simulator | Yann Herklotz | 2019-04-18 | 1 | -37/+93 |
| * | Add new Fuzzing technique, that checks simulators against each other | Yann Herklotz | 2019-04-17 | 1 | -11/+97 |
| * | Add Fuzzer and implement it with the result type | Yann Herklotz | 2019-04-17 | 1 | -35/+26 |
| * | Move declaration of SourceInfo | Yann Herklotz | 2019-04-15 | 1 | -2/+4 |
| * | Format with brittany and add right modules | Yann Herklotz | 2019-04-15 | 1 | -1/+2 |
| * | Fix warnings | Yann Herklotz | 2019-04-15 | 1 | -9/+14 |
| * | Replace Env by Fuzz | Yann Herklotz | 2019-04-15 | 1 | -0/+113 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |