io-hotmoka-instrumentation-api

io.hotmoka

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

Recommended: 1.12.0 27 versions jar Updated 1 year ago The Apache License, Version 2.0Checking...

Add to your project1.11.4

<dependency>
    <groupId>io.hotmoka</groupId>
    <artifactId>io-hotmoka-instrumentation-api</artifactId>
    <version>1.11.4</version>
</dependency>

Version Details — 1.11.4

Packaging
jar
Direct Deps
0
Total Deps
0
Published
Unknown
License
The Apache License, Version 2.0

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

Checking security advisories...