mirror of openzeppelin-contracts

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Ernesto García f1a69f164e Add Halmos support for formal verification (#5034) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>		9 months ago
..
actionlint.yml	Update actions/checkout action to v4 (#4572)	1 year ago
changeset.yml	Update actions/checkout action to v4 (#4572)	1 year ago
checks.yml	Update crytic/slither-action action to v0.4.0 (#5030)	9 months ago
docs.yml	Update actions/checkout action to v4 (#4572)	1 year ago
formal-verification.yml	Add Halmos support for formal verification (#5034)	9 months ago
release-cycle.yml	Update actions/github-script action to v7 (#4738)	11 months ago
upgradeable.yml	Update remappings.txt for upgradeable contracts and set up submodule (#4639)	1 year ago