aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Identity.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add NonEmpty to testsYann Herklotz2019-05-131-2/+1
|
* Add Identity to ReportYann Herklotz2019-05-131-1/+9
|
* Add Identity synthesiserYann Herklotz2019-05-131-0/+44