Commit Graph

4 Commits (c35057978f9d13fee96c0ee34d251c00286d3e47)

Author SHA1 Message Date
Ernesto García 36bf1e46fa
Migrate FV specs to CVL2 (#4527) 1 year ago
Hadrien Croubois 00cbf5a236
Update pragma to 0.8.20 (#4489) 2 years ago
Ernesto García 7bb5592ad5
Bump minimum pragma version to `0.8.19` (#4288) 2 years ago
Hadrien Croubois 75ef7b8b27
Add FV specs for TimelockController (#4098) 2 years ago