.github
.vscode
.vs
bindings/rust
build
docs
examples
node_modules
nvim
target
test
.gitmodules
Cargo.lock
Cargo.toml
parser.exp
parser.lib
parser.obj
scanner.obj
Test.tla
