Name | Version | Summary | date |
---|---|---|---|
certora-cli-alpha-master | 20240425.23.12.778250 | Runner for the Certora Prover | 2024-04-25 23:12:44 |
certora-cli-beta | 7.5.0 | Runner for the Certora Prover | 2024-04-19 08:57:19 |
certora-cli | 7.3.0 | Runner for the Certora Prover | 2024-04-11 09:17:34 |
certora-cli-alpha-shelly-granularControlPTAOptimizations | 20240315.15.32.652984 | Runner for the Certora Prover | 2024-03-15 15:32:23 |
certora-cli-alpha-maker-multicall | 20240309.17.30.434038 | Runner for the Certora Prover | 2024-03-09 17:30:48 |
certora-cli-alpha-cnandi-revert-mutation-tool | 20231129.20.22.551569 | Runner for the Certora Prover | 2023-11-29 20:22:42 |
certora-cli-alpha-shelly-ef | 20231127.9.32.271980 | Runner for the Certora Prover | 2023-11-27 09:32:52 |
certora-cli-alpha-nast-mutation-test-urls | 20231029.20.9.985934 | Runner for the Certora Prover | 2023-10-29 20:09:22 |
certora-cli-alpha-shelly-cert3672astariabuild | 20231007.21.31.820875 | Runner for the Certora Prover | 2023-10-07 21:32:06 |
certora-cli-alpha-nast-gambit-on-the-cloud-phase2 | 20231003.11.22.780268 | Runner for the Certora Prover | 2023-10-03 11:22:39 |
certora-cli-alpha-nast-mutation-test | 20230905.8.3.707745 | Runner for the Certora Prover | 2023-09-05 08:04:05 |
certora-cli-alpha-naftali-CERT-3254-method-supports-all-methods-in-scene | 20230829.17.24.993199 | Runner for the Certora Prover | 2023-08-29 17:24:41 |
certora-cli-alpha-cnandi-csv-nit | 20230817.18.13.256370 | Runner for the Certora Prover | 2023-08-17 18:13:26 |
certora-cli-alpha-cnandi-gambit-path | 20230812.2.16.70975 | Runner for the Certora Prover | 2023-08-12 02:16:55 |
certora-cli-alpha-reentrancy | 20230807.19.35.246204 | Runner for the Certora Prover | 2023-08-07 19:35:25 |
certora-cli-alpha-uri-eradicate-certora-dir | 20230801.15.42.608313 | Runner for the Certora Prover | 2023-08-01 15:42:48 |
certora-cli-alpha-samwise-add-mutation-features | 20230726.20.23.790285 | Runner for the Certora Prover | 2023-07-26 20:24:11 |
certora-cli-alpha-martin-z3-lemmas-test | 20230721.13.33.288325 | Runner for the Certora Prover | 2023-07-21 13:34:00 |
certora-cli-alpha-antti-z3-lemmas-test | 20230721.6.59.265485 | Runner for the Certora Prover | 2023-07-21 07:00:07 |
certora-cli-alpha-oz-pinnedgambit | 20230713.8.2.496097 | Runner for the Certora Prover | 2023-07-13 08:02:54 |
hour | day | week | total |
---|---|---|---|
88 | 2185 | 10413 | 201399 |