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