Skip to main content
hex
preview
Search
preview
firebreak
0.1.0
hex.pm
Change color theme
Light
Dark
System
Select File
.formatter.exs
CHANGELOG.md
LICENSE
README.md
lib/firebreak.ex
lib/firebreak/analysis.ex
lib/firebreak/baseline.ex
lib/firebreak/blast_radius.ex
lib/firebreak/boot_order.ex
lib/firebreak/checks.ex
lib/firebreak/child.ex
lib/firebreak/conformance.ex
lib/firebreak/coupling.ex
lib/firebreak/cycles.ex
lib/firebreak/edge.ex
lib/firebreak/failure_sim.ex
lib/firebreak/failure_viz.ex
lib/firebreak/finding.ex
lib/firebreak/forest.ex
lib/firebreak/json.ex
lib/firebreak/lockstep.ex
lib/firebreak/model.ex
lib/firebreak/module_info.ex
lib/firebreak/observe.ex
lib/firebreak/orphans.ex
lib/firebreak/quint.ex
lib/firebreak/report.ex
lib/firebreak/risk_score.ex
lib/firebreak/runtime.ex
lib/firebreak/runtime_overlay.ex
lib/firebreak/snapshot.ex
lib/firebreak/source.ex
lib/firebreak/tla.ex
lib/firebreak/viz.ex
lib/firebreak/what_if.ex
lib/mix/tasks/firebreak.ex
lib/mix/tasks/firebreak.lockstep.ex
lib/mix/tasks/firebreak.spec.ex
mix.exs
notes/model-ir-contract.md
.formatter.exs
# Used by "mix format"
[
inputs
:
[
"{mix,.formatter}.exs"
,
"{config,lib,test}/**/*.{ex,exs}"
]
]