OpenNavo
Homebrew 已停用此包：超过 90 天没有版本更新

TLA+ Toolbox

面向 TLA+ 工具的 macOS 集成开发环境，支持规格编辑、PlusCal 翻译、TLC 模型检查、错误轨迹探索和证明系统。

Cask开发工具Apple 芯片 · Intel已停用
主页
来自 homebrew/cask
近 30 天安装54
近一年安装679365 天累计
最新版本1.7.42024年8月5日 · 2024年8月5日
下载大小179MBarm64 / x86_64 · zip
更新节奏不定期近 30 天 0 个版本

TLA+ Toolbox 是一款开发工具类 Mac 应用。

介绍

TLA+ Toolbox 是用于处理 TLA+ 工具的集成开发环境。它可帮助你创建和编辑规格，在源模块中查看解析错误，并运行 PlusCal 翻译，同时在代码中标出翻译错误。

主要能力包括：

  • 查看模块的美化打印版本。
  • 运行 TLC 模型检查器并探索其错误轨迹，包括在轨迹各步骤求值公式。
  • 运行 TLA+ 证明系统。

使用 brew install --cask tla+-toolbox 安装。此 cask 会将 TLA+ Toolbox.app 安装到 /Applications。提供的 macOS 下载是 x86_64 构建，且此 cask 需要 Rosetta。可从 Toolbox 欢迎屏幕和帮助页面开始使用。

只有在需要使用 Toolbox 的 PDF 输出命令生成美化打印模块时才需要 pdflatex；它由 LaTeX 安装提供。Toolbox 是面向 TLA+ 工具的 IDE，并非通用编辑器。

来源：TLA+ Toolbox · Homebrew cask

新版本 1.7.4 更新内容 2024年8月5日 · OpenNavo 编辑 · AI 翻译

  • TLC修复多工作线程活性检查中可能漏报属性违反的问题。
查看全部 1 个版本

安装与卸载

Homebrew 会把应用安装到“应用程序”文件夹。

不用 Homebrew 安装

直接下载 Homebrew 使用的同一个文件： github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip

SHA-256 只用来核对下载的文件是否完整，不代表安全认证。 查看 SHA-256 和下载地址

卸载命令
$ brew uninstall --cask \tla+-toolbox

普通卸载会删除应用本身，设置和缓存会保留。

资料与来源

版本 1.7.4
Homebrew 记录于 2024年10月14日厂商发布于 2024年8月5日

常见问题

TLA+ Toolbox 安全吗？

TLA+ Toolbox 收录在 Homebrew 官方软件库中，没有被停用。自 2026 年 9 月起，Homebrew 会停用没有通过 macOS Gatekeeper 检查的应用。安装时，Homebrew 会用 SHA-256 校验值核对来自 github.com 的安装包。过去 30 天，它通过 Homebrew 安装了 54 次。

TLA+ Toolbox 是开源软件吗？

TLA+ Toolbox 的源代码公开在 GitHub 上（tlaplus/tlaplus），使用 MIT 许可证。

怎样在 Mac 上彻底卸载 TLA+ Toolbox？

运行 brew uninstall --cask tla+-toolbox。

TLA+ Toolbox 支持 Apple 芯片（M1 及更新）的 Mac 吗？

可以安装，但在 Apple 芯片的 Mac 上要通过 Rosetta 2 运行。

TLA+ Toolbox 的最新版本是多少？

最新版本是 1.7.4，Homebrew 收录于 2024年10月14日。运行 brew upgrade --cask tla+-toolbox 即可更新。