18 Commits (9708bc03974f139a0648df69bfe114a68a92fa5c)

Author	SHA1	Message	Date
Thomas Adams	9bbc7b7eb3	Moved three transfer rules from 1155Supply spec to base 1155 spec	3 years ago
Thomas Adams	e4492aed8a	Cleaned up code for rule transfersHaveSameLengthInputArrays (passing)	3 years ago
Thomas Adams	75a3602ba6	Modified rule transfersHaveSameLengthInputArrays (passing) to limit array size	3 years ago
Thomas Adams	7946806fb3	Commented out sanity rules for the purposes of CI	3 years ago
Thomas Adams	84b371f92c	Added rule transfersHaveSameLengthInputArrays (partially passing)	3 years ago
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
Michael George	aafb14461b	made the spec run	3 years ago