PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| certora-cli-alpha-eyalf-show-skolem-in-calltrace | 20230528.12.43.191738 | Runner for the Certora Prover | 2023-05-28 12:43:41 |
| certora-cli-alpha-shays-CERT-2259 | 20230528.11.10.175064 | Runner for the Certora Prover | 2023-05-28 11:10:36 |
| certora-cli-alpha-antti-symbol-counter | 20230526.18.43.740525 | Runner for the Certora Prover | 2023-05-26 18:43:31 |
| certora-cli-alpha-martin-lemmas-refactor | 20230526.13.22.461529 | Runner for the Certora Prover | 2023-05-26 13:22:38 |
| certora-cli-alpha-shays-CERT-2092 | 20230524.19.9.555265 | Runner for the Certora Prover | 2023-05-24 19:09:55 |
| certora-cli-alpha-jtoman-cert-2201 | 20230524.17.12.878229 | Runner for the Certora Prover | 2023-05-24 17:12:17 |
| certora-cli-alpha-EyalH-SeparationOfCompileAndCheck | 20230524.12.22.565643 | Runner for the Certora Prover | 2023-05-24 12:22:58 |
| certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor | 20230524.8.19.696974 | Runner for the Certora Prover | 2023-05-24 08:20:14 |
| certora-cli-alpha-shays-CERT-1717 | 20230524.8.18.915677 | Runner for the Certora Prover | 2023-05-24 08:18:33 |
| certora-cli-alpha-jtoman-full-support-for-types | 20230524.0.48.956045 | Runner for the Certora Prover | 2023-05-24 00:48:48 |
| certora-cli-alpha-mike-consolidate-errors | 20230523.19.24.524689 | Runner for the Certora Prover | 2023-05-23 19:24:23 |
| certora-cli-alpha-jaroslav-parallelSplitting | 20230523.13.31.326556 | Runner for the Certora Prover | 2023-05-23 13:31:30 |
| certora-cli-alpha-antti-lemma-type-filter | 20230523.13.10.116586 | Runner for the Certora Prover | 2023-05-23 13:10:24 |
| certora-cli-alpha-thomas-doc-type-checker | 20230522.23.21.1150 | Runner for the Certora Prover | 2023-05-22 23:21:25 |
| certora-cli-alpha-jtoman-direct-balance-access | 20230522.17.34.392534 | Runner for the Certora Prover | 2023-05-22 17:35:09 |
| certora-cli-alpha-martin-sflag | 20230522.13.19.110100 | Runner for the Certora Prover | 2023-05-22 13:19:44 |
| certora-cli-alpha-assaf-VerifyTACDump | 20230522.8.35.326662 | Runner for the Certora Prover | 2023-05-22 08:35:13 |
| certora-cli-alpha-jtoman-source-copy-refactor | 20230521.12.47.845196 | Runner for the Certora Prover | 2023-05-21 12:47:19 |
| certora-cli-alpha-eytan-view-reentrency | 20230521.11.8.373586 | Runner for the Certora Prover | 2023-05-21 11:09:02 |
| certora-cli-alpha-shelly-sanitybuiltin | 20230520.14.31.457473 | Runner for the Certora Prover | 2023-05-20 14:31:11 |
Certora
| hour | day | week | total |
|---|---|---|---|
| 54 | 1545 | 7290 | 285058 |