Download io-hotmoka-instrumentation JAR file with all dependencies

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

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.6.0
Last update 02. June 2024
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)