.gitignore

*.annot
*.bcf
*.fdb*
*.fls
*.out
*.run.xml
*.synctex.*
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
*.pyc
*.txt

# MAC users
.DS_Store
=

# PyCharm configuration
.idea

# build files and folders
_build
_oasis
_tags
setup.data
setup.ml
setup.log
myocamlbuild.ml
src/BuildInfo.ml*
src/PaTATOR.ml

# generated files

/*jpg
/*png

*.pdf
*.ps

*.graph
*-regenerated.imi
*.res
*.states
*_cart.png
*_cart_bounds.txt
*_cart_points_*.txt

benchmarks/**/*-regenerated.imi
benchmarks/**/*.res
benchmarks/**/*.png
benchmarks/**/*.jpg
benchmarks/**/*.states
benchmarks/**/*.pdf
benchmarks/**/*.xml
benchmarks/**/*.jani


tests/**/*-regenerated.imi
tests/**/*.log
tests/**/*.jpg
tests/**/*.png
tests/**/*.res
tests/**/*.states
tests/**/*.txt
tests/**/*.sh
tests/**/*.pdf
tests/**/*.ps
tests/**/*.xml
tests/**/*.jani
tests/**/*.hy

# binaries
*.native
bin/imitator
bin/patator

# documentation
doc/build
doc/*.aux
doc/*.bbl
doc/*.bcf
doc/*.blg
doc/*.brf
doc/*.log
doc/*.run.xml
doc/*.synctex.gz
doc/*.toc
doc/IMITATOR-not-developer-manual.out
doc/IMITATOR-not-developer-manual.pdf
doc/IMITATOR-user-manual.pdf
doc/classDiagramFull.dot
doc/classDiagramFull.png
doc/classDiagramSimplified.dot
doc/classDiagramSimplified.png

# IDE
.vscode
*kate-swp

# Dune
IMITATOR.opam