aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Internal.hs
Commit message (Expand)AuthorAgeFilesLines
* Update simulator with Result typeYann Herklotz2019-04-171-15/+57
* Move declaration of SourceInfoYann Herklotz2019-04-151-20/+0
* Rename Synthesisor -> SynthesiserYann Herklotz2019-04-151-4/+4
* Print out local timeYann Herklotz2019-04-141-2/+5
* Fix the generation of modules and add initialisationYann Herklotz2019-04-101-1/+1
* Add Parameter type and remove DescriptionYann Herklotz2019-04-091-2/+2
* Fix to the loggerYann Herklotz2019-04-031-0/+10
* Large refactor with passing testsYann Herklotz2019-04-021-0/+112