Download io-hotmoka-instrumentation-api JAR file with all dependencies
io-hotmoka-instrumentation-api from group io.hotmoka (version 1.3.0)
This module defines the API of the instrumentation of Takamaka code before being installed in a Hotmoka node.
0 downloads
Artifact io-hotmoka-instrumentation-api
Group io.hotmoka
Version 1.3.0
Last update 24. September 2023
Tags: installed node hotmoka code before module this takamaka instrumentation being defines
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-verification-api, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.0
Last update 24. September 2023
Tags: installed node hotmoka code before module this takamaka instrumentation being defines
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-verification-api, it-univr-bcel,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)