aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Mutate.hs
Commit message (Expand)AuthorAgeFilesLines
* Move verilog files into specific moduleYann Herklotz2018-12-281-80/+0
* Add instantiation functionYann Herklotz2018-12-271-2/+7
* [Close #10, Fix #12] Add Mutations for wiresYann Herklotz2018-12-251-7/+13
* Fix nesting, generation broken for nested groupsYann Herklotz2018-12-231-3/+17
* Add nesting to the SourceTextYann Herklotz2018-12-231-1/+16
* Start implementing the nesting functionalityYann Herklotz2018-12-231-2/+23
* Add unimplemented nestId functionYann Herklotz2018-12-221-0/+4
* Add Mutate module to VeriFuzzYann Herklotz2018-12-221-0/+15