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

CLI Impl » 0.32.0

The Aya proof assistant
Version0.32.0compared with

Version Details

0.31.0 0.32.0
Release dateMay 30, 2024Jun 03, 2024
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.31.0 0.32.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.31.00.32.0
~ Updated org.aya-prover » parser0.31.00.32.0

Runtime Changes (2)

0.31.0 0.32.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.31.00.32.0
~ Updated org.aya-prover » producer0.31.00.32.0