 Thomas Adams
|
5a7cc50974
Modified burnable verification script to follow script naming convention
|
3 years ago |
|
Thomas Adams
|
e3341255b2
Added rule skeletons for equivalence rules
|
3 years ago |
|
Thomas Adams
|
69d9ebfcdf
Added modified scripts to run previous ERC1155 spec
|
3 years ago |
 teryanarmen
|
be18334b69
Merge branch 'OpenZeppelin:master' into certora/erc1155ext
|
3 years ago |
 teryanarmen
|
5516589b88
final initializable spec modulo extra natspec style comments
|
3 years ago |
|
Thomas Adams
|
6363deaedd
Changed rule onlyHolderOrApprovedCanReduceBalance to include filtered block
|
3 years ago |
|
Thomas Adams
|
b10a2b8cd3
Added burn and burnBatch to filtered block of unexpectedBalanceChange
|
3 years ago |
 Francisco Giordano
|
d506e3b1a5
Simplify Initializable (#3450)
|
3 years ago |
|
Thomas Adams
|
bdb49654c5
Deleted redundant rule burnBatchAmountProportionalToBalanceReduction
|
3 years ago |
|
Thomas Adams
|
bab9528dc1
Added rule comments re burn method rules holding for burnBatch method
|
3 years ago |
|
Thomas Adams
|
93928e3e19
Added rule burnBatchOnEmptyArraysChangesNothing (passing)
|
3 years ago |
|
Francisco Giordano
|
113443470c
Reorder arguments for multiProof functions (#3447)
|
3 years ago |
 Hadrien Croubois
|
35090c1bf1
Add tests for improved coverage (#3448)
|
3 years ago |
|
Francisco Giordano
|
04204b8fb9
Improve GitHub Actions (#3451)
|
3 years ago |
|
Thomas Adams
|
f3f26e3ff3
Modified verification scripts to include --send_only flag
|
3 years ago |
|
Thomas Adams
|
3eb67081f3
Added TODO show equivalence between batch and non-batch methods
|
3 years ago |
|
Thomas Adams
|
d02c2ccab3
Added comments throughout regarding reasoning
|
3 years ago |
 Michael George
|
27fa53bba9
added init_state axiom for sum of balances
|
3 years ago |
|
Thomas Adams
|
b90d195c6c
Added rule re burnBatch (not implemented)
|
3 years ago |
|
Thomas Adams
|
a6863a059c
Changed invariant total_supply_is_sum_of_balances (partially passing)
|
3 years ago |
|
Hadrien Croubois
|
5e00787199
ERC4626 (#3171)
|
3 years ago |
|
teryanarmen
|
669a22e0ff
remove duplicate initalize script
|
3 years ago |
|
teryanarmen
|
cab8e489b2
initializable final draft, ready for review
|
3 years ago |
|
Francisco Giordano
|
62f2c0531b
Simplify ERC721 revert reasons (#3438)
|
3 years ago |
 Troy Salem
|
4fc9fd3efe
Support more efficient merkle proofs through calldata (#3200)
|
3 years ago |
 Tadashi
|
6d00281593
Fix typo in README.adoc (#3445)
|
3 years ago |
|
Hadrien Croubois
|
2b0b0bb186
Fix merkle multiProof for single leaf tree (#3446)
|
3 years ago |
|
Thomas Adams
|
0119a187c1
Added rule multipleTokenBurnBurnBatchEquivalence (passing)
|
3 years ago |
|
Thomas Adams
|
15e847c835
Added invariant balanceOfZeroAddressIsZero (partially passing)
|
3 years ago |
|
Thomas Adams
|
8e283704c3
Modified 1155 Burnable scripts
|
3 years ago |