aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Simulator
Commit message (Expand)AuthorAgeFilesLines
* Add echo do all the simulatorsYann Herklotz2019-01-233-0/+9
* Add better echoYann Herklotz2019-01-231-5/+14
* Better multithreadingYann Herklotz2019-01-224-8/+12
* [Fix #26] Add support for SymbiYosysYann Herklotz2019-01-202-4/+10
* Prettify filesYann Herklotz2019-01-203-19/+26
* Add sby configYann Herklotz2019-01-201-5/+45
* Add template fileYann Herklotz2019-01-204-47/+72
* Rename moduleId to modIdYann Herklotz2019-01-202-10/+10
* Reformat with stylish-haskellYann Herklotz2019-01-194-21/+23
* Set column to 100Yann Herklotz2019-01-192-8/+4
* Add brittany formatting instead of stylish-haskellYann Herklotz2019-01-194-32/+41
* Inline the timeout functionYann Herklotz2019-01-191-0/+2
* Fix all the warningsYann Herklotz2019-01-101-6/+3
* Fix warningsYann Herklotz2019-01-102-15/+2
* Rename files out of the moduleYann Herklotz2019-01-104-0/+268