Download all versions of io-hotmoka-verification-api JAR files with all dependencies

io-hotmoka-verification-api from group io.hotmoka (version 1.2.0)

This module defines the API of the verification algorithms for Takamaka programs.

0 downloads

Artifact io-hotmoka-verification-api
Group io.hotmoka
Version 1.2.0
Last update 02. September 2023
Tags: algorithms module this takamaka programs verification defines
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-whitelisting-api, bcel,
There are maybe transitive dependencies!

This module defines the API of the verification algorithms for Takamaka programs.

0 downloads

Artifact io-hotmoka-verification-api
Group io.hotmoka
Version 1.1.2
Last update 24. July 2023
Tags: algorithms module this takamaka programs verification defines
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-whitelisting-api, bcel,
There are maybe transitive dependencies!

This module defines the API of the verification algorithms for Takamaka programs.

0 downloads

Artifact io-hotmoka-verification-api
Group io.hotmoka
Version 1.1.1
Last update 18. June 2023
Tags: algorithms module this takamaka programs verification defines
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-whitelisting-api, bcel,
There are maybe transitive dependencies!

Page 2 from 2 (items total 13)