Repository navigation

2.0.0-rc.12: Lauren's 6b78e9f, setup offers a formal verification skill, with TLA+ as its default for event order - #32

Merged

chhoumann merged 4 commits into

mainfrom

Oct 19, 2026

Merged

2.0.0-rc.12: Lauren's 6b78e9f, setup offers a formal verification skill, with TLA+ as its default for event order#32
chhoumann merged 4 commits into
mainfrom
sync/f9be7aa

Commits on Oct 18, 2026
- Sync Lauren's pstack to f9be7aa (#715)
  chhoumann
  committed
  74b8cf7
- Release 2.0.0-rc.12: docs, notices, and manifests
  chhoumann
  committed
  2fa3648
Commits on Oct 19, 2026
- Sync Lauren's pstack to 6b78e9f (#721)
  chhoumann
  committed
  efa8948
- Release 2.0.0-rc.12: point docs and notices at 6b78e9f
  chhoumann
  committed
  7054977