aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Icarus.hs
Commit message (Expand)AuthorAgeFilesLines
* Add new maintainer emailYann Herklotz2019-07-231-27/+20
* Format filesYann Herklotz2019-06-291-43/+73
* Fix pedantic warningsYann Herklotz2019-06-291-2/+2
* Add back the simulationYann Herklotz2019-06-291-26/+26
* Add part of the simulator implementationYann Herklotz2019-06-291-0/+40
* Remove logging from within toolsYann Herklotz2019-05-211-2/+0
* Add NFData to force evaluation of config fileYann Herklotz2019-05-091-0/+4
* Rename some functions to use nicer namesYann Herklotz2019-05-071-4/+5
* Formatting files and add result type to front endYann Herklotz2019-04-231-1/+1
* Add Show instances to simulatorsYann Herklotz2019-04-171-2/+6
* Update simulator with Result typeYann Herklotz2019-04-171-5/+6
* Add bit vector to Icarus simulationYann Herklotz2019-04-141-1/+6
* Fix the generation of modules and add initialisationYann Herklotz2019-04-101-1/+2
* Add Parameter type and remove DescriptionYann Herklotz2019-04-091-2/+2
* Fix to the loggerYann Herklotz2019-04-031-2/+1
* Large refactor with passing testsYann Herklotz2019-04-021-0/+112