Commit Graph

3 Commits (5abbd0493368a370a5e94fc66c9eb3710c565580)

Author SHA1 Message Date
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 0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap (#4167) 2 years ago