Repository navigation

Add a Quint model of the protocol with conformance tests - #421

Open

masad-frost wants to merge 8 commits into

mainfrom

faris/quint-protocol-model

Open

Add a Quint model of the protocol with conformance tests#421
masad-frost wants to merge 8 commits into
mainfrom
faris/quint-protocol-model

Commits on Oct 3, 2026
- Add a Quint model of the protocol with conformance tests
  masad-frost
  committed
  c740928
Commits on Oct 8, 2026
- Replay conformance traces over the binary and proto codecs
  masad-frost
  committed
  e11bad8
- Fix two transport bugs found by the protocol model
  masad-frost
  committed
  3e4343a
- Keep the model's counterexample when an invariant fails
  masad-frost
  committed
  dd5910b
- Override Quint's adm-zip with the patched release
  masad-frost
  committed
  c808c44
- Describe the subscription lifecycle the implementation uses
  masad-frost
  committed
  c4ffc7b
- Check handler run counts and late upload finalization
  masad-frost
  committed
  3a42231
- Generate random traces in bounded batches
  masad-frost
  committed
  5107d65