aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Yosys.hs
Commit message (Collapse)AuthorAgeFilesLines
* Formatting files and add result type to front endYann Herklotz2019-04-231-2/+1
|
* Add output information to TypeYann Herklotz2019-04-181-11/+10
|
* Add output path to each simulatorYann Herklotz2019-04-181-4/+6
|
* Add Show instances to simulatorsYann Herklotz2019-04-171-1/+4
|
* Fix other type errors and replace with Result typeYann Herklotz2019-04-171-24/+33
|
* Move declaration of SourceInfoYann Herklotz2019-04-151-0/+1
|
* Rename Synthesisor -> SynthesiserYann Herklotz2019-04-151-4/+4
|
* Fix to the loggerYann Herklotz2019-04-031-2/+2
|
* Large refactor with passing testsYann Herklotz2019-04-021-0/+106