dist-newstyle/
.vscode
natto
natto-static
inf-tool
inf-tool-static
install.sh
*.hi
*.o
starexec/bin/z3
starexec/bin/natto
starexec/*.zip
