summaryrefslogtreecommitdiff
path: root/.gitignore
blob: d6413c053145567623af0f67c3b66faf08c66907 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# Temporary files of text editors
*.swp
*~
tags

# Tests : KCG & C build products
tests/kcg
*.log
*.test

# OCaml build products
_build
analyze

# Menhir automaton data
*.conflicts
*.automaton

# Plots
graphs/*