obj/
bin/
tmp/
*-disabled
*.csproj.user
*.pyc
*.swp
flycheck_*
*.vim
nohup.out
*.suo
*~
.sconsign.dblite
fstar_test_suite/*fst
fstar_test_suite/*fsti
data/
axiom-profiler
