Zachery Aaron Shores-Chmielewski
db0ed79e20
Using a bounded model checker to provide absolute guarantees on runtime behavior. Signed-off-by: Zachery Aaron Shores-Chmielewski <zacheryasc@gmail.com>
30 lines
No EOL
438 B
Text
30 lines
No EOL
438 B
Text
**/target
|
|
**/node_modules/
|
|
.vscode/
|
|
.venv
|
|
__pycache__
|
|
fuzz/artifacts/**
|
|
corpus
|
|
.loop/
|
|
|
|
# Analysis artifacts (depgraph + spectral)
|
|
**/deps.dot
|
|
**/deps.html
|
|
docs/architecture.dot
|
|
docs/architecture.html
|
|
|
|
# Simulation traces
|
|
crates/simulation/traces
|
|
|
|
# xtask personal config
|
|
xtask/config.toml
|
|
|
|
# Deploy config (machine-specific)
|
|
deploy.toml
|
|
.deploy/*
|
|
!.deploy/deploy.example.toml
|
|
|
|
# Local dev node state
|
|
.dev-node/
|
|
.dev-cluster/
|
|
.sim-cluster/ |