An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Version0.6.0compared with
Version Details
| 0.5.5 | 0.6.0 | |
|---|---|---|
| Release date | Dec 17, 2025 | Apr 10, 2026 |
| Licenses | BSD 3-clause | BSD 3-clause |
| Vulnerabilities | None | None |
No dependency changes compared to the selected version.