/target
.vs/
doc/~*.*
.vscode/

flamegraph.svg
perf.data
perf.data.old
# docs/criterion/*
benches/summary*.tsv
benches/~$summary_r.tsv.xlsx
benches/*.xlsx
bench.bat
test.bat
tests/formal/Step5.dfy
tests/formal/Step6a.dfy
tests/formal/Step6b.dfy
tests/formal/Step7.dfy
tests/formal/*.dll
tests/formal/*.json
