Commit Graph

5 Commits (e73913c3c10080cff1c5dd630fa705addc74adb0)

Author SHA1 Message Date
Hadrien Croubois 61117c4db8
Bound lookup in arrays with duplicate (#4842) 1 year ago
Hadrien Croubois 00cbf5a236
Update pragma to 0.8.20 (#4489) 2 years ago
Francisco 874c2d3c02
Use explicit imports (#4399) 2 years ago
Ernesto García 7bb5592ad5
Bump minimum pragma version to `0.8.19` (#4288) 2 years ago
Hadrien Croubois 71aaca2d9d
Extend Checkpoints with new sizes and lookup mechanisms (#3589) 2 years ago