/target
/tmp
mum.db
mum-server.db
*.db-wal
*.db-shm
.zed/
.claude/

# TLA+ / TLC
states/
specs/*.bin
specs/*TTrace*
*.out

# Apalache
_apalache-out/
