5 Commits (d0326d97936ffc0930b3aeba0b0aee7c65b3946a)

Author	SHA1	Message	Date
Ernesto García	fd812ee954	Group typographical errors (#5443) ... Co-authored-by: futreall <86553580+futreall@users.noreply.github.com> Co-authored-by: Marco <wudmytrotest200@gmail.com> Co-authored-by: Dmitry <98899785+mdqst@users.noreply.github.com> Co-authored-by: Dmytrol <46675332+Dimitrolito@users.noreply.github.com> Co-authored-by: Noisy <125606576+donatik27@users.noreply.github.com> Co-authored-by: Danil <37103154+Danyylka@users.noreply.github.com> Co-authored-by: CrazyFrog <anna.shuraeva13@gmail.com> Co-authored-by: Bryer <0xbryer@gmail.com> Co-authored-by: Viktor Pavlik <160131789+Vikt0rPavlik@users.noreply.github.com> Co-authored-by: Skylar Ray <137945430+sky-coderay@users.noreply.github.com> Co-authored-by: Brawn <nftdropped@gmail.com> Co-authored-by: fuder.eth <139509124+vtjl10@users.noreply.github.com> Co-authored-by: FT <140458077+zeevick10@users.noreply.github.com> Co-authored-by: Ann Wagner <chant_77_swirly@icloud.com> Co-authored-by: Hopium <135053852+Hopium21@users.noreply.github.com> Co-authored-by: Arr00 <13561405+arr00@users.noreply.github.com> Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	4 weeks ago
Renan Souza	7bd2b2aaf6	Use ERC-XXX syntax (#4730) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: ernestognw <ernestognw@gmail.com>	1 year ago
Ernesto García	36bf1e46fa	Migrate FV specs to CVL2 (#4527) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	1 year ago
Hadrien Croubois	a7ee03565b	Move certora helpers to a dedicated folder (#4211)	2 years ago
Hadrien Croubois	4fb6833e32	Formal verification using Certora (#4084) ... Co-authored-by: Francisco Giordano <fg@frang.io>	2 years ago