.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13

# Executables
*.exe
*.out
run
tree
proof

# Directory used to store object files, abc files and assembly files
Clean System Files/

# iTasks environment extra data
*-data/
sapl/