The latest version of hpl-specs with no known security vulnerabilities is 1.4.0. We recommend installing version 1.4.0.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v1.4.0 at Nov. 20, 2023
- License
-
MIT (MIT License)
Description
High-level Property Specification Language
No known vulnerabilities found
Has known vulnerabilities
- 1.4.0
- 1.3.0
- 1.2.0
- 1.1.2
- 1.1.1
- 1.1.0
- 1.0.0
- 0.2.3
- 0.2.2
- 0.2.1
- 0.2.0
- 0.1.2
- 0.1.0