TLA+ Toolbox
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.
TLA+ Toolbox es una App para Mac de la categoría Herramientas de desarrollo.
Descripción
TLA+ Toolbox es un entorno de desarrollo integrado para trabajar con las herramientas de TLA+. Permite crear y editar especificaciones, localizar errores de análisis en los módulos de origen y ejecutar la traducción de PlusCal, con los errores de traducción señalados en el código.
Funciones principales:
- Consultar versiones con formato de los módulos.
- Ejecutar el comprobador de modelos TLC y explorar sus trazas de error, incluida la evaluación de fórmulas en los distintos pasos de una traza.
- Ejecutar el sistema de pruebas de TLA+.
Instálalo con brew install --cask tla+-toolbox. El cask instala la aplicación TLA+ Toolbox.app en /Applications. La descarga de macOS proporcionada es una compilación x86_64 y el cask requiere Rosetta. Para empezar, consulta la pantalla de bienvenida y las páginas de ayuda de Toolbox.
pdflatex solo es necesario si quieres usar el comando de salida PDF de Toolbox para los módulos con formato; se incluye en una instalación de LaTeX. Toolbox es un IDE para las herramientas de TLA+, no un editor de uso general.
Fuentes: TLA+ Toolbox · Cask de Homebrew
Novedades Novedades de 1.7.4 5 ago 2024 · Editado por OpenNavo · Traducción por IA
Corrige un problema de solidez en la comprobación de vivacidad de TLC con varios trabajadores.
Instalar y desinstalar
Homebrew instala la App en la carpeta Aplicaciones.
Instalar sin Homebrew
Descarga el mismo archivo que usa Homebrew: github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256 solo comprueba que la descarga esté completa; no es una certificación de seguridad. Ver el SHA-256 y la dirección de descarga
$ brew uninstall --cask \ tla+-toolboxUna desinstalación normal elimina la App y conserva sus ajustes y cachés.
Datos y fuentes
- Versión 1.7.4
- Homebrew la registró el 14 oct 2024El fabricante la publicó el 5 ago 2024
Preguntas frecuentes
¿Cómo actualizo TLA+ Toolbox?
Ejecuta brew upgrade --cask tla+-toolbox para obtener la última versión que registra Homebrew.
¿Puedo instalar TLA+ Toolbox sin Homebrew?
Sí, descárgala desde el sitio oficial, lamport.azurewebsites.net/tla/toolbox.html.