Download io-hotmoka-instrumentation JAR file with all dependencies

io-hotmoka-instrumentation from group io.hotmoka (version 1.4.2)

This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.

0 downloads

Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.4.2
Last update 09. March 2024
Tags: implements installed node hotmoka code before module this takamaka instrumentation being
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation
License The Apache License, Version 2.0
Dependencies amount 6
Dependencies io-hotmoka-instrumentation-api, io-hotmoka-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)