Shelly

certora-cli-alpha-master

Last released Nov 22, 2024

Runner for the Certora Prover

certora-cli-beta

Last released Nov 21, 2024

Runner for the Certora Prover

certora-cli-beta-mirror

Last released Nov 21, 2024

Runner for the Certora Prover

certora-cli-alpha-rahav-CERT-7552-set-branch-in-alpha

Last released Nov 21, 2024

Runner for the Certora Prover

certora-cli

Last released Nov 20, 2024

Runner for the Certora Prover

certora-cli-alpha-rahav-cert-7153-5

Last released Nov 18, 2024

Runner for the Certora Prover

certora-cli-alpha-shelly-localAssignmentFinders

Last released Nov 9, 2024

Runner for the Certora Prover

certora-cli-alpha-rahav-CERT-7153-summarization-2

Last released Oct 24, 2024

Runner for the Certora Prover

certora-cli-alpha-rahav-CERT-7094-clean-container-collect-2

Last released Sep 5, 2024

Runner for the Certora Prover

certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22

Last released Jul 16, 2024

Runner for the Certora Prover

certora-cli-alpha-shelly-granularControlPTAOptimizations

Last released Mar 15, 2024

Runner for the Certora Prover

certora-cli-alpha-maker-multicall

Last released Mar 9, 2024

Runner for the Certora Prover

cvldoc-parser

Last released Feb 25, 2024

certora-cli-alpha-cnandi-revert-mutation-tool

Last released Nov 29, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-ef

Last released Nov 27, 2023

Runner for the Certora Prover

certora-cli-alpha-nast-mutation-test-urls

Last released Oct 30, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-cert3672astariabuild

Last released Oct 7, 2023

Runner for the Certora Prover

certora-cli-alpha-nast-gambit-on-the-cloud-phase2

Last released Oct 3, 2023

Runner for the Certora Prover

certora-cli-alpha-nast-mutation-test

Last released Sep 5, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-3254-method-supports-all-methods-in-scene

Last released Aug 29, 2023

Runner for the Certora Prover

certora-cli-alpha-cnandi-csv-nit

Last released Aug 17, 2023

Runner for the Certora Prover

certora-cli-alpha-cnandi-gambit-path

Last released Aug 12, 2023

Runner for the Certora Prover

certora-cli-alpha-reentrancy

Last released Aug 7, 2023

Runner for the Certora Prover

certora-cli-alpha-uri-eradicate-certora-dir

Last released Aug 1, 2023

Runner for the Certora Prover

certora-cli-alpha-samwise-add-mutation-features

Last released Jul 26, 2023

Runner for the Certora Prover

certora-cli-alpha-martin-z3-lemmas-test

Last released Jul 21, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-z3-lemmas-test

Last released Jul 21, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-pinnedgambit

Last released Jul 13, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-gambitlinux

Last released Jul 10, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-fixgambit

Last released Jul 9, 2023

Runner for the Certora Prover

certora-cli-alpha-martin-lemmas-test

Last released Jul 7, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-cli-by-os

Last released Jul 4, 2023

Runner for the Certora Prover

certora-cli-alpha-cnandi-morpho-equiv

Last released Jun 27, 2023

Runner for the Certora Prover

certora-cli-alpha-cnandi-equiv

Last released Jun 16, 2023

Runner for the Certora Prover

certora-cli-alpha-martin-z3-lemmas

Last released Jun 14, 2023

Runner for the Certora Prover

certora-cli-alpha-eytan-inline-instrumentation

Last released Jun 11, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-whenwillitbeoverinternalfunctions

Last released Jun 7, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-proverArgsNotPopulatedWithDualArgsFix

Last released Jun 4, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-show-skolem-in-calltrace

Last released May 28, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-2259

Last released May 28, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-symbol-counter

Last released May 26, 2023

Runner for the Certora Prover

certora-cli-alpha-martin-lemmas-refactor

Last released May 26, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-2092

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2201

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-1717

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-SeparationOfCompileAndCheck

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2296-configscope-default

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-full-support-for-types

Last released May 24, 2023

Runner for the Certora Prover

certora-cli-alpha-mike-consolidate-errors

Last released May 23, 2023

Runner for the Certora Prover

certora-cli-alpha-jaroslav-parallelSplitting

Last released May 23, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-lemma-type-filter

Last released May 23, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-length-filters-only

Last released May 23, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

Last released May 23, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-doc-type-checker

Last released May 22, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-direct-balance-access

Last released May 22, 2023

Runner for the Certora Prover

certora-cli-alpha-martin-sflag

Last released May 22, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-1836-autodetect-bv

