Name | Version | Summary | date |
---|---|---|---|
certora-cli-alpha-oz-gambitlinux | 20230710.11.11.234001 | Runner for the Certora Prover | 2023-07-10 11:12:14 |
certora-cli-alpha-shelly-fixgambit | 20230709.19.53.753095 | Runner for the Certora Prover | 2023-07-09 19:54:20 |
certora-cli-alpha-martin-lemmas-test | 20230707.14.24.752858 | Runner for the Certora Prover | 2023-07-07 14:24:23 |
certora-cli-alpha-oz-cli-by-os | 20230704.12.14.654666 | Runner for the Certora Prover | 2023-07-04 12:15:21 |
certora-cli-alpha-cnandi-morpho-equiv | 20230627.12.25.24093 | Runner for the Certora Prover | 2023-06-27 12:25:20 |
certora-cli-alpha-cnandi-equiv | 20230616.14.55.454503 | Runner for the Certora Prover | 2023-06-16 14:55:22 |
certora-cli-alpha-martin-z3-lemmas | 20230614.15.18.228622 | Runner for the Certora Prover | 2023-06-14 15:18:36 |
certora-cli-alpha-eytan-inline-instrumentation | 20230611.12.54.380387 | Runner for the Certora Prover | 2023-06-11 12:54:19 |
certora-cli-alpha-shelly-whenwillitbeoverinternalfunctions | 3.6.8.post4 | Runner for the Certora Prover | 2023-06-07 18:12:27 |
certora-cli-alpha-shelly-proverArgsNotPopulatedWithDualArgsFix | 20230604.21.12.34299 | Runner for the Certora Prover | 2023-06-04 21:12:16 |
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 |
hour | day | week | total |
---|---|---|---|
50 | 1934 | 10317 | 201588 |