build/
build-clang/
build*
.vscode/
doc/html/
doc/latex/
doc/textput.log
*.log
doc/Definitions/main.aux
doc/Definitions/main.pyg
*.dot
*.tex
.idea
thirdparty/vcpkg/
cmake-build-*
tags_*.txt
results.json
*.out
test.v
*.z3-trace
*.smt2
/.cache
*.bkp
out/
compile_commands.json
*.Identifier
