 teryanarmen
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
il y a 2 ans |
 Thomas Adams
|
7946806fb3
Commented out sanity rules for the purposes of CI
|
il y a 3 ans |
|
Thomas Adams
|
3ccaf4f6d1
Updated and cleaned up rule descriptions
|
il y a 3 ans |
|
Thomas Adams
|
6363deaedd
Changed rule onlyHolderOrApprovedCanReduceBalance to include filtered block
|
il y a 3 ans |
|
Thomas Adams
|
bdb49654c5
Deleted redundant rule burnBatchAmountProportionalToBalanceReduction
|
il y a 3 ans |
|
Thomas Adams
|
bab9528dc1
Added rule comments re burn method rules holding for burnBatch method
|
il y a 3 ans |
|
Thomas Adams
|
93928e3e19
Added rule burnBatchOnEmptyArraysChangesNothing (passing)
|
il y a 3 ans |
|
Thomas Adams
|
d02c2ccab3
Added comments throughout regarding reasoning
|
il y a 3 ans |
|
Thomas Adams
|
b90d195c6c
Added rule re burnBatch (not implemented)
|
il y a 3 ans |
|
Thomas Adams
|
0119a187c1
Added rule multipleTokenBurnBurnBatchEquivalence (passing)
|
il y a 3 ans |
|
Thomas Adams
|
38495a5026
Added rule singleTokenBurnBurnBatchEquivalence (passing)
|
il y a 3 ans |
|
Thomas Adams
|
f74e316422
Added rule sequentialBurnsEquivalentToSingleBurnOfSum (passing)
|
il y a 3 ans |
|
Thomas Adams
|
2a73da9f67
Added rule burnBatchAmountProportionalToBalanceReduction (unimplemented)
|
il y a 3 ans |
|
Thomas Adams
|
bd3427d5ff
Included rule burnAmountProportionalToBalanceReduction (passing)
|
il y a 3 ans |
|
Thomas Adams
|
ca0d3363b8
Revised rule description to be more accurate
|
il y a 3 ans |
|
Thomas Adams
|
78263e2a9a
Changed rule description to match phrasing of assert comment
|
il y a 3 ans |
|
Thomas Adams
|
4dc0ff9fe3
Added assert message
|
il y a 3 ans |
 Thomas Adams
|
1dd3b7a307
Made comment changes to Burnable and Pausable spec files
|
il y a 3 ans |
 Michael George
|
657a051062
replaced burn with generic function
|
il y a 3 ans |
|
Thomas Adams
|
428197be69
Added tester rule for only burn
|
il y a 3 ans |
|
Thomas Adams
|
39f29ec3fd
Added spec for ERC1155Burnable with rule sanity
|
il y a 3 ans |