OpenNavo
Sin versiones nuevas durante más de 90 días, OpenNavo ha pausado su recomendación e instalación. Homebrew sigue ofreciendo esta app.

TLA+ Toolbox Historial de versiones

IDE para macOS destinada a las herramientas de TLA+: edición de especificaciones, traducción de PlusCal, comprobación de modelos con TLC, exploración de trazas y pruebas.

CaskHerramientas de desarrolloChip Apple · IntelPausada por OpenNavo
Inicio
De homebrew/cask
Instalaciones en los últimos 30 días
64
Instalaciones del último año
684
Total de los últimos 365 días
Última versión
1.7.4
5 ago 2024 · 5 ago 2024
Tamaño de descarga
179MB
arm64 / x86_64 · zip
Frecuencia de actualización
Irregular
0 versiones en 30 días

  1. 1.7.4

    ActualizadoParche

    Editado por OpenNavo Inclusión en Homebrew Traducción con IA

    CompatibilidadNo es nativa en chips de Apple

    Corrige un problema de solidez en la comprobación de vivacidad de TLC con varios trabajadores.

    TLA+ Toolbox 1.7.4 corrige un problema de TLC: al ejecutar la comprobación de vivacidad con varios trabajadores, TLC podía no informar de una violación de una propiedad, por lo que el resultado no era sólido.

    Fuente: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.4

    • Corrige la omisión de violaciones de propiedades en la comprobación de vivacidad multiworker.