aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Simulator.hs
Commit message (Collapse)AuthorAgeFilesLines
* More restructuringYann Herklotz2019-02-011-41/+0
|
* Rename moduleId to modIdYann Herklotz2019-01-201-3/+11
|
* Reformat with stylish-haskellYann Herklotz2019-01-191-0/+9
|
* Add brittany formatting instead of stylish-haskellYann Herklotz2019-01-191-1/+2
|
* Rename remaining modulesYann Herklotz2019-01-101-10/+10
|
* Rename files out of the moduleYann Herklotz2019-01-101-0/+23