The latest version of tree-sitter-tlaplus with no known security vulnerabilities is 1.5.0. We recommend installing version 1.5.0.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v1.5.0 at Oct. 20, 2024
- License
-
MIT (MIT License)
Description
A tree-sitter grammar for TLA⁺ and PlusCal
No known vulnerabilities found
Has known vulnerabilities
- 1.5.0
- 1.4.0
- 1.3.6
- 1.3.5
- 1.2.8
- 1.2.7
- 1.2.6
- 1.2.5
- 0.0.0