 Dmitry
|
4ccfe380e0
Fix the CLI output of formal verification runs (#5445)
|
8 månader sedan |
 renovate[bot]
|
3da7a869aa
Update dependency p-limit to v6 (#5104)
|
11 månader sedan |
 Ernesto García
|
36bf1e46fa
Migrate FV specs to CVL2 (#4527)
|
2 år sedan |
 Hadrien Croubois
|
7c02b5cab2
Refactor DoubleEndedQueue (#4150)
|
2 år sedan |
|
Hadrien Croubois
|
8b2ed0f570
Fix early reporting of FV prover's output (#4213)
|
2 år sedan |
|
Hadrien Croubois
|
0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
|
2 år sedan |
|
Hadrien Croubois
|
44d6053b43
Only run FV on new or updated specs (#4195)
|
2 år sedan |
|
Hadrien Croubois
|
3214f6c256
Add FV specification for ERC20Wrapper (#4100)
|
2 år sedan |
 Francisco
|
b952a82d29
Throw error when requested specs are not found (#4101)
|
2 år sedan |
|
Hadrien Croubois
|
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps (#4094)
|
2 år sedan |
|
Hadrien Croubois
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 år sedan |