Home » org.aya-prover » cli-impl » 0.31.0 » Changes

CLI Impl » 0.31.0

The Aya proof assistant
Version0.31.0compared with

Version Details

0.30.0 0.31.0
Release dateJan 04, 2024May 30, 2024
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.30.0 0.31.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.30.00.31.0
~ Updated org.aya-prover » parser0.30.00.31.0

Runtime Changes (4)

0.30.0 0.31.0
ChangeGroup / ArtifactPreviousCurrent
+ Added org.aya-prover » jit-compiler-0.31.0
+ Added org.aya-prover » producer-0.31.0
+ Added org.commonmark » commonmark-0.22.0
- Removed org.aya-prover » commonmark0.21.1-