| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Multiple initialisations now appearing | Yann Herklotz | 2019-07-20 | 1 | -4/+3 |
| * | Upgrade stack LTS version | Yann Herklotz | 2019-05-09 | 1 | -3/+3 |
| * | Add Report type | Yann Herklotz | 2019-04-23 | 1 | -0/+1 |
| * | Fix tests and remove Parser tests for now | Yann Herklotz | 2019-04-17 | 1 | -0/+1 |
| * | Generate Verilog instead of ModDecl | Yann Herklotz | 2019-04-03 | 1 | -1/+0 |
| * | Remove fgl-arbitrary completely | Yann Herklotz | 2019-04-02 | 1 | -1/+0 |
| * | Remove QuickCheck and use Hedgehog instead | Yann Herklotz | 2019-04-02 | 1 | -0/+1 |
| * | Change license name | Yann Herklotz | 2019-03-30 | 1 | -2/+1 |
| * | Add haskell-src-exts dependency for hoogle build | Yann Herklotz Grave | 2019-02-18 | 1 | -0/+1 |
| * | Update version | Yann Herklotz Grave | 2019-02-16 | 1 | -6/+5 |
| * | Update lts version | Yann Herklotz | 2019-01-10 | 1 | -10/+6 |
| * | Add dependencies for hoogle support | Yann Herklotz | 2019-01-09 | 1 | -0/+4 |
| * | Upgrade stack version | Yann Herklotz | 2018-12-30 | 1 | -1/+4 |
| * | Add missing dependencies | Yann Herklotz | 2018-12-29 | 1 | -2/+4 |
| * | Remove useless dependencies | Yann Herklotz | 2018-12-29 | 1 | -5/+4 |
| * | Reformat the main file and upgrade lts | Yann Herklotz | 2018-11-30 | 1 | -1/+1 |
| * | Generate random undirected graph | Yann Herklotz | 2018-11-05 | 1 | -1/+3 |
| * | Initial commit | Yann Herklotz | 2018-10-28 | 1 | -0/+4 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/stack.yaml