aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz
Commit message (Collapse)AuthorAgeFilesLines
* Add template fileYann Herklotz2019-01-204-47/+72
|
* Rename moduleId to modIdYann Herklotz2019-01-207-22/+33
|
* Reformat with stylish-haskellYann Herklotz2019-01-1915-87/+70
|
* Add hlint changesYann Herklotz2019-01-193-4/+3
|
* Set column to 100Yann Herklotz2019-01-199-83/+31
|
* Add brittany formatting instead of stylish-haskellYann Herklotz2019-01-1916-289/+385
|
* Small improvement to stmnt and expr functionYann Herklotz2019-01-191-13/+16
|
* Swap the exports for the types of the ASTYann Herklotz2019-01-191-2/+2
|
* Inline the timeout functionYann Herklotz2019-01-191-0/+2
|
* Fix all the warningsYann Herklotz2019-01-108-47/+37
|
* Add documentation in ASTYann Herklotz2019-01-101-15/+28
|
* Fix documentation errorYann Herklotz2019-01-101-1/+1
|
* Add explicit exportsYann Herklotz2019-01-101-24/+55
|
* Fix warningsYann Herklotz2019-01-104-51/+38
|
* Remove Arbitrary from main moduleYann Herklotz2019-01-101-2/+0
|
* Derive as many properties as possibleYann Herklotz2019-01-101-30/+21
|
* Fix some importsYann Herklotz2019-01-101-53/+14
|
* Add render to testYann Herklotz2019-01-101-3/+3
|
* Remove Arbitrary.hsYann Herklotz2019-01-101-70/+0
|
* Fix warningsYann Herklotz2019-01-103-44/+13
|
* Rename remaining modulesYann Herklotz2019-01-103-191/+77
|
* Rename files out of the moduleYann Herklotz2019-01-1018-0/+1824