openzeppelin-contracts

Commit Graph

Author	SHA1	Message	Date
Ernesto García	f1a69f164e	Add Halmos support for formal verification (#5034 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	9 months ago
Lohann Paterno Coutinho Ferreira	4032b42694	Branchless ternary, min and max methods (#4976 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: Ernesto García <ernestognw@gmail.com>	10 months ago
Vladislav Volosnikov	dfae50fa5b	Refactor abs without logical branching (#4497 ) Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: ernestognw <ernestognw@gmail.com>	1 year ago

Author

SHA1

Message

Date

Ernesto García

f1a69f164e

Add Halmos support for formal verification (#5034 )

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>

9 months ago

Lohann Paterno Coutinho Ferreira

4032b42694

Branchless ternary, min and max methods (#4976 )

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>

10 months ago

Vladislav Volosnikov

dfae50fa5b

Refactor abs without logical branching (#4497 )

Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>

1 year ago

3 Commits (29f40597739707296e27d01ff368e0833029fc67)