.gitignore

/.bloop
/.bsp
/.idea
/.idea_modules
/.metadata
/.metals
/.scala-build
/.vscode
/bin/*
/bin/.*
!/bin/demo
!/bin/install
!/bin/build.cmd
!/bin/clean.bat
!/bin/clean.sh
!/bin/compgen.cmd
!/bin/init.bat
!/bin/init.cmd
!/bin/init-lib.cmd
!/bin/install.cmd
!/bin/project.cmd
!/bin/rtag.sh
!/bin/sireum
!/bin/sireum.bat
!/bin/slang-run.bat
!/bin/slang-run.sh
/bsp.log
/build.mill
/distro/config.txt
/distro/setup.bat
/distro/setup
/distro/*.sfx
/distro/*.exe
/distro/*.tar.gz
/distro/dev/Sireum
/distro/dev/*.tar
/distro/dev/*.zip
/distro/release/Sireum
/distro/release/*.tar
/distro/release/*.zip
/distro/*.zip
/forms
/lib
/log
/project.dot
/resources/rh
/resources/vagrant/.vagrant
out
project.json
project.csv
project.pdf
project.numbers
Scratch*.*
scratch*.*
stale_outputs_checked
*.cmd.jar
*.cmd.com
/.server.*
/.client.log
/.settings
/reports
/bin/reports
.fleet
/logika-examples
7za
7za.exe