Last released May 22, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-VerifyTACDump

Last released May 22, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-source-copy-refactor

Last released May 21, 2023

Runner for the Certora Prover

certora-cli-alpha-eytan-view-reentrency

Last released May 21, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-sanitybuiltin

Last released May 20, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-jumptodefReport

Last released May 20, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2191

Last released May 20, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2104

Last released May 20, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2122

Last released May 20, 2023

Runner for the Certora Prover

certora-cli-alpha-abakst-storage-analysis-infeasible-states-cvl

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-int-to-skey

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-cert-1987-update-regTest

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-optimize-imports

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-andrew-satisfy

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-dominik-change-mus-enumeration-solver

Last released May 19, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-TransferOnlyOnPayableFunc

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-remove-library-keyword

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-better-finders

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2178

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-or-cvlSerialization2

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-2066-b

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-function-signature-formatting

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-shay-Lexp

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-omer-CERT-945-inside-assert-the-assumptions-are-not-affect-assert-cast

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-2222-versions

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-dudi-CERT-2090

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-update-reallife

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-test-submodule-codeowner

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1955-quickfix

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-clean-EvaldCVLExp

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-uri-remove-last-conf-dir

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-overapproximate-signextend

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-alexstolr-treeviewpath-hash

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2127

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-gvn

Last released May 18, 2023

Runner for the Certora Prover

certora-cli-alpha-bgreenwald-constant-scratch-soundness

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-2192

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-uri-use-certora-cli-req-in-publish-script

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-faster-signExtend

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-1717-b

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-mapdefinition-tacvalue

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-gilad-CERT-1843-keep-canon-symbol-prefixes

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-tmp-master

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-prefer-cvc5

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-antti-learned-lemma-passing-cvl2

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-2194-hook-inlining-bad-call-index

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2195-separate-query-from-result

Last released May 17, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-infinite-loop-fix

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-perf

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-equiv-check

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-Guy-sanity-in-problems

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-mike-migration-script

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-mike-range-structure

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-CERT-2189-bad-error-message

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-CERT-2181-support-currentContract-in-ghosts

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-betterGlobalErrorMessaging

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-uri-broaden-server

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-dominik-unsat-cores-to-mus-solver

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2123-use-reset-assertions

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1891-allocId-e

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1955-assertHits

Last released May 16, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-fp

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-benkushigian-gambit-refactor

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-direct-storage-comparison

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-toolchain

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-try-catch

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-internalSummarizer

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-braveOrStupidExperiment

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-sitvanit-set-can-be-empty

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-summ2

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-configscope

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-FrontendTesting

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-docker-json5

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1844-usage

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-kit-annotation

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-1883-support-multiple-blocks-in-hook

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2041-convert-to-lists

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-1884-prevent-solidity-func-as-summary

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2107-consolidate-logging

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-sitvanit-no-payable-bug

Last released May 15, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-2050-convert-bool-internal-summary-arguments

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-jaroslav-UCStats2

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-FlattenCalleeHierarchy

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-cacheworkaround

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-hidespecfiles

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-fixcanonicalid

Last released May 14, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-stack

Last released May 12, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-stack2

Last released May 12, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-releasewithci

Last released May 12, 2023

Runner for the Certora Prover

certora-cli-alpha-dudi-add-warning-config

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-less-verbose-errors

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-SighashResolvedInMethodBlock

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-static-arrays-splitting

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-handle-array-index-subtraction

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-serialModule

Last released May 11, 2023

Runner for the Certora Prover

certora-cli-alpha-niv-fix-check-results

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-liveness-fix

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-vyper-fix

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-condexp-fix

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-show-cvl-functions-in-calltrace

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-sqs-non-empty-lists

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-TACBifAlias

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-2093-update-gradle-git-version

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-nightlyfixes

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-topOfStack

Last released May 10, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-LoopSnippet

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-cvl-range-meta-fix

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1891-allocId-c

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-improve-isCopyLoop

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-uri-generate-link-json

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-non-empty-list-soundness

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-jaroslav-unsatCoreStats

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-Liav-Add-Internal-Only-Lib-Support

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-1923-rm-bv-operators

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-roy-CERT-1891-allocId-c

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-test-pr-for-codeowners-exclude

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-doc-cvl-type

Last released May 9, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-kotlin1.8

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-library-tests

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-gmx-init

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-rule-events-error-checking-part-two

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-betterCertoraException

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-or-disableAutoGenAssertFiltering

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-1936-multiple-envfree-errors

Last released May 8, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-1861-c

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-longTests

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-shays-CERT-1024-move-to-positive

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-Shahar-ValueRangeAnalysis

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-ghila-enable-event-reporting

