Commit Graph

4 Commits (75eb7c2d49a5f67285a4064ea4f93acc5bc3d580)

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