4 Commits (d155600d554d28b583a8ab36dee0849215d48a20)

Author	SHA1	Message	Date
Hadrien Croubois	00cbf5a236	Update pragma to 0.8.20 (#4489) ... Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: ernestognw <ernestognw@gmail.com>	2 years ago
Francisco	874c2d3c02	Use explicit imports (#4399) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: ernestognw <ernestognw@gmail.com>	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