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

CLI Impl » 0.37.0

The Aya proof assistant
Version0.37.0compared with

Version Details

0.36.0 0.37.0
Release dateDec 18, 2024Jan 28, 2025
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.36.0 0.37.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.36.00.37.0
~ Updated org.aya-prover » parser0.36.00.37.0

Runtime Changes (2)

0.36.0 0.37.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.36.00.37.0
~ Updated org.aya-prover » producer0.36.00.37.0