tests/**/*.ast tests/**/*.cfg tests/**/*.cfg0 tests/**/*.cfg1 tests/**/*.cfg2 tests/**/*.e.dump tests/**/*.e.html tests/**/*.exe tests/**/*.lex tests/**/*.linear tests/**/*.linear1 tests/**/*.ltl tests/**/*.rtl tests/**/*.s tests/**/*.svg tests/results.html tests/__pycache__ src/_build alpaga/_build grammar.html src/generated_parser.ml **/*.native alpaga/ml_parser_generator alpaga/alpaga alpaga/ml_parser_generator.native tykernel/*.ast tykernel/*.cfg tykernel/*.cfg0 tykernel/*.cfg1 tykernel/*.cfg2 tykernel/*.e.dump tykernel/*.e.html tykernel/*.exe tykernel/*.lex tykernel/*.linear tykernel/*.linear1 tykernel/*.ltl tykernel/*.rtl tykernel/*.s tykernel/*.svg skeleton sujet/_minted-tp sujet/*.aux sujet/*.fdb_latexmk sujet/*.fls sujet/*.log sujet/*.out sujet/*.pdf sujet/*.synctex.gz