2 ms·
We have a number of TLA+ models at Oxide. Here's one: https://github.com/oxidecomputer/omicron/blob/8b0886dbd0222992175f34f9ab7bab48b304b0ad/trust-quorum/tla/t
by sunshowers 4mo ago
We have a number of TLA+ models at Oxide. Here's one:
https://github.com/oxidecomputer/omicron/blob/8b0886dbd0222992175f34f9ab7bab48b304b0ad/trust-quorum/tla/trust_quorum.tla https://github.com/oxidecomputer/omicron/blob/8b0886dbd02229...