Tag:
Branch:
Tree:
8b72e20e32
audit/2023-03
audit/2023-06
audit/2023-07-10
audit/2023-07-24
audit/2023-08-01
audit/2023-08-07
audit/M-01
audits/5.1
changeset-release/release-v5.3
docs-org
docs-v2.x
docs-v3.x
docs-v4.x
docs-v5.x
eof
features/full-math
formal-verification
frangio-patch-1
frangio-patch-2
fv/ERC20Votes
fv/Governor
master
next-v5.0
release-v2.3.0
release-v2.4.0
release-v2.5.0
release-v3.0.0
release-v3.1.0
release-v3.2.0
release-v3.2.0-solc-0.7
release-v3.3
release-v3.3-solc-0.7
release-v3.4
release-v3.4-solc-0.7
release-v4.0
release-v4.1
release-v4.2
release-v4.3
release-v4.4
release-v4.5
release-v4.6
release-v4.7
release-v4.8
release-v4.9
release-v5.0
release-v5.1
release-v5.2
release-v5.3
renovate/certora-cli-7.x
renovate/globals-16.x
renovate/halmos-0.x
renovate/lock-file-maintenance
renovate/major-linters
renovate/npm-undici-vulnerability
solc-0.6
solc-0.7
test/linearization
transient/access-manager-execution-id
typo-fixes
update/certora-7.3.0
v1.0.0
v1.0.1
v1.0.2
v1.0.3
v1.0.4
v1.0.5
v1.0.6
v1.0.7
v1.1.0
v1.10.0
v1.11.0
v1.11.0-rc.1
v1.12.0
v1.12.0-rc.1
v1.12.0-rc.2
v1.2.0
v1.3.0
v1.4.0
v1.5.0
v1.6.0
v1.7.0
v1.8.0
v1.9.0
v1.9.1
v1.9.2
v1.9.3
v1.9.4
v2.0.0
v2.0.0-rc.1
v2.0.0-rc.2
v2.0.0-rc.3
v2.0.0-rc.4
v2.0.1
v2.0.2
v2.1.0-rc.1
v2.1.0-rc.2
v2.1.1
v2.1.2
v2.1.3
v2.2.0
v2.2.0-rc.1
v2.2.1
v2.2.2
v2.2.3
v2.3.0
v2.3.0-rc.0
v2.3.0-rc.1
v2.3.0-rc.2
v2.3.0-rc.3
v2.4.0
v2.4.0-beta.0
v2.4.0-beta.1
v2.4.0-beta.2
v2.5.0
v2.5.0-rc.0
v2.5.1
v3.0.0
v3.0.0-beta.0
v3.0.0-rc.0
v3.0.0-rc.1
v3.0.1
v3.0.2
v3.1.0
v3.1.0-rc.0
v3.1.0-solc-0.7
v3.2.0
v3.2.0-rc.0
v3.2.1-solc-0.7
v3.2.2-solc-0.7
v3.3.0
v3.3.0-rc.0
v3.3.0-rc.1
v3.3.0-rc.2
v3.3.0-solc-0.7
v3.4.0
v3.4.0-rc.0
v3.4.0-solc-0.7
v3.4.1
v3.4.1-solc-0.7
v3.4.1-solc-0.7-2
v3.4.2
v3.4.2-solc-0.7
v4.0.0
v4.0.0-beta.0
v4.0.0-beta.1
v4.0.0-rc.0
v4.1.0
v4.1.0-rc.0
v4.2.0
v4.2.0-rc.0
v4.3.0
v4.3.0-rc.0
v4.3.1
v4.3.2
v4.3.3
v4.4.0
v4.4.0-rc.0
v4.4.0-rc.1
v4.4.1
v4.4.2
v4.5.0
v4.5.0-rc.0
v4.5.1
v4.5.2
v4.6.0
v4.6.0-rc.0
v4.7.0
v4.7.0-rc.0
v4.7.1
v4.7.2
v4.7.3
v4.8.0
v4.8.0-rc.0
v4.8.0-rc.1
v4.8.0-rc.2
v4.8.1
v4.8.2
v4.8.3
v4.9.0
v4.9.0-rc.0
v4.9.0-rc.1
v4.9.1
v4.9.2
v4.9.3
v4.9.4
v4.9.5
v4.9.6
v5.0.0
v5.0.0-rc.0
v5.0.0-rc.1
v5.0.0-rc.2
v5.0.1
v5.0.2
v5.1.0
v5.1.0-rc.0
v5.1.0-rc.1
v5.2.0
v5.2.0-rc.0
v5.2.0-rc.1
${ noResults }
1 Commits (8b72e20e326078029b92d526ff5a44add2671df1)
| Author | SHA1 | Message | Date |
|---|---|---|---|
Hadrien Croubois
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io> |
2 years ago |