.gitignore

# svshi files
assignments
generated
deletedApps
installedApps
logs
src/app_library/**
src/verification/conditions.py
src/verification/runtime_file.py
src/verification/verification_file.py
src/verification/isolated_fns.json
src/local
**/.coverage
**/coverage.xml

**/svshi_private_input

src/runtime/physical_state.json
src/runtime/conditions.py
src/runtime/runtime_file.py
src/runtime/verification_file.py

#IntelliJ
.idea

# Compiled class file
*.class

# Log file
*.log

# BlueJ files
*.ctxt

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.jar
*.war
*.nar
*.ear
*.zip
*.tar.gz
*.rar

**/target

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*

# VSCode
.vscode


.DS_Store

# vscode
/.vscode
# metals
.metals
.bloop
project/**/metals.sbt
.bsp

# pycache
**/__pycache__

# Environments
.env
.venv
env/
venv/
ENV/
env.bak/
venv.bak/