@tlaplus/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
Licenses: MIT

Direct Vulnerabilities

No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

Does your project rely on vulnerable package dependencies?

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

Scan for indirect vulnerabilities
No vulnerabilities found

No vulnerabilities found in the latest version

Package versions

36 VERSIONS IN TOTAL See all versions
versionpublisheddirect vulnerabilities
1.5.020 Oct, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.4.029 Sep, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.617 May, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.515 May, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.415 May, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.222 Apr, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.3.122 Apr, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.818 Apr, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.713 Apr, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.2.44 Apr, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L