Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org maintainers: shellyg
Top 3.8% on pypi.org
79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.9 thousand downloads last month - 2 maintainers
certora-cli 20221225.14.17
Runner for the Certora Prover79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.9 thousand downloads last month - 2 maintainers
certora-cli-alpha-abakst-storage-analysis-infeasible-states-cvl 20230519.20.32.343967
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-abakst-storage-analysis-static-arrays-again 20230501.20.19.383779
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-alex-configscope 20230515.13.10.603022
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 42 downloads last month - 1 maintainer
certora-cli-alpha-alex-cvl-range-meta-fix 20230509.18.32.798391
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-alex-handle-array-index-subtraction 20230511.15.25.260028
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-alex-int-to-skey 20230519.16.44.278153
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 41 downloads last month - 1 maintainer
certora-cli-alpha-alex-mapdefinition-tacvalue 20230517.13.41.849820
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 65 downloads last month - 1 maintainer
certora-cli-alpha-alex-more-cvlrange-meta 20230504.20.48.701468
Runner for the Certora Prover12 versions - Latest release: about 1 year ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-alex-more-cvlrange-meta-try-ors-fix 20230504.16.5.826473
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-alex-salvage-interpreter 20230504.19.58.31213
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-enable-default-events 20230504.19.39.511001
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-events-metadata-json 20230504.19.14.590865
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-or-ruleevents 20230502.7.12.115835
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 34 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-treeviewpath-hash 20230518.7.6.738699
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 49 downloads last month - 1 maintainer
certora-cli-alpha-alex-yuvalbd-merge-3661-hash-families-cherry-pick 20230505.11.0.395012
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 37 downloads last month - 1 maintainer
certora-cli-alpha-andrew-satisfy 20230519.10.34.755092
Runner for the Certora Prover10 versions - Latest release: about 1 year ago - 77 downloads last month - 1 maintainer
certora-cli-alpha-antti-learned-lemma-passing-cvl2 20230517.9.39.262005
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 38 downloads last month - 1 maintainer
certora-cli-alpha-antti-lemma-type-filter 20230523.13.10.116586
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-antti-length-filters-only 20230523.13.5.197551
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-antti-prefer-cvc5 20230517.9.51.374495
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-antti-symbol-counter 20230526.18.43.740525
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 48 downloads last month - 1 maintainer
certora-cli-alpha-antti-tmp-master 20230517.10.24.804060
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-antti-z3-lemmas-test 20230721.6.59.265485
Runner for the Certora Prover7 versions - Latest release: 10 months ago - 51 downloads last month - 1 maintainer
certora-cli-alpha-assaf-braveorstupidexperiment 20230515.16.8.174804
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacbifalias 20230510.12.40.215656
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 50 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacnewformat-autoprinting 20230504.14.35.915675
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacsummaryandannotationserialize 20230523.12.59.505732
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 77 downloads last month - 1 maintainer
certora-cli-alpha-assaf-ufattribute2enum 20230504.12.19.415290
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-assaf-verifytacdump 20230522.8.35.326662
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-benkushigian-gambit-refactor 20230515.21.33.922374
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 60 downloads last month - 1 maintainer
certora-cli-alpha-bgreenwald-constant-scratch-soundness 20230517.23.18.209263
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 50 downloads last month - 1 maintainer
certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230503.8.12.233273
Runner for the Certora Prover23 versions - Latest release: about 1 year ago - 162 downloads last month - 1 maintainer
certora-cli-alpha-cert-2181-support-currentcontract-in-ghosts 20230516.14.5.438179
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-csv-nit 20230817.18.13.256370
Runner for the Certora Prover1 version - Latest release: 9 months ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-equiv 20230616.14.55.454503
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-gambit-path 20230812.2.16.70975
Runner for the Certora Prover3 versions - Latest release: 10 months ago - 60 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-morpho-equiv 20230627.14.19.126621
Runner for the Certora Prover16 versions - Latest release: 11 months ago - 93 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-python-wrapper 20230307.20.52
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-revert-mutation-tool 20231129.20.22.551569
Runner for the Certora Prover1 version - Latest release: 6 months ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-cozy 20230407.14.48.209420
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 15 downloads last month - 1 maintainer
certora-cli-alpha-cvl-rewrite 20230317.18.29
Runner for the Certora Prover83 versions - Latest release: about 1 year ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-dominik-change-mus-enumeration-solver 20230519.9.3.809548
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-dominik-debug-of-mus-tests 20230503.13.47.900850
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 98 downloads last month - 1 maintainer
certora-cli-alpha-dominik-mus-enumeration-tests 20230503.15.17.377241
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-dominik-unsat-cores-to-mus-solver 20230516.11.30.6688
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 36 downloads last month - 1 maintainer
certora-cli-alpha-dudi-add-warning-config 20230511.18.37.596736
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-dudi-cert-2090 20230518.11.36.157029
Runner for the Certora Prover8 versions - Latest release: about 1 year ago - 67 downloads last month - 1 maintainer
certora-cli-alpha-dudi-ci-dynamic 20230314.6.30.405610
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 35 downloads last month - 1 maintainer
certora-cli-alpha-dudi-fix-publish-cli-fix-version 20230308.15.12.970160
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-equiv-check 20230516.17.29.646534
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-eric-autodetekt 20230502.17.24.966353
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-eric-fp 20230515.22.41.681647
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 48 downloads last month - 1 maintainer
certora-cli-alpha-eric-gvn 20230518.0.37.225030
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-eric-internalsummarizer 20230515.16.36.972503
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-eric-kotlin1.8 20230508.22.50.172887
Runner for the Certora Prover12 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-eric-perf 20230516.21.40.933902
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 54 downloads last month - 1 maintainer
certora-cli-alpha-eric-pta 20230503.22.48.812882
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-eric-serialmodule 20230511.1.31.706962
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-eric-stack 20230512.21.59.763902
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-eric-stack2 20230512.19.58.270343
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-eric-summ2 20230515.14.50.500759
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-eric-toolchain 20230515.18.52.147947
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-eric-topofstack 20230510.0.34.798237
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 53 downloads last month - 1 maintainer
certora-cli-alpha-eyal-compilercollector 20220725.16.31
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-add-tests-for-calltrace-functions 20230501.21.47.359678
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 37 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-clean-evaldcvlexp 20230518.9.27.300058
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 20230509.8.42.562952
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 20230517.20.21.147787
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-improve-iscopyloop 20230509.14.7.115101
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-optimize-imports 20230519.14.8.976057
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-show-cvl-functions-in-calltrace 20230510.17.20.560733
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 33 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-show-skolem-in-calltrace 20230528.12.43.191738
Runner for the Certora Prover1 version - Latest release: 12 months ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-split-calltrace-loop 20230501.17.30.174908
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-test-pr-for-codeowners-exclude 20230509.8.53.123505
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-calltraceerrorstoproblemview 20230504.10.52.611423
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-flattencalleehierarchy 20230514.13.15.224961
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-frontendtesting 20230515.13.2.152144
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-loopsnippet 20230509.19.57.140937
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 8 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-separationofcompileandcheck 20230524.12.22.565643
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-sighashresolvedinmethodblock 20230511.17.6.901354
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 36 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-transferonlyonpayablefunc 20230518.21.36.865154
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-eytan-inline-instrumentation 20230611.12.54.380387
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 43 downloads last month - 1 maintainer
certora-cli-alpha-eytan-view-reentrency 20230521.11.8.373586
Runner for the Certora Prover14 versions - Latest release: about 1 year ago - 113 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1836-autodetect-bv 20230522.11.7.514627
Runner for the Certora Prover14 versions - Latest release: about 1 year ago - 141 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1923-rm-bv-operators 20230509.9.28.363297
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 14 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1932-rm-query-from-results 20230504.10.8.506518
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover 20230510.15.46.300631
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 38 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2041-convert-to-lists 20230515.9.32.575376
Runner for the Certora Prover13 versions - Latest release: about 1 year ago - 192 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2093-update-gradle-git-version 20230510.8.10.116752
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2107-consolidate-logging 20230515.7.43.549676
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 54 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2123-use-reset-assertions 20230516.11.1.160371
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 59 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2195-separate-query-from-result 20230517.6.58.428550
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2296-configscope-default 20230524.9.3.371908
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 20230524.8.19.696974
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 31 downloads last month - 1 maintainer
certora-cli-alpha-ghila-enable-event-reporting 20230507.6.51.268658
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-gilad-cert-1843-keep-canon-symbol-prefixes 20230517.11.9.899050
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 76 downloads last month - 1 maintainer
certora-cli-alpha-guy-sanity-in-problems 20230516.17.0.407223
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 6 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-parallelsplitting 20230523.13.31.326556
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-ucstats2 20230514.19.10.306778
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 50 downloads last month - 1 maintainer