Boogie
No summary available for this package.
Latest version published over 4 years ago
| Version | Released | Deprecated |
|---|---|---|
| 2.3.5 | Dec 22, 2019 | Dec 27, 2019 over 4 years ago |
Last updated on 19 January-2024, at 00:09 (UTC).
Got EOL?
Xeol can give you visibility into end-of-life (EOL) and deprecated packages across all your repositories. Try it out!
Description
An SMT-based program verifier.
FAQs
> Is Boogie Deprecated?
It appears there are some versions of Boogie that are deprecated.
> What is the deprecation date for the latest version of Boogie?
The latest version of Boogie was released on Dec 22, 2019, and it is now deprecated.
> What does deprecated mean?
Deprecated means that the package was either marked as deprecated on the package registry, or that the source code repository for the package was archived.