aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Icarus.hs
Commit message (Collapse)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