| Name | Version | Summary | date |
| certora-cli-alpha-master |
20220629.22.49 |
Runner for the Certora Prover |
2022-06-29 22:49:35 |
| certora-cli-alpha-shelly-hf09062022 |
20220609.18.49 |
Runner for the Certora Prover |
2022-06-09 18:49:35 |
| certora-cli-alpha-shelly-fixCER-908 |
20220525.18.19 |
Runner for the Certora Prover |
2022-05-25 18:19:26 |
| certora-cli |
3.2.0 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2022-05-23 09:07:15 |
| certora-cli-alpha-shelly-certoraCliPublish |
20220517.9.2 |
Runner for the Certora Prover |
2022-05-17 09:02:39 |
| certora-cli-scripts-reorg |
3.0.11 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2022-03-20 13:25:12 |
| certora-cli-maker-structs-staging |
3.0.4 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2022-03-02 22:37:47 |
| certora-cli-syndicate |
2.5.4 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2021-07-15 15:23:54 |
| certora-cli-zesty |
2.5.4 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2021-06-29 14:59:56 |
| certora-cli-coinbase |
2.4.1 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2021-04-22 10:44:48 |
| certora-cli-beta |
1.0.16 |
Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover |
2020-12-08 09:31:06 |
Certora