Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : certora-cli-alpha-shelly-certoraclipublish
Runner for the Certora Prover
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/certora-cli-alpha-shelly-certoraclipublish
License: MIT
Latest release: about 2 years ago
First release: about 2 years ago
Dependent repositories: 1
Downloads: 67 last month
Last synced: 6 days ago
certora-cli-alpha-naftali-library-methods-with-mapping 20221128.17.12
Runner for the Certora Prover1 version - Latest release: over 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-eyal-compilercollector 20220725.16.31
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-shelly-trusttokenhf 20220706.17.57
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover1 version - Latest release: about 2 years ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-shelly-fixcer-908 20220525.18.19
Runner for the Certora Prover12 versions - Latest release: about 2 years ago - 1 dependent repositories - 62 downloads last month - 1 maintainer
certora-cli-scripts-reorg 3.0.11
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: about 2 years ago - 29 downloads last month - 1 maintainer
certora-cli-maker-structs-staging 3.0.4
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: over 2 years ago - 21 downloads last month - 1 maintainer
certora-cli-blockswap 2.11.2
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: over 2 years ago - 13 downloads last month - 1 maintainer
certora-cli-maker-structs 3.0.0
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: over 2 years ago - 1 dependent repositories - 13 downloads last month - 1 maintainer
certora-cli-syndicate 2.6.1
Utilities for building smart contracts for verification using the Certora Prover, and for running...3 versions - Latest release: almost 3 years ago - 29 downloads last month - 1 maintainer
certora-cli-zesty 2.5.4
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: almost 3 years ago - 17 downloads last month - 1 maintainer
certora-cli-coinbase 2.4.1
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: about 3 years ago - 13 downloads last month - 1 maintainer