O Homebrew desativou este pacote: Sem atualização de versão há mais de 90 dias

TLA+ Toolbox

IDE para macOS voltada às ferramentas TLA+, com edição de especificações, tradução de PlusCal, verificação de modelos TLC, exploração de rastros e provas.

CaskFerramentas de desenvolvimentoApple Silicon · IntelDesativado

Página inicial

Fonte homebrew/cask

Instalações nos últimos 30 dias49

Instalações no último ano680Total em 365 dias

Versão mais recente1.7.45 de ago. de 2024 · 5 de ago. de 2024

Tamanho do download179MBarm64 / x86_64 · zip

Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias

1.7.4
AtualizadoCorreçõesseg., 5 de ago. de 2024
Editoria OpenNavoInclusão no Homebrew 14 de out. de 2024 02:30
Corrige um problema de solidez na verificação de vivacidade do TLC com vários workers.
TLC
Corrige violações de propriedades não relatadas na verificação multiworker.