Repository navigation

Add Quint Connect - #239

Merged

davidabram merged 9 commits into

mutation-cursorfrom

Sep 30, 2026

Merged

Add Quint Connect #239
davidabram merged 9 commits into
mutation-cursorfrom
quint-connect

Commits on Sep 29, 2026
- mutation-trace: Add Quint Connect refinement plan
  
  davidabram
  and
  shared-context-engineering
  committed
  66272fb
- cli: Add quint-connect for model-based testing
  
  davidabram
  and
  shared-context-engineering
  committed
  182c039
- spec: Add operation-specific MBT action instrumentation
  
  davidabram
  and
  shared-context-engineering
  committed
  7411641
- spec: Document Connect-visible prepare boundary selection
  
  davidabram
  and
  shared-context-engineering
  committed
  63ed798
- mutation-trace: Add Quint Connect model-based test driver
  
  davidabram
  and
  shared-context-engineering
  committed
  a1c2433
- tests: Add mutation cursor Quint Connect replays
  
  davidabram
  and
  shared-context-engineering
  committed
  6c49fdf
- mutation-trace+CI: Harden Quint MBT coverage and state decoding
  
  davidabram
  and
  shared-context-engineering
  committed
  8c8c360
- CI: Allow Nix builds to fall back to alternate stores
  
  davidabram
  and
  shared-context-engineering
  committed
  4e6df2c
- tests: Reformat mutation trace test attribute
  davidabram
  committed
  7d5a8e7