Download all versions of io-hotmoka-instrumentation JAR files 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.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.6.0
Last update 02. June 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.5.0)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.5.0
Last update 20. April 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.5.0
Last update 20. April 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.4.3)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.4.3
Last update 04. April 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.4.3
Last update 04. April 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive 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.
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.4.1)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.4.1
Last update 24. February 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.4.1
Last update 24. February 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.4.0)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.4.0
Last update 21. January 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.4.0
Last update 21. January 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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.3.3)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.3.3
Last update 25. December 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.3
Last update 25. December 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.3.2)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.3.2
Last update 04. December 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.2
Last update 04. December 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.3.1)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.3.1
Last update 04. November 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.1
Last update 04. November 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.3.0)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.3.0
Last update 24. September 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.0
Last update 24. September 2023
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-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Page 1 from 3 (items total 26)