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
..
ERC1967	Finalize test migration: remove legacy dependencies and test helpers (#4797)	1 year ago
beacon	Remove `async` from `describe` blocks and add missing `await` in tests (#4942)	11 months ago
transparent	Make tests style more uniform (#4812)	1 year ago
utils	Finalize test migration: remove legacy dependencies and test helpers (#4797)	1 year ago
Clones.behaviour.js	Add ability to create clones with initial `value` in Clones.sol (#4936)	11 months ago
Clones.t.sol	Add Halmos support for formal verification (#5034)	9 months ago
Clones.test.js	Add ability to create clones with initial `value` in Clones.sol (#4936)	11 months ago
Proxy.behaviour.js	Remove `async` from `describe` blocks and add missing `await` in tests (#4942)	11 months ago