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.

Hadrien Croubois d9f2d6369d ERC20Votes: WIP		1 year ago
..
helpers	Refactor DoubleEndedQueue (#4150)	2 years ago
methods	Merge branch 'fv/ERC20Votes' into chore/certora-CVL2	1 year ago
AccessControl.spec	Finish Pausable and AccessControl	2 years ago
AccessControlDefaultAdminRules.spec	Partial TimelockController	2 years ago
DoubleEndedQueue.spec	Refactor DoubleEndedQueue (#4150)	2 years ago
ERC20.spec	Finish ERC20	2 years ago
ERC20FlashMint.spec	Finish ERC20FlashMint	2 years ago
ERC20Votes.spec	ERC20Votes: WIP	1 year ago
ERC20Wrapper.spec	Finish ERC20Wrapper	2 years ago
ERC721.spec	Partially finish ERC721	2 years ago
EnumerableMap.spec	Finish Enumerable*	2 years ago
EnumerableSet.spec	Finish Enumerable*	2 years ago
Initializable.spec	Finish Initializable	2 years ago
Ownable.spec	Finish Ownable and Ownable2Step	2 years ago
Ownable2Step.spec	Finish Ownable and Ownable2Step	2 years ago
Pausable.spec	Finish Pausable and AccessControl	2 years ago
TimelockController.spec	Finish TimelockController	2 years ago