# 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/