.gitignore

# Latex #
###################
*.aux
*.idx
*.out
*.toc
*.bbl
*.blg
*.ilg
*.ind
*.fdb_latexmk
*.fls

# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
!plantuml.jar
*.rar
*.tar
*.zip
!docs/**/*.zip
*.mat

# Logs and databases #
######################
*.log
*.sql
*.sqlite
nextGenLog.*

# OS generated files #
######################
.DS_Store*
ehthumbs.db
Thumbs.db

# The next exclusion as broadly targets the OS X icon file "Icon\r"
# (that's a carriage return, or ^M, at the end).  It's overbroad,
# killing any file whose name is 5 characters long, starting with Icon
# and ending with a character not alphanumeric or -.  We'll tighten it
# up if we need to.  We're doing it this way as inserting the precise
# filename (using control characters) doesn't always survive across
# OSes and edits. -jwc/6June2013
Icon[^-0-9a-zA-Z]
!Icon*/


# Backup files #
################
*~
.#*
\#*#

# maven target directories #
############################
target/

# eclipse noise #
#################
.metadata/
.classpath
.settings/
.project
.cproject
bin



**/coe.log*

# scala
.cache
.cache-main
.cache-tests

#VDM RT

**/*.logrt
**/*.logtv
**/*.rtbin
**/coverage
*.cache-main
*.cache-tests
*.iml
.idea/
repository


**/gen
*.tokens

# docs build files
docs/_build
docs/builddir
docs/build

.factorypath
.vscode
/plugins/prologverifier/example/ExampleGraph.png



.java-version

# Python Byte-compiled / optimized / DLL files
__pycache__/
*.py[cod]
*$py.class
/external_tester/venv/

*.ci-friendly-pom.xml
.venv
.metals/metals.mv.db
.bloop/ast-test.json
.bloop/ast.json
.bloop/bloop.settings.json
.bloop/core-test.json
.bloop/core.json
.bloop/root-test.json
.bloop/root.json