Last released May 7, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-allow-splitting-on-delegates

Last released May 6, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-mymaster

Last released May 6, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-yuvalbd-merge-3661-hash-families-cherry-pick

Last released May 5, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-ruleCacheDisable

Last released May 5, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-cert-1920

Last released May 5, 2023

Runner for the Certora Prover

certora-cli-alpha-otakar-single-race-mode2

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-more-cvlrange-meta

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-salvage-interpreter

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-alexstolr-enable-default-events

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-alexstolr-events-metadata-json

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-jaroslav-UnsatCoreAggregator

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-or-treeViewConcurrency

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-Shahar-CERT-1859

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-alex-more-cvlrange-meta-try-ors-fix

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-niv-Add-summary-unittests

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-TACNewFormat-autoPrinting

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-nicerresultstxt

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-fixviewreentrancy

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-usabilityfixserialization

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-assaf-UFAttribute2Enum

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-fixes-python-curse

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-EyalH-CallTraceErrorsToProblemView

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-gereon-cert-1932-rm-query-from-results

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-plus-minus-simplification

Last released May 4, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-pta

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-fix-address

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-rule-events-error-checking

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1891-tmpAllocExpectTimeout

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-roy-CERT-1891-tmp-alloc

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-dominik-MUS-enumeration-tests

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-dominik-debug-of-mus-tests

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-postautofinders

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-CERT1958ErrorCodes

Last released May 3, 2023

Runner for the Certora Prover

certora-cli-alpha-eric-autoDetekt

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-mike-cvl2-migration-errors

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-otakar-lxfAddedToConfig

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-naftali-library-love

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-cert-1982-2

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-cert-1982

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-fallback-storage-type-bounder

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-alexstolr-or-ruleEvents

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-signed-storage-fix

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-yoav-signed-stuff-1

Last released May 2, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-deepfixes

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-add-tests-for-CallTrace-functions

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-jtoman-gmx-set-data

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-abakst-storage-analysis-static-arrays-again

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-eyalf-split-CallTrace-loop

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-deep2

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-thomas-tac-type-checker

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-UFAttribute2Enum

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-deepSanity

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-rahav-CERT-1849

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-yuvalbd-skey-detection

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-certoraclibeta

Last released May 1, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-package-eqchecker

Last released Apr 11, 2023

Runner for the Certora Prover

certora-cli-alpha-cozy

Last released Apr 7, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-oopsla

Last released Apr 7, 2023

Runner for the Certora Prover

certora-cli-alpha-release-2Apr2023

Last released Apr 3, 2023

Runner for the Certora Prover

certora-cli-alpha-CVL-rewrite

Last released Mar 30, 2023

Runner for the Certora Prover

certora-cli-alpha-shelly-mutationTestName

Last released Mar 16, 2023

Runner for the Certora Prover

certora-cli-alpha-dudi-ci-dynamic

Last released Mar 14, 2023

Runner for the Certora Prover

certora-cli-alpha-oz-gambit-to-cli

Last released Mar 12, 2023

Runner for the Certora Prover

certora-cli-alpha-dudi-fix-publish-cli-fix-version

Last released Mar 8, 2023

Runner for the Certora Prover

certora-cli-alpha-cnandi-python-wrapper

Last released Mar 7, 2023

Runner for the Certora Prover

CVLDoc

Last released Jan 15, 2023

Utility for reading CERTORA spec files, parse and export their NatSpec comments to JSON files.

certora-cli-alpha-naftali-library-methods-with-mapping

Last released Nov 28, 2022

Runner for the Certora Prover

certora-cli-alpha-Eyal-CompilerCollector

Last released Jul 25, 2022

Runner for the Certora Prover

certora-cli-alpha-shelly-trusttokenHF

Last released Jul 6, 2022

Runner for the Certora Prover

certora-cli-alpha-shelly-hf09062022

Last released Jun 9, 2022

Runner for the Certora Prover

certora-cli-alpha-shelly-fixCER-908

Last released May 25, 2022

Runner for the Certora Prover

certora-cli-alpha-shelly-certoraCliPublish

Last released May 17, 2022

Runner for the Certora Prover

certora-cli-scripts-reorg

Last released Mar 20, 2022

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-maker-structs-staging

Last released Mar 2, 2022

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-blockswap

Last released Feb 17, 2022

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-maker-structs

Last released Feb 7, 2022

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-syndicate

Last released Aug 26, 2021

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-zesty

Last released Jun 29, 2021

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

certora-cli-coinbase

Last released Apr 22, 2021

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover