search

crytic / properties

Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
287 stars 44 forks source link

specify submodule tags #1

Closed bsamuels453 closed 1 year ago