PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| certora-cli-alpha-master | 20250711.6.12.223588 | Runner for the Certora Prover | 2025-07-11 06:13:01 |
| certora-cli | 7.25.2 | Runner for the Certora Prover | 2025-02-19 14:12:03 |
| certora-cli-beta | 7.25.1 | Runner for the Certora Prover | 2025-02-16 10:39:12 |
| certora-cli-beta-mirror | 7.25.1 | Runner for the Certora Prover | 2025-02-16 10:39:03 |
| certora-cli-alpha-oz-change-image | 20250108.10.38.781826 | Runner for the Certora Prover | 2025-01-08 10:38:20 |
| certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry | 20241224.11.41.25008 | Runner for the Certora Prover | 2024-12-24 11:42:09 |
| certora-cli-alpha-rahav-support-external-build-rahav | 20241216.17.42.449636 | Runner for the Certora Prover | 2024-12-16 17:42:44 |
| certora-cli-alpha-CERT-7596-Execute-Cargo-Build | 20241128.13.35.61632 | Runner for the Certora Prover | 2024-11-28 13:36:05 |
| certora-cli-alpha-rahav-CERT-7552-set-branch-in-alpha | 20241121.13.1.747316 | Runner for the Certora Prover | 2024-11-21 13:01:59 |
| certora-cli-alpha-rahav-cert-7153-5 | 20241118.16.5.481867 | Runner for the Certora Prover | 2024-11-18 16:05:49 |
| certora-cli-alpha-shelly-localAssignmentFinders | 20241109.13.42.43775 | Runner for the Certora Prover | 2024-11-09 13:42:34 |
| certora-cli-alpha-rahav-CERT-7153-summarization-2 | 20241024.16.1.723201 | Runner for the Certora Prover | 2024-10-24 16:01:50 |
| certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22 | 20240716.6.0.67489 | Runner for the Certora Prover | 2024-07-16 06:00:33 |
| 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
| hour | day | week | total |
|---|---|---|---|
| 96 | 2165 | 6596 | 294546 |