Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |