.gitignore

.DS_Store
*.beam

*.pl

ex1.csp

output_rewritten.txt

output.txt

output1.csp

translator

parseCspForPl

bin_macos/parseCspForPl

track.pdf

track.dot

track_slice.pdf

track_slice.dot

track.txt

track_slice.jpg

ex2.csp

results/*.txt

*.dump


track_temp.dot

track_temp.pdf

ex4.csp

ex3.csp

ex7.csp

ex5.csp

ex6.csp

ex8.csp