 Thomas Adams
|
ee2f0ecb68
Improved multiple token transfer batch transfer equivalence rule
|
3 years ago |
|
Thomas Adams
|
866042d6fc
Added two transfer batch transfer equivalence rules
|
3 years ago |
|
Thomas Adams
|
371818f792
Removed reference to _burn and _mint
|
3 years ago |
|
Thomas Adams
|
ffa3daa5d9
Modified verification scripts and Supply spec syntax
|
3 years ago |
|
Thomas Adams
|
e3341255b2
Added rule skeletons for equivalence rules
|
3 years ago |
|
Thomas Adams
|
3eb67081f3
Added TODO show equivalence between batch and non-batch methods
|
3 years ago |
 Michael George
|
27fa53bba9
added init_state axiom for sum of balances
|
3 years ago |
|
Thomas Adams
|
a6863a059c
Changed invariant total_supply_is_sum_of_balances (partially passing)
|
3 years ago |
|
Thomas Adams
|
15e847c835
Added invariant balanceOfZeroAddressIsZero (partially passing)
|
3 years ago |
|
Michael George
|
46cb74f3cf
held tokens should exist passing
|
3 years ago |
 Thomas Adams
|
0deaee1217
Added unfinished invariant regarding user token sums and totalSupply
|
3 years ago |
|
Michael George
|
2fc3a5d4b8
implemented independence rule
|
3 years ago |
|
Michael George
|
da0fdc1aa0
harness setup for ERC1155Supply
|
3 years ago |