All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download io-hotmoka-verification-api JAR 1.6.0 with all dependencies


    This module defines the API of the verification algorithms for Takamaka programs.

    Files of the artifact io-hotmoka-verification-api version 1.6.0 from the group io.hotmoka.

    Test

    Download io-hotmoka-verification-api (1.6.0)
    Artifact io-hotmoka-verification-api
    Group io.hotmoka
    Version 1.6.0
    Last update 02. June 2024
    Organization Hotmoka
    URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
    License The Apache License, Version 2.0
    Dependencies amount 2
    Dependencies io-hotmoka-whitelisting-api, bcel,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of io-hotmoka-verification-api Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of io-hotmoka-verification-api version 1.6.0

    Please wait ...




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy