Commit graph

7 commits

Author SHA1 Message Date
90bc6aacff
add parser ml mli to make clean 2022-12-23 05:11:18 +01:00
1687bcc3be
ignore parsers generated files 2022-12-23 05:07:19 +01:00
1305a867f8
use separated list 2022-12-23 05:03:40 +01:00
378b054812
update tests 2022-12-08 21:30:56 +01:00
86b5577385
add spacing 2022-12-08 00:17:54 +01:00
697b36c333
add menhir files to archive 2022-12-06 20:42:53 +01:00
a37aba9177
add gitignore and makefile 2022-12-06 20:38:09 +01:00