.gitignore

*.iml
.idea
out
target/
.directory
.bsp
.bloop
.metals
.vscode

# output files produced by Apalache
*.out
*.err
*.log
*.smt
counterexample*.*

# Generated if running integration tests locally
_apalache-out/

# Auto generated file for metals
metals.sbt

# Local envars for direnv
/.local-envrc

# Ignore artifacts created when previewing the gh-pages site
/Gemfile.lock
/_site/

# Ignore MacOS files
.DS_Store