This module implements the verification algorithms for Takamaka programs.

LicenseApache 2.0
Tagsioverification
Ranking#64739 in MvnRepository (See Top Artifacts)
Used By6 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
1.3.x
1.3.2CentralDec 04, 2023
1.3.1CentralNov 04, 2023
1.3.0CentralSep 24, 2023
1.2.x
1.2.0CentralSep 02, 2023
1.1.x
1.1.2CentralJul 24, 2023
1.1.1CentralJun 18, 2023
1.1.0CentralMay 16, 2023
1.0.x
1.0.11CentralNov 11, 2022
1.0.10CentralSep 24, 2022
1.0.9CentralJun 28, 2022
1.0.8CentralFeb 22, 2022
1.0.7CentralJan 07, 2022
1.0.6CentralDec 07, 2021
1.0.5CentralNov 14, 2021
1.0.4CentralOct 01, 2021
1.0.3CentralAug 25, 2021
1.0.2CentralJul 23, 2021
1.0.1CentralJun 23, 2021
1.0.0CentralMay 11, 2021