| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove Simulation file and move into library | Yann Herklotz | 2019-02-08 | 1 | -101/+0 |
| * | Make the main compile again | Yann Herklotz | 2019-02-08 | 1 | -2/+1 |
| * | Fix bracket error | Yann Herklotz | 2019-02-07 | 1 | -6/+6 |
| * | Add more commandline options to Main | Yann Herklotz | 2019-02-07 | 1 | -10/+95 |
| * | Add show to simulation | Yann Herklotz | 2019-02-06 | 1 | -6/+18 |
| * | Add completely random module generation | Yann Herklotz | 2019-02-05 | 1 | -1/+2 |
| * | Fix print of bytestring | Yann Herklotz | 2019-02-05 | 1 | -3/+5 |
| * | Add options | Yann Herklotz | 2019-02-03 | 2 | -70/+114 |
| * | Add timeout and timeout check | Yann Herklotz | 2019-02-02 | 1 | -3/+10 |
| * | Remove directories without failures | Yann Herklotz | 2019-02-02 | 1 | -1/+2 |
| * | Try to add logging | Yann Herklotz | 2019-02-02 | 1 | -6/+5 |
| * | Smaller test case | Yann Herklotz | 2019-02-02 | 1 | -1/+1 |
| * | Change main to generate completely random module | Yann Herklotz | 2019-02-02 | 1 | -1/+1 |
| * | Fix all the compile and test errors | Yann Herklotz | 2019-02-01 | 1 | -12/+4 |
| * | Structure changes | Yann Herklotz | 2019-02-01 | 1 | -12/+16 |
| * | Better formatting | Yann Herklotz | 2019-02-01 | 1 | -8/+17 |
| * | Fix the main app | Yann Herklotz | 2019-01-23 | 1 | -5/+6 |
| * | Better multithreading | Yann Herklotz | 2019-01-22 | 1 | -5/+11 |
| * | Make main infinitely recurse | Yann Herklotz | 2019-01-21 | 1 | -10/+23 |
| * | Format of main file | Yann Herklotz | 2019-01-20 | 1 | -4/+6 |
| * | Prettify files | Yann Herklotz | 2019-01-20 | 1 | -1/+4 |
| * | Rename moduleId to modId | Yann Herklotz | 2019-01-20 | 1 | -3/+5 |
| * | Reformat with stylish-haskell | Yann Herklotz | 2019-01-19 | 1 | -22/+19 |
| * | Print absolute value of hash | Yann Herklotz | 2019-01-19 | 1 | -1/+1 |
| * | Rename remaining modules | Yann Herklotz | 2019-01-10 | 1 | -2/+2 |
| * | Adding more examples to main | Yann Herklotz | 2019-01-09 | 1 | -2/+9 |
| * | remove Test.hs, will all be in Main.hs | Yann Herklotz | 2019-01-06 | 1 | -19/+0 |
| * | Add changes to Main.hs | Yann Herklotz | 2019-01-06 | 1 | -9/+31 |
| * | Renaming testing file | Yann Herklotz | 2019-01-02 | 1 | -0/+0 |
| * | Fix linting warnings | Yann Herklotz | 2019-01-01 | 1 | -1/+1 |
| * | Fix dot generation | Yann Herklotz | 2018-12-31 | 1 | -4/+6 |
| * | Upgrade stack version | Yann Herklotz | 2018-12-30 | 1 | -8/+2 |
| * | Add remove duplicates | Yann Herklotz | 2018-12-29 | 1 | -2/+2 |
| * | Add new generation method | Yann Herklotz | 2018-12-29 | 1 | -6/+11 |
| * | Make generation more controlled | Yann Herklotz | 2018-12-29 | 1 | -6/+6 |
| * | Fix documentation and copyright | Yann Herklotz | 2018-12-28 | 1 | -3/+3 |
| * | Add executable for Yosys | Yann Herklotz | 2018-12-28 | 1 | -0/+1 |
| * | Edit main | Yann Herklotz | 2018-12-28 | 1 | -3/+3 |
| * | Remove OverloadedStrings in favour of declaration in module | Yann Herklotz | 2018-12-27 | 1 | -2/+0 |
| * | Add yosys shell script | Yann Herklotz | 2018-12-27 | 1 | -0/+18 |
| * | Generate completely random verilog | Yann Herklotz | 2018-12-27 | 1 | -3/+5 |
| * | Fix main and improve speed of run script | Yann Herklotz | 2018-12-25 | 1 | -1/+1 |
| * | Add nesting to the SourceText | Yann Herklotz | 2018-12-23 | 1 | -1/+3 |
| * | Add qualified imports | Yann Herklotz | 2018-12-15 | 1 | -13/+12 |
| * | Add quickcheck to main | Yann Herklotz | 2018-12-04 | 1 | -0/+3 |
| * | Fix type issue in main | Yann Herklotz | 2018-11-30 | 1 | -1/+1 |
| * | Restructure and add tests | Yann Herklotz | 2018-11-30 | 1 | -0/+19 |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |