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

CLI Impl » 0.35.0

The Aya proof assistant
Version0.35.0compared with

Version Details

0.34.0 0.35.0
Release dateNov 18, 2024Dec 08, 2024
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.34.0 0.35.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.34.00.35.0
~ Updated org.aya-prover » parser0.34.00.35.0

Runtime Changes (2)

0.34.0 0.35.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.34.00.35.0
~ Updated org.aya-prover » producer0.34.00.35.0