Version0.41.0compared with
Version Details
| 0.40.0 | 0.41.0 | |
|---|---|---|
| Release date | Nov 17, 2025 | Sep 27, 2026 |
| Licenses | MIT | MIT |
| Vulnerabilities | None | None |
Compile Changes (3)
| 0.40.0 | 0.41.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | com.google.code.gson » gson | 2.13.2 | 2.14.0 |
| ~ Updated | org.aya-prover » base | 0.40.0 | 0.41.0 |
| ~ Updated | org.aya-prover » parser | 0.40.0 | 0.41.0 |
Runtime Changes (2)
| 0.40.0 | 0.41.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.aya-prover » jit-compiler | 0.40.0 | 0.41.0 |
| ~ Updated | org.aya-prover » producer | 0.40.0 | 0.41.0 |