Commit Graph

4 Commits (ae69142379cd5f20b79c1f864d89f8fe955898da)

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 5f7f660c6e
Add FV specs for Initializable (#4095) 2 years ago