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 2e9cd8cb8c Merge branch 'master' into update/certora-7.3.0		5 months ago
..
ISSUE_TEMPLATE	Finalize test migration: remove legacy dependencies and test helpers (#4797)	1 year ago
actions	Add Halmos support for formal verification (#5034)	9 months ago
workflows	Merge branch 'master' into update/certora-7.3.0	5 months ago
PULL_REQUEST_TEMPLATE.md	Automate release process via Changesets (#3915)	2 years ago