aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Mutate.hs
Commit message (Expand)AuthorAgeFilesLines
* Large refactor with passing testsYann Herklotz2019-04-021-248/+0
* Rename to VerilogYann Herklotz2019-04-021-2/+2
* Change license nameYann Herklotz2019-03-301-1/+1
* Add transformers and procedural generationYann Herklotz Grave2019-03-031-1/+2
* Add general function to mutationsYann Herklotz Grave2019-03-011-1/+7
* Reformat using brittanyYann Herklotz Grave2019-02-251-9/+28
* Indent by 4Yann Herklotz Grave2019-02-171-46/+46
* Brittany formattingYann Herklotz Grave2019-02-171-22/+13
* Fix example in documentationYann Herklotz Grave2019-02-161-1/+1
* Change to Parsec and add LexerYann Herklotz Grave2019-02-161-1/+1
* Change Port type, adding signed infoYann Herklotz Grave2019-02-161-4/+4
* Fix lint errorsYann Herklotz Grave2019-02-161-6/+6
* Add export listsYann Herklotz Grave2019-02-161-2/+5
* Fix versions and testsYann Herklotz Grave2019-02-111-4/+0
* Fix tests in Mutate.hsYann Herklotz Grave2019-02-091-3/+16
* Also fix ModCA issue for Mutate.hsYann Herklotz2019-02-081-1/+47
* Add mutation for declarationYann Herklotz2019-02-021-0/+5
* Fix importsYann Herklotz2019-02-011-9/+8
* More restructuringYann Herklotz2019-02-011-0/+169