balancer / balancer-deployments

GNU General Public License v3.0

41 stars 33 forks source link

Minor verification fixes #120

Closed jubeira closed 2 months ago

jubeira commented 2 months ago

Description

Some changes required as part of the V3 verification:

Update solidity verifier library (needed for some minor syntax changes in 0.8).
Accept '-' as part of the contract filenames inside build info (needed for some contracts that are in the dependencies).

Type of change

[x] Bug fix
[ ] New feature
[ ] Breaking change
[x] Dependency changes
[ ] Code refactor / cleanup
[ ] Documentation or wording changes
[ ] Other

Checklist:

[x] The diff is legible and has no extraneous changes
N/A Complex code has been commented, including external interfaces
N/A Tests are included for all code paths
[x] The base branch is either master, or there's a description of how to merge

Issue Resolution

N/A