Commit graph

8 commits

Author SHA1 Message Date
146f36772b
add readme to archive 2022-12-27 17:17:56 +01:00
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