1.7.4
最新パッチ2024年8月5日(月)OpenNavo編集部Homebrewへの登録 2024年10月14日 02:30
複数ワーカーでのTLCの活性チェックにおける健全性の問題を修正しました。
- TLC
- 複数ワーカーの活性チェックで性質違反を報告できない問題を修正。
Homebrewによりこのパッケージは無効化されています：90 日以上バージョン更新がありません
TLA+ Toolbox
TLA+ ツール向けの macOS 統合開発環境。仕様の編集、PlusCal の変換、TLC モデル検査、エラー トレースの探索、証明システムに対応します。
Cask開発ツールApple シリコン · Intel無効化済み
提供元 homebrew/cask
過去 30 日間のインストール数50
過去1年間のインストール数677過去365日間の合計
最新バージョン1.7.42024年8月5日 · 2024年8月5日
ダウンロードサイズ179MBarm64 / x86_64 · zip
更新頻度不定期過去30日間に0回リリース