Commit Graph

3673 Commits (update/certora-7.3.0)
 

Author SHA1 Message Date
Ernesto García 2e9cd8cb8c
Merge branch 'master' into update/certora-7.3.0 5 months ago
cairo 6e224307b4
Fix typographical errors (#5194) 5 months ago
cairo cae60c595b
Tag memory safe assembly blocks (#5193) 5 months ago
cairo c01a0fa27f
Bump version of `ERC20TemporaryApproval` to transient minimum (#5191) 5 months ago
Ernesto García 55d69573fc
Clarify Governor events' lack of indexed parameters (#5175) 5 months ago
Hadrien Croubois cb7faaf4db
Add clone variant with per-instance immutable arguments (#5109) 5 months ago
Ernesto García dfb3ec36b5
Make padding skip clear in Base64URL encoding (#5176) 5 months ago
Ernesto García 9e970eb9fa
Guidelines for named return values (#5178) 5 months ago
Ernesto García 55fd53c6d2
Add note about 100% royalty in IERC2981 (#5173) 5 months ago
cairo 373eabeca6
Optimizations to P256 operations (#5181) 5 months ago
Hadrien Croubois 29a953954d
Revert "Remove double declaration of `P` in P256 (#5159)" (#5180) 5 months ago
Ernesto García 83f954d8c4
Add memory side effects notes when using function pointers (#5174) 5 months ago
renovate[bot] a9161aa93f
Update dependency glob to v11 (#5107) 5 months ago
Hadrien Croubois d8bbd34676
Update declaration of memory safe assembly blocks (#5172) 5 months ago
Hadrien Croubois 1e7ca3eea6
Remove redundant array access in Checkpoints (#5169) 5 months ago
Hadrien Croubois 37619479cd
Remove unused import in IAccessManaged (#5170) 5 months ago
Hadrien Croubois 3547cdce21
Fix typographical errors (#5171) 5 months ago
Hadrien Croubois 48c67c7de0
Add missing docstrings (#5168) 5 months ago
renovate[bot] 1edc2ae004
Update dependency halmos to v0.1.14 and Python to 3.11 (#5147) 5 months ago
omahs 5fc38baea2
Fix documentation typos (#5118) 5 months ago
dependabot[bot] eb4e8632f7
Bump axios from 1.6.8 to 1.7.4 (#5156) 5 months ago
cairo db464dd23b
Remove double declaration of `P` in P256 (#5159) 5 months ago
renovate[bot] 0b58a783b9
Update codespell-project/actions-codespell action to v2.1 (#5151) 5 months ago
danilo neves cruz 4764ea5075
Fix `prepare` when using as git repository dependency 6 months ago
Ernesto García c304b6710b
Update MerkleProof note clarifying empty set definition (#5144) 6 months ago
Ernesto García bcd4beb5e7
Make explicit the validity of the empty set in MerkleProof.sol (#5142) 6 months ago
Hadrien Croubois 24a641d9c9
Get leaves from memory in processMultiProofCalldata (#5140) 6 months ago
Hadrien Croubois aec36ddd6a
Create a ERC1363Utils helper similar to existing ERC721Utils and ERC1155Utils (#5133) 6 months ago
Hadrien Croubois e3786e63e6
Fix natspec comment missing * (#5136) 6 months ago
Ernesto García c1d49a3259
Add note about opinionated design to ERC4626Fees (#5129) 6 months ago
Hadrien Croubois 9d6a0cc7e9
Fix documentation of private function `_upperLookupBinary` in Checkpoints.sol (#5128) 6 months ago
Hadrien Croubois 659f3063f8
Fix typo in Heap.sol documentation (#5121) 6 months ago
Hadrien Croubois 231fae33f0
Add Binary heap structure (#5084) 6 months ago
Marco @Paladin 9e73c4b581
Typographic error in Math.sol comment fix (#5115) 6 months ago
Hadrien Croubois e30b390d84
Add `ERC7674` (draft) (#5071) 6 months ago
Hadrien Croubois 19a657bef8
Protect Packing.pack and Packing.replace against values that include dirty bits (#5117) 6 months ago
Hadrien Croubois b73bcb231f
Process and verify merkle proofs (and multiproof) with custom hash function (#4887) 7 months ago
renovate[bot] 4b33d326fa
Update dependency rimraf to v6 (#5108) 7 months ago
Hadrien Croubois 05f218fb66
Implement P256 verification via RIP-7212 precompile with Solidity fallback (#4881) 7 months ago
cairo ccc110360f
Add Foundry tests to coverage (#5098) 7 months ago
dependabot[bot] 9af280dc4b
Bump braces from 3.0.2 to 3.0.3 (#5083) 7 months ago
Hadrien Croubois 01cae33130
Clarify hardhat and foundry configs and enable optimization by default (#5099) 7 months ago
juan-dawson-neufeld 483fc3f1f8
Update LICENSE (#5100) 7 months ago
Hadrien Croubois 5480641e5c
Reduce memory leakage from returndata in SafeERC20 (#5090) 7 months ago
Francisco c3f8b760ad
Fix docs links to ERC165 (#5096) 7 months ago
GianfrancoBazzani 442886ed5f
Fix repeated words in `ERC2771Forwarder` comments (#5088) 8 months ago
Hadrien Croubois 83c7e45092
Fix dirty bits in upper bits in implementation address in `Clones.sol` (#5069) 8 months ago
Hadrien Croubois 8a990e6d6a
Avoid storing hashing function pointers in storage make MerkleTree structure upgrade-safe (#5080) 8 months ago
Hadrien Croubois 53b5d84212
Add bytes6 to the Packing library. (#5077) 8 months ago
Hadrien Croubois dc62599257
Extended packing and extracting library for value types (#5056) 8 months ago