aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Graph/CodeGen.hs
Commit message (Expand)AuthorAgeFilesLines
* Rename files out of the moduleYann Herklotz2019-01-101-60/+0
* Rename module names so that I can move themYann Herklotz2019-01-101-11/+11
* Fix build errorsYann Herklotz2018-12-311-2/+4
* Remove sep and fromList in favour of foldYann Herklotz2018-12-311-4/+4
* Large refactorYann Herklotz2018-12-311-3/+3
* Fix documentation and copyrightYann Herklotz2018-12-281-3/+3
* Remove OverloadedStrings in favour of declaration in moduleYann Herklotz2018-12-271-2/+0
* Add more functions to the code generationYann Herklotz2018-12-221-10/+3
* Fix documentationYann Herklotz2018-12-151-2/+16
* Add more code to the shared codeYann Herklotz2018-12-011-15/+5
* Move generation to new locationYann Herklotz2018-12-011-0/+63