aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Lexer.hs
Commit message (Collapse)AuthorAgeFilesLines
* Rewrite the parser with real lexerYann Herklotz2019-03-311-321/+0
|
* Change license nameYann Herklotz2019-03-301-1/+1
|
* Indent by 4Yann Herklotz Grave2019-02-171-187/+187
|
* Brittany formattingYann Herklotz Grave2019-02-171-25/+170
|
* Fix to parserYann Herklotz Grave2019-02-161-3/+10
|
* Change to Parsec and add LexerYann Herklotz Grave2019-02-161-0/+169