分支:
frangio-patch-1
audit-v4.9
audit-v5.0
audit-v5.1
audit-v5.2
audit-v5.3
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
chore/remove-symlink-when-using-dirname
docs-org
docs-v2.x
docs-v3.x
docs-v4.x
docs-v5.x
eof
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
release-v5.4
renovate/hardhat-predeploy-0.x
renovate/lock-file-maintenance
renovate/npm-undici-vulnerability
solc-0.6
solc-0.7
test/linearization
transient/access-manager-execution-id
typo-fixes
update/certora-7.3.0
v5.4.0
v5.4.0-rc.1
v5.4.0-rc.0
v5.3.0
v5.3.0-rc.0
v5.2.0
v5.2.0-rc.1
v5.2.0-rc.0
v5.1.0
v5.1.0-rc.1
v5.1.0-rc.0
v4.9.6
v5.0.2
v4.9.5
v5.0.1
v4.9.4
v5.0.0
v5.0.0-rc.2
v5.0.0-rc.1
v5.0.0-rc.0
v4.9.3
v4.9.2
v4.9.1
v4.9.0
v4.9.0-rc.1
v4.9.0-rc.0
v4.8.3
v4.8.2
v4.8.1
v4.8.0
v4.8.0-rc.2
v4.8.0-rc.1
v4.8.0-rc.0
v4.7.3
v4.7.2
v4.7.1
v4.7.0
v4.7.0-rc.0
v4.6.0
v4.6.0-rc.0
v4.5.2
v4.5.1
v4.5.0
v4.5.0-rc.0
v4.4.2
v4.4.1
v4.4.0
v4.4.0-rc.1
v4.3.3
v4.4.0-rc.0
v4.3.2
v3.4.2-solc-0.7
v4.3.1
v3.4.2
v4.3.0
v4.3.0-rc.0
v4.2.0
v4.2.0-rc.0
v4.1.0
v3.4.1-solc-0.7
v3.4.1-solc-0.7-2
v4.1.0-rc.0
v4.0.0
v4.0.0-rc.0
v3.4.1
v4.0.0-beta.1
v4.0.0-beta.0
v3.4.0-solc-0.7
v3.4.0
v3.4.0-rc.0
v3.3.0-solc-0.7
v3.3.0
v3.3.0-rc.2
v3.3.0-rc.1
v3.3.0-rc.0
v3.2.2-solc-0.7
v3.2.1-solc-0.7
v3.2.0
v3.2.0-rc.0
v3.1.0-solc-0.7
v3.1.0
v3.1.0-rc.0
v3.0.2
v3.0.1
v2.5.1
v3.0.0
v3.0.0-rc.1
v3.0.0-rc.0
v3.0.0-beta.0
v2.5.0
v2.5.0-rc.0
v2.2.3
v2.4.0
v2.4.0-beta.2
v2.4.0-beta.1
v2.4.0-beta.0
v2.2.2
v2.2.1
v2.3.0
v2.3.0-rc.3
v2.3.0-rc.2
v2.3.0-rc.1
v2.3.0-rc.0
v2.2.0
v2.2.0-rc.1
v2.0.1
v2.1.3
v2.1.2
v2.1.1
v2.1.0-rc.2
v2.1.0-rc.1
v2.0.2
v2.0.0
v2.0.0-rc.4
v2.0.0-rc.3
v2.0.0-rc.2
v2.0.0-rc.1
v1.9.4
v1.9.3
v1.9.2
v1.12.0
v1.12.0-rc.2
v1.12.0-rc.1
v1.11.0
v1.11.0-rc.1
v1.10.0
v1.9.1
v1.9.0
v1.8.0
v1.7.0
v1.6.0
v1.5.0
v1.4.0
v1.3.0
v1.2.0
v1.1.0
v1.0.7
v1.0.6
v1.0.5
v1.0.4
v1.0.3
v1.0.2
v1.0.1
v1.0.0
提交歷史
| 作者 | SHA1 備註 | 提交日期 |
|---|---|---|
 Hadrien Croubois
|
8b2ed0f570 Fix early reporting of FV prover's output (#4213) | 2 年之前 |
|
Hadrien Croubois
|
0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) | 2 年之前 |
|
Hadrien Croubois
|
44d6053b43 Only run FV on new or updated specs (#4195) | 2 年之前 |
|
Hadrien Croubois
|
3214f6c256 Add FV specification for ERC20Wrapper (#4100) | 2 年之前 |
 Francisco
|
b952a82d29 Throw error when requested specs are not found (#4101) | 2 年之前 |
|
Hadrien Croubois
|
aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) | 2 年之前 |
|
Hadrien Croubois
|
4fb6833e32 Formal verification using Certora (#4084) | 2 年之前 |