.gitignore

# Misc editors
*.autosave
.*.swp
.*.swo
*~

# Images
*.dot

# Python things
__pycache__
*.pyc

# Eclipse
TAGS
.metadata
.paths
.project
.projectSettings
.settings

# OCaml
*.cma
*.cmi
*.cmo
*.cmx
*.o
_build
*.native
*.byte
*.merlin
_opam
_dist

# Mac rubbish
.DS_Store

config/config.xml
src/localconfig.ml
src/formula_parser/formula_lexer.ml
src/formula_parser/formula_parser.ml
src/formula_parser/formula_parser.mli
tests/dot

rosette/compiled

# Racket
racket/hp.rkt
racket/test.rkt
racket/wp.rkt
racket/internals_builtins_procs.rkt
racket/compiled

# LaTeX nonsense
*.blg
*.bbl
*.aux
*.out
*.log
*.log.zip
/*.gil
tutorial/main.pdf

# esy + docker stuff
node_modules
_esy
doc
*.install
_build.prev
_release
gillian.esy.lock

# Gillian-specific stuff
*/environment
*.env
**/.gillian
gillian_smt_queries

# Dependency graphs
with-depgraph.esy.lock
with-depgraph.json
see_deps.py

# Development container
.devcontainer

# VSCode
.vscode/settings.json

# test-262
javert-test262

# Temporary databases for logs
*.db

# Built docs
_docs/odoc
_docs/sphinx

# Memtraces
*.ctf