Home » io.hotmoka » io-hotmoka-verification

IO Hotmoka Verification

This module implements the verification algorithms for Takamaka programs.

LicenseApache 2.0
Tagsioverification
Ranking#75380 in MvnRepository (See Top Artifacts)
Used By5 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
1.2.x
1.2.0Central
4
Sep 02, 2023
1.1.x
1.1.2Central
4
Jul 24, 2023
1.1.1Central
4
Jun 18, 2023
1.1.0Central
4
May 16, 2023
1.0.x
1.0.11Central
4
Nov 11, 2022
1.0.10Central
4
Sep 24, 2022
1.0.9Central
4
Jun 28, 2022
1.0.8Central
4
Feb 22, 2022
1.0.7Central
4
Jan 07, 2022
1.0.6Central
4
Dec 07, 2021
1.0.5Central
4
Nov 14, 2021
1.0.4Central
4
Oct 01, 2021
1.0.3Central
4
Aug 25, 2021
1.0.2Central
4
Jul 23, 2021
1.0.1Central
4
Jun 23, 2021
1.0.0Central
4
May 11, 2021