1.7.4
LatestPatchAug 5, 2024 · MonOpenNavo editorialAdded to Homebrew Oct 14, 2024 02:30
Fixes an unsoundness in TLC liveness checking with multiple workers.
- TLC
- Fixes missed property violations in multi-worker liveness checking.
Homebrew has disabled this package: No version update for more than 90 days
TLA+ Toolbox
A macOS IDE for TLA+ tools, with specification editing, PlusCal translation, TLC model checking, trace exploration, and proof-system support.
CaskDeveloper ToolsApple silicon · IntelDisabled
From homebrew/cask
30-day installs50
1-year installs677Last 365 days
Latest version1.7.4Aug 5, 2024 · Aug 5, 2024
Download size179MBarm64 / x86_64 · zip
Release cadenceIrregular0 releases in 30 days