Homebrew отключил этот пакет: Версия не обновлялась более 90 дней

TLA+ Toolbox

IDE для macOS для работы с инструментами TLA+: редактирование спецификаций, перевод PlusCal, проверка моделей TLC, исследование трасс и доказательства.

CaskИнструменты разработкиЧип Apple · IntelОтключено

Главная

Источник homebrew/cask

Установки за последние 30 дней49

Установки за последний год679Всего за 365 дней

Последняя версия1.7.45 авг. 2024 г. · 5 авг. 2024 г.

Размер загрузки179МБarm64 / x86_64 · zip

Частота обновленийНерегулярно0 релизов за 30 дней

1.7.4
ПоследняяИсправлениепн, 5 авг. 2024 г.
Редакция OpenNavoДобавлено в Homebrew 14 окт. 2024 г. 02:30
Исправлена проблема корректности проверки живости TLC при работе с несколькими исполнителями.
TLC
Исправлен пропуск нарушений свойств при многопоточной проверке живости.