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

CLI Impl » 0.34.0

The Aya proof assistant
Version0.34.0compared with

Version Details

0.33.0 0.34.0
Release dateJun 09, 2024Nov 18, 2024
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (3)

0.33.0 0.34.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.code.gson » gson2.10.12.11.0
~ Updated org.aya-prover » base0.33.00.34.0
~ Updated org.aya-prover » parser0.33.00.34.0

Runtime Changes (3)

0.33.0 0.34.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.33.00.34.0
~ Updated org.aya-prover » producer0.33.00.34.0
~ Updated org.commonmark » commonmark0.22.00.24.0