-
Diego authored
* contracts-bedrock: change type of otherBridge in ERC721Bridge to ERC721Bridge * contracts-bedrock: update semver-lock * contracts-bedrock: update snapshots * contracts-bedrock: bump version for L2ERC721Bridge * contracts-bedrock: bump version for L1ERC721Bridge * contracts-bedrock: update semver-lock * contracts-bedrock: update snapshots
522c6818
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |