diff --git a/smart_contracts/common/errors.py b/smart_contracts/common/errors.py index a4248ee..c708f4a 100644 --- a/smart_contracts/common/errors.py +++ b/smart_contracts/common/errors.py @@ -83,3 +83,6 @@ # A given parameter was an unacceptable value ERROR_BAD_DAO_PARAM = "ERROR_BAD_DAO_PARAM" + +# This endpoint does not accept XTZ sent to it, and XTZ was sent. +ERROR_BAD_AMOUNT = "BAD_AMOUNT" \ No newline at end of file diff --git a/smart_contracts/community-fund.py b/smart_contracts/community-fund.py index 93b15d3..cda6c5e 100644 --- a/smart_contracts/community-fund.py +++ b/smart_contracts/community-fund.py @@ -45,6 +45,9 @@ def default(self): def setGovernorContract(self, newGovernorAddress): sp.set_type(newGovernorAddress, sp.TAddress) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify command came from governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -56,6 +59,9 @@ def setGovernorContract(self, newGovernorAddress): def send(self, params): sp.set_type(params, sp.TRecord(numberOfTokens = sp.TNat, destination = sp.TAddress).layout(("numberOfTokens", "destination"))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify command came from governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -73,6 +79,9 @@ def send(self, params): def rescueXTZ(self, params): sp.set_type(params, sp.TRecord(destinationAddress = sp.TAddress).layout("destinationAddress")) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) sp.send(params.destinationAddress, sp.balance) @@ -86,6 +95,9 @@ def rescueFA12(self, params): destination = sp.TAddress, ).layout(("tokenContractAddress", ("amount", "destination")))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -112,6 +124,9 @@ def rescueFA2(self, params): destination = sp.TAddress, ).layout(("tokenContractAddress", ("tokenId", ("amount", "destination"))))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -151,6 +166,9 @@ def rescueFA2(self, params): def setDelegate(self, newDelegate): sp.set_type(newDelegate, sp.TOption(sp.TKeyHash)) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the caller is the governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) diff --git a/smart_contracts/community-fund.tz b/smart_contracts/community-fund.tz index 58139a7..199b386 100644 --- a/smart_contracts/community-fund.tz +++ b/smart_contracts/community-fund.tz @@ -14,8 +14,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%rescueFA12 # == rescueFA12 == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueFA12 : @storage + PUSH mutez 0; # mutez : @parameter%rescueFA12 : @storage + AMOUNT; # @amount : mutez : @parameter%rescueFA12 : @storage + COMPARE; # int : @parameter%rescueFA12 : @storage + EQ; # bool : @parameter%rescueFA12 : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueFA12 : @storage + FAILWITH; # FAILED + }; # @parameter%rescueFA12 : @storage + SWAP; # @storage : @parameter%rescueFA12 # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%rescueFA12 DUP; # @storage : @storage : @parameter%rescueFA12 DUG 2; # @storage : @parameter%rescueFA12 : @storage @@ -35,7 +46,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : @parameter%rescueFA12 : @storage IF_NONE { - PUSH int 93; # int : @parameter%rescueFA12 : @storage + PUSH int 105; # int : @parameter%rescueFA12 : @storage FAILWITH; # FAILED } {}; # @some : @parameter%rescueFA12 : @storage @@ -53,8 +64,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%rescueFA2 # == rescueFA2 == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueFA2 : @storage + PUSH mutez 0; # mutez : @parameter%rescueFA2 : @storage + AMOUNT; # @amount : mutez : @parameter%rescueFA2 : @storage + COMPARE; # int : @parameter%rescueFA2 : @storage + EQ; # bool : @parameter%rescueFA2 : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueFA2 : @storage + FAILWITH; # FAILED + }; # @parameter%rescueFA2 : @storage + SWAP; # @storage : @parameter%rescueFA2 # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%rescueFA2 DUP; # @storage : @storage : @parameter%rescueFA2 DUG 2; # @storage : @parameter%rescueFA2 : @storage @@ -74,7 +96,7 @@ code CONTRACT %transfer (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))); # option (contract (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount))))))) : @parameter%rescueFA2 : @storage IF_NONE { - PUSH int 119; # int : @parameter%rescueFA2 : @storage + PUSH int 134; # int : @parameter%rescueFA2 : @storage FAILWITH; # FAILED } {}; # @some : @parameter%rescueFA2 : @storage @@ -106,8 +128,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%rescueXTZ # == rescueXTZ == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueXTZ : @storage + PUSH mutez 0; # mutez : @parameter%rescueXTZ : @storage + AMOUNT; # @amount : mutez : @parameter%rescueXTZ : @storage + COMPARE; # int : @parameter%rescueXTZ : @storage + EQ; # bool : @parameter%rescueXTZ : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueXTZ : @storage + FAILWITH; # FAILED + }; # @parameter%rescueXTZ : @storage + SWAP; # @storage : @parameter%rescueXTZ # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%rescueXTZ DUP; # @storage : @storage : @parameter%rescueXTZ DUG 2; # @storage : @parameter%rescueXTZ : @storage @@ -125,7 +158,7 @@ code CONTRACT unit; # option (contract unit) : @storage IF_NONE { - PUSH int 78; # int : @storage + PUSH int 87; # int : @storage FAILWITH; # FAILED } {}; # @some : @storage @@ -137,8 +170,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%send # == send == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%send : @storage + PUSH mutez 0; # mutez : @parameter%send : @storage + AMOUNT; # @amount : mutez : @parameter%send : @storage + COMPARE; # int : @parameter%send : @storage + EQ; # bool : @parameter%send : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%send : @storage + FAILWITH; # FAILED + }; # @parameter%send : @storage + SWAP; # @storage : @parameter%send # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%send DUP; # @storage : @storage : @parameter%send DUG 2; # @storage : @parameter%send : @storage @@ -159,7 +203,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : list operation : @parameter%send : @storage IF_NONE { - PUSH int 63; # int : list operation : @parameter%send : @storage + PUSH int 69; # int : list operation : @parameter%send : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%send : @storage @@ -176,8 +220,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%setDelegate # == setDelegate == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setDelegate : @storage + PUSH mutez 0; # mutez : @parameter%setDelegate : @storage + AMOUNT; # @amount : mutez : @parameter%setDelegate : @storage + COMPARE; # int : @parameter%setDelegate : @storage + EQ; # bool : @parameter%setDelegate : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setDelegate : @storage + FAILWITH; # FAILED + }; # @parameter%setDelegate : @storage + SWAP; # @storage : @parameter%setDelegate # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%setDelegate DUP; # @storage : @storage : @parameter%setDelegate DUG 2; # @storage : @parameter%setDelegate : @storage @@ -198,8 +253,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%setGovernorContract # == setGovernorContract == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setGovernorContract : @storage + PUSH mutez 0; # mutez : @parameter%setGovernorContract : @storage + AMOUNT; # @amount : mutez : @parameter%setGovernorContract : @storage + COMPARE; # int : @parameter%setGovernorContract : @storage + EQ; # bool : @parameter%setGovernorContract : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setGovernorContract : @storage + FAILWITH; # FAILED + }; # @parameter%setGovernorContract : @storage + SWAP; # @storage : @parameter%setGovernorContract # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%setGovernorContract DUP; # @storage : @storage : @parameter%setGovernorContract DUG 2; # @storage : @parameter%setGovernorContract : @storage diff --git a/smart_contracts/dao.py b/smart_contracts/dao.py index d7b55f4..b2861c7 100644 --- a/smart_contracts/dao.py +++ b/smart_contracts/dao.py @@ -199,7 +199,10 @@ def __init__( @sp.entry_point def propose(self, proposal): sp.set_type(proposal, Proposal.PROPOSAL_TYPE) - + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify a poll is not under vote. sp.verify(~self.data.poll.is_some(), Errors.ERROR_POLL_UNDERWAY) @@ -244,6 +247,9 @@ def propose(self, proposal): def endVoting(self, unit): sp.set_type(unit, sp.TUnit) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify a poll is underway. sp.verify(self.data.poll.is_some(), Errors.ERROR_NO_POLL) @@ -326,6 +332,9 @@ def endVoting(self, unit): def vote(self, voteValue): sp.set_type(voteValue, sp.TNat) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify contract is in the correct state. sp.verify(self.data.state == STATE_MACHINE_IDLE, Errors.ERROR_BAD_STATE) @@ -373,6 +382,9 @@ def vote(self, voteValue): def voteCallback(self, returnedData): sp.set_type(returnedData, sp.TRecord(result = sp.TNat, address = sp.TAddress, level = sp.TNat)) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify contract is in the correct state. sp.verify(self.data.state == STATE_MACHINE_WAITING_FOR_BALANCE, Errors.ERROR_BAD_STATE) @@ -430,6 +442,9 @@ def voteCallback(self, returnedData): def executeTimelock(self, unit): sp.set_type(unit, sp.TUnit) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify an item is in the timelock sp.verify(self.data.timelockItem.is_some(), Errors.ERROR_NO_ITEM_IN_TIMELOCK) @@ -460,6 +475,9 @@ def executeTimelock(self, unit): def cancelTimelock(self, unit): sp.set_type(unit, sp.TUnit) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify an item is in the timelock sp.verify(self.data.timelockItem.is_some(), Errors.ERROR_NO_ITEM_IN_TIMELOCK) @@ -486,6 +504,9 @@ def cancelTimelock(self, unit): def setParameters(self, newGovernanceParameters): sp.set_type(newGovernanceParameters, GOVERNANCE_PARAMETERS_TYPE) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Only the DAO can change its own parameters. sp.verify(sp.sender == sp.self_address, Errors.ERROR_NOT_DAO) diff --git a/smart_contracts/dao.tz b/smart_contracts/dao.tz index 6ae0ad8..8304364 100644 --- a/smart_contracts/dao.tz +++ b/smart_contracts/dao.tz @@ -7,8 +7,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%cancelTimelock # == cancelTimelock == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%cancelTimelock : @storage + PUSH mutez 0; # mutez : @parameter%cancelTimelock : @storage + AMOUNT; # @amount : mutez : @parameter%cancelTimelock : @storage + COMPARE; # int : @parameter%cancelTimelock : @storage + EQ; # bool : @parameter%cancelTimelock : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%cancelTimelock : @storage + FAILWITH; # FAILED + }; # @parameter%cancelTimelock : @storage + SWAP; # @storage : @parameter%cancelTimelock # sp.verify(self.data.timelockItem.is_some(), 'NO_ITEM_IN_TIMELOCK') # @storage : @parameter%cancelTimelock DUP; # @storage : @storage : @parameter%cancelTimelock DUG 2; # @storage : @parameter%cancelTimelock : @storage @@ -28,7 +39,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : @parameter%cancelTimelock : @storage IF_NONE { - PUSH int 467; # int : @parameter%cancelTimelock : @storage + PUSH int 485; # int : @parameter%cancelTimelock : @storage FAILWITH; # FAILED } {}; # @some : @parameter%cancelTimelock : @storage @@ -49,7 +60,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : @storage IF_NONE { - PUSH int 467; # int : @storage + PUSH int 485; # int : @storage FAILWITH; # FAILED } {}; # @some : @storage @@ -66,7 +77,7 @@ code GET; # option (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) : nat : @storage IF_NONE { - PUSH int 471; # int : nat : @storage + PUSH int 489; # int : nat : @storage FAILWITH; # FAILED } {}; # @some : nat : @storage @@ -101,8 +112,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%endVoting # == endVoting == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%endVoting : @storage + PUSH mutez 0; # mutez : @parameter%endVoting : @storage + AMOUNT; # @amount : mutez : @parameter%endVoting : @storage + COMPARE; # int : @parameter%endVoting : @storage + EQ; # bool : @parameter%endVoting : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%endVoting : @storage + FAILWITH; # FAILED + }; # @parameter%endVoting : @storage + SWAP; # @storage : @parameter%endVoting # sp.verify(self.data.poll.is_some(), 'NO_POLL') # @storage : @parameter%endVoting DUP; # @storage : @storage : @parameter%endVoting DUG 2; # @storage : @parameter%endVoting : @storage @@ -135,7 +157,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @parameter%endVoting : @storage IF_NONE { - PUSH int 254; # int : @parameter%endVoting : @storage + PUSH int 260; # int : @parameter%endVoting : @storage FAILWITH; # FAILED } {}; # @some : @parameter%endVoting : @storage @@ -172,7 +194,7 @@ code EDIV; # option (pair nat nat) : address : @some : @parameter%endVoting : @storage IF_NONE { - PUSH int 259; # int : address : @some : @parameter%endVoting : @storage + PUSH int 265; # int : address : @some : @parameter%endVoting : @storage FAILWITH; # FAILED } { @@ -199,7 +221,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : list operation : address : @some : @parameter%endVoting : @storage IF_NONE { - PUSH int 268; # int : list operation : address : @some : @parameter%endVoting : @storage + PUSH int 274; # int : list operation : address : @some : @parameter%endVoting : @storage FAILWITH; # FAILED } {}; # @some : list operation : address : @some : @parameter%endVoting : @storage @@ -231,7 +253,7 @@ code EDIV; # option (pair nat nat) : list operation : address : @some : @parameter%endVoting : @storage IF_NONE { - PUSH int 260; # int : list operation : address : @some : @parameter%endVoting : @storage + PUSH int 266; # int : list operation : address : @some : @parameter%endVoting : @storage FAILWITH; # FAILED } { @@ -355,7 +377,7 @@ code EDIV; # option (pair nat nat) : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) IF_NONE { - PUSH int 307; # int : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) + PUSH int 313; # int : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) FAILWITH; # FAILED } { @@ -369,7 +391,7 @@ code EDIV; # option (pair nat nat) : nat : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) IF_NONE { - PUSH int 308; # int : nat : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) + PUSH int 314; # int : nat : list operation : address : @some : @parameter%endVoting : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair (nat %quorum) (nat %state))) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) FAILWITH; # FAILED } { @@ -437,8 +459,19 @@ code SWAP; # list operation : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map string bytes) (pair nat (big_map nat (pair nat (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair nat (pair (pair string (pair string (pair string (lambda unit (list operation))))) (pair nat (pair nat (pair nat (pair nat (pair nat (pair nat (pair (map address (pair nat (pair nat nat))) (pair address (pair nat (pair nat (pair nat nat)))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) } { - SWAP; # @storage : @parameter%executeTimelock # == executeTimelock == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%executeTimelock : @storage + PUSH mutez 0; # mutez : @parameter%executeTimelock : @storage + AMOUNT; # @amount : mutez : @parameter%executeTimelock : @storage + COMPARE; # int : @parameter%executeTimelock : @storage + EQ; # bool : @parameter%executeTimelock : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%executeTimelock : @storage + FAILWITH; # FAILED + }; # @parameter%executeTimelock : @storage + SWAP; # @storage : @parameter%executeTimelock # sp.verify(self.data.timelockItem.is_some(), 'NO_ITEM_IN_TIMELOCK') # @storage : @parameter%executeTimelock DUP; # @storage : @storage : @parameter%executeTimelock DUG 2; # @storage : @parameter%executeTimelock : @storage @@ -458,7 +491,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : @parameter%executeTimelock : @storage IF_NONE { - PUSH int 467; # int : @parameter%executeTimelock : @storage + PUSH int 485; # int : @parameter%executeTimelock : @storage FAILWITH; # FAILED } {}; # @some : @parameter%executeTimelock : @storage @@ -479,7 +512,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : @parameter%executeTimelock : @storage IF_NONE { - PUSH int 467; # int : @parameter%executeTimelock : @storage + PUSH int 485; # int : @parameter%executeTimelock : @storage FAILWITH; # FAILED } {}; # @some : @parameter%executeTimelock : @storage @@ -500,7 +533,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : @storage IF_NONE { - PUSH int 467; # int : @storage + PUSH int 485; # int : @storage FAILWITH; # FAILED } {}; # @some : @storage @@ -522,7 +555,7 @@ code GET 5; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author))))) : list operation : @storage IF_NONE { - PUSH int 467; # int : list operation : @storage + PUSH int 485; # int : list operation : @storage FAILWITH; # FAILED } {}; # @some : list operation : @storage @@ -537,7 +570,7 @@ code GET; # option (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) : nat : list operation : @storage IF_NONE { - PUSH int 449; # int : nat : list operation : @storage + PUSH int 464; # int : nat : list operation : @storage FAILWITH; # FAILED } {}; # @some : nat : list operation : @storage @@ -576,8 +609,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%propose # == propose == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%propose : @storage + PUSH mutez 0; # mutez : @parameter%propose : @storage + AMOUNT; # @amount : mutez : @parameter%propose : @storage + COMPARE; # int : @parameter%propose : @storage + EQ; # bool : @parameter%propose : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%propose : @storage + FAILWITH; # FAILED + }; # @parameter%propose : @storage + SWAP; # @storage : @parameter%propose # sp.verify(~ self.data.poll.is_some(), 'POLL_UNDERWAY') # @storage : @parameter%propose DUP; # @storage : @storage : @parameter%propose DUG 2; # @storage : @parameter%propose : @storage @@ -596,7 +640,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : list operation : @parameter%propose : @storage IF_NONE { - PUSH int 207; # int : list operation : @parameter%propose : @storage + PUSH int 210; # int : list operation : @parameter%propose : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%propose : @storage @@ -688,6 +732,17 @@ code } { # == setParameters == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setParameters : @storage + PUSH mutez 0; # mutez : @parameter%setParameters : @storage + AMOUNT; # @amount : mutez : @parameter%setParameters : @storage + COMPARE; # int : @parameter%setParameters : @storage + EQ; # bool : @parameter%setParameters : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setParameters : @storage + FAILWITH; # FAILED + }; # @parameter%setParameters : @storage # sp.verify(sp.sender == sp.self_address, 'NOT_DAO') # @parameter%setParameters : @storage SELF_ADDRESS; # @self : @parameter%setParameters : @storage SENDER; # @sender : @self : @parameter%setParameters : @storage @@ -755,6 +810,17 @@ code IF_LEFT { # == vote == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%vote : @storage + PUSH mutez 0; # mutez : @parameter%vote : @storage + AMOUNT; # @amount : mutez : @parameter%vote : @storage + COMPARE; # int : @parameter%vote : @storage + EQ; # bool : @parameter%vote : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%vote : @storage + FAILWITH; # FAILED + }; # @parameter%vote : @storage # sp.verify(self.data.state == 0, 'BAD_STATE') # @parameter%vote : @storage PUSH nat 0; # nat : @parameter%vote : @storage DUP 3; # @storage : nat : @parameter%vote : @storage @@ -804,7 +870,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) : @parameter%vote IF_NONE { - PUSH int 254; # int : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) : @parameter%vote + PUSH int 260; # int : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) : @parameter%vote FAILWITH; # FAILED } {}; # @some : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) : @parameter%vote @@ -820,7 +886,7 @@ code CONTRACT %getPriorBalance (pair (pair (address %address) (nat %level)) (contract (pair (address %address) (pair (nat %level) (nat %result))))); # option (contract (pair (pair (address %address) (nat %level)) (contract (pair (address %address) (pair (nat %level) (nat %result)))))) : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) IF_NONE { - PUSH int 346; # int : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) + PUSH int 355; # int : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) FAILWITH; # FAILED } {}; # @some : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) @@ -833,7 +899,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @self : mutez : @some : list operation : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) IF_NONE { - PUSH int 254; # int : @self : mutez : @some : list operation : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) + PUSH int 260; # int : @self : mutez : @some : list operation : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) FAILWITH; # FAILED } {}; # @some : @self : mutez : @some : list operation : pair (pair (pair (address %communityFundAddress) (pair %governanceParameters (nat %escrowAmount) (pair (nat %voteDelayBlocks) (pair (nat %voteLengthBlocks) (pair (nat %minYayVotesPercentForEscrowReturn) (pair (nat %blocksInTimelockForExecution) (pair (nat %blocksInTimelockForCancellation) (pair (nat %percentageForSuperMajority) (pair %quorumCap (nat %lower) (nat %upper)))))))))) (pair (big_map %metadata string bytes) (pair (nat %nextProposalId) (big_map %outcomes nat (pair (nat %outcome) (pair %poll (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))))))) (pair (pair (option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper))))))))))))))) (pair nat nat)) (pair (option %timelockItem (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %endBlock) (pair (nat %cancelBlock) (address %author)))))) (pair (address %tokenContractAddress) (option %votingState (pair (nat %voteValue) (pair (address %address) (nat %level))))))) @@ -846,6 +912,17 @@ code } { # == voteCallback == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%voteCallback : @storage + PUSH mutez 0; # mutez : @parameter%voteCallback : @storage + AMOUNT; # @amount : mutez : @parameter%voteCallback : @storage + COMPARE; # int : @parameter%voteCallback : @storage + EQ; # bool : @parameter%voteCallback : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%voteCallback : @storage + FAILWITH; # FAILED + }; # @parameter%voteCallback : @storage # sp.verify(self.data.state == 1, 'BAD_STATE') # @parameter%voteCallback : @storage PUSH nat 1; # nat : @parameter%voteCallback : @storage DUP 3; # @storage : nat : @parameter%voteCallback : @storage @@ -880,7 +957,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : address : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : address : @parameter%voteCallback : @storage + PUSH int 395; # int : address : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : address : @parameter%voteCallback : @storage @@ -900,7 +977,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : nat : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : nat : @parameter%voteCallback : @storage + PUSH int 395; # int : nat : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : nat : @parameter%voteCallback : @storage @@ -921,7 +998,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @parameter%voteCallback : @storage IF_NONE { - PUSH int 254; # int : @parameter%voteCallback : @storage + PUSH int 260; # int : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : @parameter%voteCallback : @storage @@ -930,7 +1007,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @parameter%voteCallback : @storage + PUSH int 395; # int : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @parameter%voteCallback : @storage @@ -950,7 +1027,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @parameter%voteCallback : @storage IF_NONE { - PUSH int 254; # int : @parameter%voteCallback : @storage + PUSH int 260; # int : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : @parameter%voteCallback : @storage @@ -960,7 +1037,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 254; # int : @some : @parameter%voteCallback : @storage + PUSH int 260; # int : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : @some : @parameter%voteCallback : @storage @@ -980,7 +1057,7 @@ code CAR; # option (pair (nat %id) (pair (pair %proposal (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))) (pair (nat %votingStartBlock) (pair (nat %votingEndBlock) (pair (nat %yayVotes) (pair (nat %nayVotes) (pair (nat %abstainVotes) (pair (nat %totalVotes) (pair (map %voters address (pair (nat %voteValue) (pair (nat %level) (nat %votes)))) (pair (address %author) (pair (nat %escrowAmount) (pair (nat %quorum) (pair %quorumCap (nat %lower) (nat %upper)))))))))))))) : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 254; # int : @some : @parameter%voteCallback : @storage + PUSH int 260; # int : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : @some : @parameter%voteCallback : @storage @@ -996,7 +1073,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : @level : nat : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : @level : nat : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage + PUSH int 395; # int : @level : nat : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : @level : nat : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage @@ -1007,7 +1084,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : option (pair nat (pair @level nat)) : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : option (pair nat (pair @level nat)) : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage + PUSH int 395; # int : option (pair nat (pair @level nat)) : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : option (pair nat (pair @level nat)) : map address (pair (nat %voteValue) (pair (nat %level) (nat %votes))) : @some : @parameter%voteCallback : @storage @@ -1027,7 +1104,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : nat : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : nat : @some : @parameter%voteCallback : @storage + PUSH int 395; # int : nat : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : nat : @some : @parameter%voteCallback : @storage @@ -1051,7 +1128,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : nat : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : nat : @some : @parameter%voteCallback : @storage + PUSH int 395; # int : nat : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : nat : @some : @parameter%voteCallback : @storage @@ -1075,7 +1152,7 @@ code GET 8; # option (pair (nat %voteValue) (pair (address %address) (nat %level))) : nat : @some : @parameter%voteCallback : @storage IF_NONE { - PUSH int 383; # int : nat : @some : @parameter%voteCallback : @storage + PUSH int 395; # int : nat : @some : @parameter%voteCallback : @storage FAILWITH; # FAILED } {}; # @some : nat : @some : @parameter%voteCallback : @storage diff --git a/smart_contracts/token.py b/smart_contracts/token.py index 2819b1a..3a8684a 100644 --- a/smart_contracts/token.py +++ b/smart_contracts/token.py @@ -89,6 +89,9 @@ def __init__( def updateContractMetadata(self, params): sp.set_type(params, sp.TPair(sp.TString, sp.TBytes)) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) key = sp.fst(params) @@ -100,6 +103,9 @@ def updateContractMetadata(self, params): def updateTokenMetadata(self, params): sp.set_type(params, sp.TRecord(token_id = sp.TNat, token_info = sp.TMap(sp.TString, sp.TBytes))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) self.data.token_metadata[0] = params @@ -131,6 +137,9 @@ def getPriorBalance(self, params): level = sp.TNat, ).layout(("address", "level"))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(params.level < sp.level, Errors.ERROR_BLOCK_LEVEL_TOO_SOON) # If there are no checkpoints, return 0. @@ -200,6 +209,9 @@ def transfer(self, params): (self.data.approvals[params.from_][sp.sender] >= params.value))), Errors.ERROR_NOT_ALLOWED) self.addAddressIfNecessary(params.to_) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # CHANGED: Add from address as well. self.addAddressIfNecessary(params.from_) @@ -231,6 +243,9 @@ def transfer(self, params): def approve(self, params): sp.set_type(params, sp.TRecord(spender = sp.TAddress, value = sp.TNat).layout(("spender", "value"))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # CHANGED: Add address if needed. This fixes a bug in our tests for checkpoints where you cannot approve # before you have a balance. self.addAddressIfNecessary(sp.sender) @@ -254,6 +269,9 @@ def getBalance(self, params): @sp.utils.view(sp.TNat) def getAllowance(self, params): + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # CHANGED: Add address if needed. self.addAddressIfNecessary(params.owner) @@ -262,6 +280,10 @@ def getAllowance(self, params): @sp.utils.view(sp.TNat) def getTotalSupply(self, params): sp.set_type(params, sp.TUnit) + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.result(self.data.totalSupply) # CHANGED: Allow minting to be disabled. @@ -269,6 +291,9 @@ def getTotalSupply(self, params): def disableMinting(self, unit): sp.set_type(unit, sp.TUnit) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) self.data.mintingDisabled = True @@ -276,6 +301,9 @@ def disableMinting(self, unit): def mint(self, params): # CHANGED: Disallow minting. sp.verify(self.data.mintingDisabled == False, Errors.ERROR_NOT_ALLOWED) + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) sp.set_type(params, sp.TRecord(address = sp.TAddress, value = sp.TNat)) sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) @@ -301,12 +329,20 @@ def is_administrator(self, sender): @sp.entry_point def setAdministrator(self, params): sp.set_type(params, sp.TOption(sp.TAddress)) + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) self.data.administrator = params @sp.utils.view(sp.TOption(sp.TAddress)) def getAdministrator(self, params): sp.set_type(params, sp.TUnit) + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.result(self.data.administrator) def is_paused(self): @@ -315,6 +351,10 @@ def is_paused(self): @sp.entry_point def setPause(self, params): sp.set_type(params, sp.TBool) + + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + sp.verify(self.is_administrator(sp.sender), Errors.ERROR_NOT_ADMINISTRATOR) self.data.paused = params diff --git a/smart_contracts/token.tz b/smart_contracts/token.tz index dd545b6..58b4970 100644 --- a/smart_contracts/token.tz +++ b/smart_contracts/token.tz @@ -73,7 +73,7 @@ code ISNAT; # option nat : big_map (pair address nat) (pair nat nat) : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) IF_NONE { - PUSH int 118; # int : big_map (pair address nat) (pair nat nat) : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) + PUSH int 124; # int : big_map (pair address nat) (pair nat nat) : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) FAILWITH; # FAILED } {}; # @some : big_map (pair address nat) (pair nat nat) : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -83,7 +83,7 @@ code GET; # option (pair nat nat) : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) IF_NONE { - PUSH int 118; # int : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) + PUSH int 124; # int : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) FAILWITH; # FAILED } {}; # @some : @level : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -112,7 +112,7 @@ code ISNAT; # option nat : option (pair @level nat) : big_map (pair address nat) (pair nat nat) : big_map string bytes : big_map address nat : pair (option address) (big_map address (map address nat)) : pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)) : list operation : pair address (pair nat nat) IF_NONE { - PUSH int 119; # int : option (pair @level nat) : big_map (pair address nat) (pair nat nat) : big_map string bytes : big_map address nat : pair (option address) (big_map address (map address nat)) : pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)) : list operation : pair address (pair nat nat) + PUSH int 125; # int : option (pair @level nat) : big_map (pair address nat) (pair nat nat) : big_map string bytes : big_map address nat : pair (option address) (big_map address (map address nat)) : pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)) : list operation : pair address (pair nat nat) FAILWITH; # FAILED } {}; # @some : option (pair @level nat) : big_map (pair address nat) (pair nat nat) : big_map string bytes : big_map address nat : pair (option address) (big_map address (map address nat)) : pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)) : list operation : pair address (pair nat nat) @@ -144,7 +144,7 @@ code ISNAT; # option nat : big_map (pair address nat) (pair nat nat) : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) IF_NONE { - PUSH int 122; # int : big_map (pair address nat) (pair nat nat) : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) + PUSH int 128; # int : big_map (pair address nat) (pair nat nat) : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) FAILWITH; # FAILED } {}; # @some : big_map (pair address nat) (pair nat nat) : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -154,7 +154,7 @@ code GET; # option (pair nat nat) : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) IF_NONE { - PUSH int 122; # int : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) + PUSH int 128; # int : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) FAILWITH; # FAILED } {}; # @some : nat : list operation : pair address (pair nat nat) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -229,8 +229,19 @@ code { DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%approve : @storage DROP; # @parameter%approve : @storage - SWAP; # @storage : @parameter%approve # == approve == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%approve : @storage + PUSH mutez 0; # mutez : @parameter%approve : @storage + AMOUNT; # @amount : mutez : @parameter%approve : @storage + COMPARE; # int : @parameter%approve : @storage + EQ; # bool : @parameter%approve : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%approve : @storage + FAILWITH; # FAILED + }; # @parameter%approve : @storage + SWAP; # @storage : @parameter%approve # if ~ (self.data.balances.contains(sp.sender)): # @storage : @parameter%approve DUP; # @storage : @storage : @parameter%approve DUG 2; # @storage : @parameter%approve : @storage @@ -285,7 +296,7 @@ code GET; # option (map address nat) : nat : @parameter%approve : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) IF_NONE { - PUSH int 239; # int : nat : @parameter%approve : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) + PUSH int 254; # int : nat : @parameter%approve : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%approve : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) @@ -329,7 +340,7 @@ code GET; # option (map address nat) : @sender : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%approve IF_NONE { - PUSH int 241; # int : @sender : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%approve + PUSH int 256; # int : @sender : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%approve FAILWITH; # FAILED } {}; # @some : @sender : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%approve @@ -355,6 +366,17 @@ code SWAP; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @storage DROP; # @storage # == disableMinting == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @storage + PUSH mutez 0; # mutez : @storage + AMOUNT; # @amount : mutez : @storage + COMPARE; # int : @storage + EQ; # bool : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @storage + FAILWITH; # FAILED + }; # @storage # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @storage SENDER; # @sender : @storage SOME; # option address : @storage @@ -387,8 +409,19 @@ code { DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%getAdministrator : @storage DROP; # @parameter%getAdministrator : @storage - SWAP; # @storage : @parameter%getAdministrator # == getAdministrator == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%getAdministrator : @storage + PUSH mutez 0; # mutez : @parameter%getAdministrator : @storage + AMOUNT; # @amount : mutez : @parameter%getAdministrator : @storage + COMPARE; # int : @parameter%getAdministrator : @storage + EQ; # bool : @parameter%getAdministrator : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%getAdministrator : @storage + FAILWITH; # FAILED + }; # @parameter%getAdministrator : @storage + SWAP; # @storage : @parameter%getAdministrator # sp.result(self.data.administrator) # @storage : @parameter%getAdministrator DUP; # @storage : @storage : @parameter%getAdministrator DUG 2; # @storage : @parameter%getAdministrator : @storage @@ -411,8 +444,19 @@ code { DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%getAllowance : @storage DROP; # @parameter%getAllowance : @storage - SWAP; # @storage : @parameter%getAllowance # == getAllowance == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%getAllowance : @storage + PUSH mutez 0; # mutez : @parameter%getAllowance : @storage + AMOUNT; # @amount : mutez : @parameter%getAllowance : @storage + COMPARE; # int : @parameter%getAllowance : @storage + EQ; # bool : @parameter%getAllowance : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%getAllowance : @storage + FAILWITH; # FAILED + }; # @parameter%getAllowance : @storage + SWAP; # @storage : @parameter%getAllowance # if ~ (self.data.balances.contains(sp.fst(params).owner)): # @storage : @parameter%getAllowance DUP; # @storage : @storage : @parameter%getAllowance DUG 2; # @storage : @parameter%getAllowance : @storage @@ -469,7 +513,7 @@ code GET; # option (map address nat) : @parameter%getAllowance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) IF_NONE { - PUSH int 260; # int : @parameter%getAllowance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) + PUSH int 278; # int : @parameter%getAllowance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) FAILWITH; # FAILED } {}; # @some : @parameter%getAllowance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) @@ -551,7 +595,7 @@ code GET; # option nat : @parameter%getBalance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) IF_NONE { - PUSH int 253; # int : @parameter%getBalance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) + PUSH int 268; # int : @parameter%getBalance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) FAILWITH; # FAILED } {}; # @some : @parameter%getBalance : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) @@ -566,6 +610,17 @@ code } { # == getPriorBalance == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH mutez 0; # mutez : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + AMOUNT; # @amount : mutez : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + COMPARE; # int : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + EQ; # bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + FAILWITH; # FAILED + }; # @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) # sp.verify(sp.fst(params).level < sp.level, 'BLOCK_LEVEL_TOO_SOON') # @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) LEVEL; # @level : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SWAP; # @parameter%getPriorBalance : @level : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -632,7 +687,7 @@ code GET; # option nat : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 141; # int : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 150; # int : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -640,7 +695,7 @@ code ISNAT; # option nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 141; # int : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 150; # int : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -651,7 +706,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 141; # int : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 150; # int : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -678,7 +733,7 @@ code GET; # option nat : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage IF_NONE { - PUSH int 143; # int : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage + PUSH int 152; # int : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage FAILWITH; # FAILED } {}; # @some : nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage @@ -686,7 +741,7 @@ code ISNAT; # option nat : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage IF_NONE { - PUSH int 143; # int : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage + PUSH int 152; # int : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage FAILWITH; # FAILED } {}; # @some : big_map (pair address nat) (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage @@ -697,7 +752,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage IF_NONE { - PUSH int 143; # int : @parameter%getPriorBalance : @storage + PUSH int 152; # int : @parameter%getPriorBalance : @storage FAILWITH; # FAILED } {}; # @some : @parameter%getPriorBalance : @storage @@ -729,7 +784,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 149; # int : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 158; # int : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -771,7 +826,7 @@ code GET; # option nat : nat : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 160; # int : nat : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 169; # int : nat : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -779,7 +834,7 @@ code ISNAT; # option nat : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 160; # int : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 169; # int : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -814,14 +869,14 @@ code ISNAT; # option nat : nat : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 164; # int : nat : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 173; # int : nat : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) EDIV; # option (pair nat nat) : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 164; # int : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 173; # int : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } { @@ -834,7 +889,7 @@ code ISNAT; # option nat : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 164; # int : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 173; # int : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : @some : nat : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -854,7 +909,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 167; # int : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 176; # int : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -885,7 +940,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 170; # int : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 179; # int : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -911,7 +966,7 @@ code ISNAT; # option nat : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 173; # int : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 182; # int : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : bool : @parameter%getPriorBalance : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -962,7 +1017,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage IF_NONE { - PUSH int 179; # int : @parameter%getPriorBalance : @storage + PUSH int 188; # int : @parameter%getPriorBalance : @storage FAILWITH; # FAILED } {}; # @some : @parameter%getPriorBalance : @storage @@ -997,7 +1052,7 @@ code GET; # option (pair (nat %fromBlock) (nat %balance)) : @parameter%getPriorBalance : @storage IF_NONE { - PUSH int 188; # int : @parameter%getPriorBalance : @storage + PUSH int 197; # int : @parameter%getPriorBalance : @storage FAILWITH; # FAILED } {}; # @some : @parameter%getPriorBalance : @storage @@ -1035,8 +1090,19 @@ code { DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%getTotalSupply : @storage DROP; # @parameter%getTotalSupply : @storage - SWAP; # @storage : @parameter%getTotalSupply # == getTotalSupply == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%getTotalSupply : @storage + PUSH mutez 0; # mutez : @parameter%getTotalSupply : @storage + AMOUNT; # @amount : mutez : @parameter%getTotalSupply : @storage + COMPARE; # int : @parameter%getTotalSupply : @storage + EQ; # bool : @parameter%getTotalSupply : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%getTotalSupply : @storage + FAILWITH; # FAILED + }; # @parameter%getTotalSupply : @storage + SWAP; # @storage : @parameter%getTotalSupply # sp.result(self.data.totalSupply) # @storage : @parameter%getTotalSupply DUP; # @storage : @storage : @parameter%getTotalSupply DUG 2; # @storage : @parameter%getTotalSupply : @storage @@ -1067,6 +1133,17 @@ code PUSH string "NOT_ALLOWED"; # string : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED }; # @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH mutez 0; # mutez : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + AMOUNT; # @amount : mutez : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + COMPARE; # int : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + EQ; # bool : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + FAILWITH; # FAILED + }; # @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SENDER; # @sender : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SOME; # option address : @parameter%mint : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1135,7 +1212,7 @@ code GET; # option nat : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 283; # int : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 311; # int : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1157,7 +1234,7 @@ code ADD; # nat : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) UPDATE 8; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%mint : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SWAP; # @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) - # compute_token_288 = sp.local("compute_token_288", self.writeCheckpoint(sp.record(checkpointedAddress = params.address, numCheckpoints = self.data.numCheckpoints.get(params.address, default_value = 0), newBalance = self.data.balances[params.address]))) # @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + # compute_token_316 = sp.local("compute_token_316", self.writeCheckpoint(sp.record(checkpointedAddress = params.address, numCheckpoints = self.data.numCheckpoints.get(params.address, default_value = 0), newBalance = self.data.balances[params.address]))) # @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) NIL operation; # list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) DIG 3; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) DUP 4; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) @@ -1168,7 +1245,7 @@ code GET; # option nat : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) IF_NONE { - PUSH int 292; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) + PUSH int 320; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) FAILWITH; # FAILED } {}; # @some : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%mint : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) @@ -1197,6 +1274,17 @@ code DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%setAdministrator : @storage DROP; # @parameter%setAdministrator : @storage # == setAdministrator == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setAdministrator : @storage + PUSH mutez 0; # mutez : @parameter%setAdministrator : @storage + AMOUNT; # @amount : mutez : @parameter%setAdministrator : @storage + COMPARE; # int : @parameter%setAdministrator : @storage + EQ; # bool : @parameter%setAdministrator : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setAdministrator : @storage + FAILWITH; # FAILED + }; # @parameter%setAdministrator : @storage # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @parameter%setAdministrator : @storage SENDER; # @sender : @parameter%setAdministrator : @storage SOME; # option address : @parameter%setAdministrator : @storage @@ -1233,6 +1321,17 @@ code DIG 2; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : @parameter%setPause : @storage DROP; # @parameter%setPause : @storage # == setPause == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setPause : @storage + PUSH mutez 0; # mutez : @parameter%setPause : @storage + AMOUNT; # @amount : mutez : @parameter%setPause : @storage + COMPARE; # int : @parameter%setPause : @storage + EQ; # bool : @parameter%setPause : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setPause : @storage + FAILWITH; # FAILED + }; # @parameter%setPause : @storage # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @parameter%setPause : @storage SENDER; # @sender : @parameter%setPause : @storage SOME; # option address : @parameter%setPause : @storage @@ -1298,7 +1397,7 @@ code GET; # option (map address nat) : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 200; # int : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 209; # int : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1306,7 +1405,7 @@ code GET; # option nat : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 200; # int : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 209; # int : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%transfer : @storage : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1360,6 +1459,17 @@ code PAIR; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SWAP; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) }; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH mutez 0; # mutez : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + AMOUNT; # @amount : mutez : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + COMPARE; # int : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + EQ; # bool : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + FAILWITH; # FAILED + }; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) SWAP; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) # if ~ (self.data.balances.contains(params.from_)): # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) DUP; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1410,7 +1520,7 @@ code GET; # option nat : nat : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 206; # int : nat : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 218; # int : nat : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1440,7 +1550,7 @@ code GET; # option nat : nat : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 207; # int : nat : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 219; # int : nat : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1448,7 +1558,7 @@ code ISNAT; # option nat : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 207; # int : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 219; # int : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1465,7 +1575,7 @@ code GET; # option nat : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 208; # int : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 220; # int : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : address : big_map address nat : pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes) : pair (option address) (big_map address (map address nat)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1518,7 +1628,7 @@ code GET; # option (map address nat) : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 210; # int : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 222; # int : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1533,7 +1643,7 @@ code GET; # option (map address nat) : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 210; # int : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 222; # int : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1541,7 +1651,7 @@ code GET; # option nat : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 210; # int : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 222; # int : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1549,7 +1659,7 @@ code ISNAT; # option nat : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 210; # int : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 222; # int : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : @some : address : big_map address (map address nat) : option address : pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)) : pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply))) : @parameter%transfer : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1566,7 +1676,7 @@ code SWAP; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) } {}; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) - # compute_token_214 = sp.local("compute_token_214", self.writeCheckpoint(sp.record(checkpointedAddress = params.from_, numCheckpoints = self.data.numCheckpoints.get(params.from_, default_value = 0), newBalance = self.data.balances[params.from_]))) # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + # compute_token_226 = sp.local("compute_token_226", self.writeCheckpoint(sp.record(checkpointedAddress = params.from_, numCheckpoints = self.data.numCheckpoints.get(params.from_, default_value = 0), newBalance = self.data.balances[params.from_]))) # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) NIL operation; # list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) DUP 4; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) DUP 4; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1577,7 +1687,7 @@ code GET; # option nat : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) IF_NONE { - PUSH int 218; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + PUSH int 230; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) FAILWITH; # FAILED } {}; # @some : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map %checkpoints (pair address nat) (pair (nat %fromBlock) (nat %balance))) (big_map %metadata string bytes)))) (pair (pair (bool %mintingDisabled) (big_map %numCheckpoints address nat)) (pair (bool %paused) (pair (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes))) (nat %totalSupply)))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) @@ -1607,7 +1717,7 @@ code DIG 2; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer DIG 3; # @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation DIG 3; # list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) - # compute_token_222 = sp.local("compute_token_222", self.writeCheckpoint(sp.record(checkpointedAddress = params.to_, numCheckpoints = self.data.numCheckpoints.get(params.to_, default_value = 0), newBalance = self.data.balances[params.to_]))) # list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) + # compute_token_234 = sp.local("compute_token_234", self.writeCheckpoint(sp.record(checkpointedAddress = params.to_, numCheckpoints = self.data.numCheckpoints.get(params.to_, default_value = 0), newBalance = self.data.balances[params.to_]))) # list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) DIG 3; # lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) DUP 4; # pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) CAR; # pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes))) : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -1617,7 +1727,7 @@ code GET; # option nat : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) IF_NONE { - PUSH int 226; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) + PUSH int 238; # int : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) FAILWITH; # FAILED } {}; # @some : lambda (pair (pair address (pair nat nat)) (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) (pair unit (pair (list operation) (pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat)))))) : list operation : @parameter%transfer : pair (pair (pair (option address) (big_map address (map address nat))) (pair (big_map address nat) (pair (big_map (pair address nat) (pair nat nat)) (big_map string bytes)))) (pair (pair bool (big_map address nat)) (pair bool (pair (big_map nat (pair nat (map string bytes))) nat))) @@ -1649,6 +1759,17 @@ code IF_LEFT { # == updateContractMetadata == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%updateContractMetadata : @storage + PUSH mutez 0; # mutez : @parameter%updateContractMetadata : @storage + AMOUNT; # @amount : mutez : @parameter%updateContractMetadata : @storage + COMPARE; # int : @parameter%updateContractMetadata : @storage + EQ; # bool : @parameter%updateContractMetadata : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%updateContractMetadata : @storage + FAILWITH; # FAILED + }; # @parameter%updateContractMetadata : @storage # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @parameter%updateContractMetadata : @storage SENDER; # @sender : @parameter%updateContractMetadata : @storage SOME; # option address : @parameter%updateContractMetadata : @storage @@ -1689,6 +1810,17 @@ code } { # == updateTokenMetadata == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%updateTokenMetadata : @storage + PUSH mutez 0; # mutez : @parameter%updateTokenMetadata : @storage + AMOUNT; # @amount : mutez : @parameter%updateTokenMetadata : @storage + COMPARE; # int : @parameter%updateTokenMetadata : @storage + EQ; # bool : @parameter%updateTokenMetadata : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%updateTokenMetadata : @storage + FAILWITH; # FAILED + }; # @parameter%updateTokenMetadata : @storage # sp.verify(self.data.administrator == sp.some(sp.sender), 'NOT_ADMINISTRATOR') # @parameter%updateTokenMetadata : @storage SENDER; # @sender : @parameter%updateTokenMetadata : @storage SOME; # option address : @parameter%updateTokenMetadata : @storage diff --git a/smart_contracts/vesting-vault.py b/smart_contracts/vesting-vault.py index 7dd38e7..ef648d2 100644 --- a/smart_contracts/vesting-vault.py +++ b/smart_contracts/vesting-vault.py @@ -66,6 +66,9 @@ def __init__( def withdraw(self, params): sp.set_type(params, sp.TRecord(numberOfTokens = sp.TNat).layout("numberOfTokens")) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -101,6 +104,9 @@ def withdraw(self, params): def rescueXTZ(self, params): sp.set_type(params, sp.TRecord(destinationAddress = sp.TAddress).layout("destinationAddress")) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -115,6 +121,9 @@ def rescueFA12(self, params): destination = sp.TAddress, ).layout(("tokenContractAddress", ("amount", "destination")))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -144,6 +153,9 @@ def rescueFA2(self, params): destination = sp.TAddress, ).layout(("tokenContractAddress", ("tokenId", ("amount", "destination"))))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -192,6 +204,9 @@ def rescueFA2(self, params): def rotateOwner(self, params): sp.set_type(params, sp.TRecord(newOwner = sp.TAddress).layout("newOwner")) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the governor sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -203,6 +218,9 @@ def rotateOwner(self, params): def setDaoContractAddress(self, params): sp.set_type(params, sp.TRecord(newDaoContractAddress = sp.TAddress).layout("newDaoContractAddress")) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the governor sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -214,6 +232,9 @@ def setDaoContractAddress(self, params): def setGovernorContract(self, newGovernorAddress): sp.set_type(newGovernorAddress, sp.TAddress) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify command came from governor. sp.verify(sp.sender == self.data.governorAddress, Errors.ERROR_NOT_GOVERNOR) @@ -235,6 +256,9 @@ def propose(self, params): proposal = Proposal.PROPOSAL_TYPE ).layout(("escrowAmount", "proposal"))) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -274,6 +298,9 @@ def propose(self, params): def vote(self, voteValue): sp.set_type(voteValue, sp.TNat) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) @@ -290,6 +317,9 @@ def vote(self, voteValue): def executeTimelock(self, unit): sp.set_type(unit, sp.TUnit) + # Verify that the call did not include XTZ. + sp.verify(sp.amount == sp.mutez(0), Errors.ERROR_BAD_AMOUNT) + # Verify the requester is the owner. sp.verify(sp.sender == self.data.owner, Errors.ERROR_NOT_OWNER) diff --git a/smart_contracts/vesting-vault.tz b/smart_contracts/vesting-vault.tz index 0b56ded..58faf25 100644 --- a/smart_contracts/vesting-vault.tz +++ b/smart_contracts/vesting-vault.tz @@ -11,6 +11,17 @@ code { DROP; # @storage # == executeTimelock == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @storage + PUSH mutez 0; # mutez : @storage + AMOUNT; # @amount : mutez : @storage + COMPARE; # int : @storage + EQ; # bool : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @storage + FAILWITH; # FAILED + }; # @storage # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage DUP; # @storage : @storage GET 3; # pair (big_map %metadata string bytes) (address %owner) : @storage @@ -31,7 +42,7 @@ code CONTRACT %executeTimelock unit; # option (contract unit) : @storage IF_NONE { - PUSH int 297; # int : @storage + PUSH int 327; # int : @storage FAILWITH; # FAILED } {}; # @some : @storage @@ -43,8 +54,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%propose # == propose == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%propose : @storage + PUSH mutez 0; # mutez : @parameter%propose : @storage + AMOUNT; # @amount : mutez : @parameter%propose : @storage + COMPARE; # int : @parameter%propose : @storage + EQ; # bool : @parameter%propose : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%propose : @storage + FAILWITH; # FAILED + }; # @parameter%propose : @storage + SWAP; # @storage : @parameter%propose # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%propose DUP; # @storage : @storage : @parameter%propose DUG 2; # @storage : @parameter%propose : @storage @@ -66,7 +88,7 @@ code CONTRACT %approve (pair (address %spender) (nat %value)); # option (contract (pair (address %spender) (nat %value))) : list operation : @parameter%propose : @storage IF_NONE { - PUSH int 245; # int : list operation : @parameter%propose : @storage + PUSH int 269; # int : list operation : @parameter%propose : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%propose : @storage @@ -84,7 +106,7 @@ code CONTRACT %approve (pair (address %spender) (nat %value)); # option (contract (pair (address %spender) (nat %value))) : list operation : @parameter%propose : @storage IF_NONE { - PUSH int 245; # int : list operation : @parameter%propose : @storage + PUSH int 269; # int : list operation : @parameter%propose : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%propose : @storage @@ -104,7 +126,7 @@ code CONTRACT %propose (pair (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation))))); # option (contract (pair (string %title) (pair (string %descriptionLink) (pair (string %descriptionHash) (lambda %proposalLambda unit (list operation)))))) : list operation : @parameter%propose : @storage IF_NONE { - PUSH int 264; # int : list operation : @parameter%propose : @storage + PUSH int 288; # int : list operation : @parameter%propose : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%propose : @storage @@ -118,8 +140,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%rescueFA12 # == rescueFA12 == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueFA12 : @storage + PUSH mutez 0; # mutez : @parameter%rescueFA12 : @storage + AMOUNT; # @amount : mutez : @parameter%rescueFA12 : @storage + COMPARE; # int : @parameter%rescueFA12 : @storage + EQ; # bool : @parameter%rescueFA12 : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueFA12 : @storage + FAILWITH; # FAILED + }; # @parameter%rescueFA12 : @storage + SWAP; # @storage : @parameter%rescueFA12 # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%rescueFA12 DUP; # @storage : @storage : @parameter%rescueFA12 DUG 2; # @storage : @parameter%rescueFA12 : @storage @@ -157,7 +190,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : @parameter%rescueFA12 : @storage IF_NONE { - PUSH int 125; # int : @parameter%rescueFA12 : @storage + PUSH int 134; # int : @parameter%rescueFA12 : @storage FAILWITH; # FAILED } {}; # @some : @parameter%rescueFA12 : @storage @@ -177,8 +210,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%rescueFA2 # == rescueFA2 == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueFA2 : @storage + PUSH mutez 0; # mutez : @parameter%rescueFA2 : @storage + AMOUNT; # @amount : mutez : @parameter%rescueFA2 : @storage + COMPARE; # int : @parameter%rescueFA2 : @storage + EQ; # bool : @parameter%rescueFA2 : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueFA2 : @storage + FAILWITH; # FAILED + }; # @parameter%rescueFA2 : @storage + SWAP; # @storage : @parameter%rescueFA2 # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%rescueFA2 DUP; # @storage : @storage : @parameter%rescueFA2 DUG 2; # @storage : @parameter%rescueFA2 : @storage @@ -216,7 +260,7 @@ code CONTRACT %transfer (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))); # option (contract (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount))))))) : @parameter%rescueFA2 : @storage IF_NONE { - PUSH int 155; # int : @parameter%rescueFA2 : @storage + PUSH int 167; # int : @parameter%rescueFA2 : @storage FAILWITH; # FAILED } {}; # @some : @parameter%rescueFA2 : @storage @@ -242,8 +286,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%rescueXTZ # == rescueXTZ == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rescueXTZ : @storage + PUSH mutez 0; # mutez : @parameter%rescueXTZ : @storage + AMOUNT; # @amount : mutez : @parameter%rescueXTZ : @storage + COMPARE; # int : @parameter%rescueXTZ : @storage + EQ; # bool : @parameter%rescueXTZ : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rescueXTZ : @storage + FAILWITH; # FAILED + }; # @parameter%rescueXTZ : @storage + SWAP; # @storage : @parameter%rescueXTZ # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%rescueXTZ DUP; # @storage : @storage : @parameter%rescueXTZ DUG 2; # @storage : @parameter%rescueXTZ : @storage @@ -262,7 +317,7 @@ code CONTRACT unit; # option (contract unit) : @storage IF_NONE { - PUSH int 107; # int : @storage + PUSH int 113; # int : @storage FAILWITH; # FAILED } {}; # @some : @storage @@ -281,8 +336,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%rotateOwner # == rotateOwner == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%rotateOwner : @storage + PUSH mutez 0; # mutez : @parameter%rotateOwner : @storage + AMOUNT; # @amount : mutez : @parameter%rotateOwner : @storage + COMPARE; # int : @parameter%rotateOwner : @storage + EQ; # bool : @parameter%rotateOwner : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%rotateOwner : @storage + FAILWITH; # FAILED + }; # @parameter%rotateOwner : @storage + SWAP; # @storage : @parameter%rotateOwner # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%rotateOwner DUP; # @storage : @storage : @parameter%rotateOwner DUG 2; # @storage : @parameter%rotateOwner : @storage @@ -311,8 +377,19 @@ code PAIR; # pair (pair (pair (nat %amountPerBlock) (nat %amountWithdrawn)) (pair (address %daoContractAddress) (address %governorAddress))) (pair (pair (big_map string bytes) @parameter%rotateOwner) (pair (nat %startBlock) (address %tokenContractAddress))) } { - SWAP; # @storage : @parameter%setDaoContractAddress # == setDaoContractAddress == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setDaoContractAddress : @storage + PUSH mutez 0; # mutez : @parameter%setDaoContractAddress : @storage + AMOUNT; # @amount : mutez : @parameter%setDaoContractAddress : @storage + COMPARE; # int : @parameter%setDaoContractAddress : @storage + EQ; # bool : @parameter%setDaoContractAddress : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setDaoContractAddress : @storage + FAILWITH; # FAILED + }; # @parameter%setDaoContractAddress : @storage + SWAP; # @storage : @parameter%setDaoContractAddress # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%setDaoContractAddress DUP; # @storage : @storage : @parameter%setDaoContractAddress DUG 2; # @storage : @parameter%setDaoContractAddress : @storage @@ -344,8 +421,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%setGovernorContract # == setGovernorContract == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%setGovernorContract : @storage + PUSH mutez 0; # mutez : @parameter%setGovernorContract : @storage + AMOUNT; # @amount : mutez : @parameter%setGovernorContract : @storage + COMPARE; # int : @parameter%setGovernorContract : @storage + EQ; # bool : @parameter%setGovernorContract : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%setGovernorContract : @storage + FAILWITH; # FAILED + }; # @parameter%setGovernorContract : @storage + SWAP; # @storage : @parameter%setGovernorContract # sp.verify(sp.sender == self.data.governorAddress, 'NOT_GOVERNOR') # @storage : @parameter%setGovernorContract DUP; # @storage : @storage : @parameter%setGovernorContract DUG 2; # @storage : @parameter%setGovernorContract : @storage @@ -377,8 +465,19 @@ code { IF_LEFT { - SWAP; # @storage : @parameter%vote # == vote == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%vote : @storage + PUSH mutez 0; # mutez : @parameter%vote : @storage + AMOUNT; # @amount : mutez : @parameter%vote : @storage + COMPARE; # int : @parameter%vote : @storage + EQ; # bool : @parameter%vote : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%vote : @storage + FAILWITH; # FAILED + }; # @parameter%vote : @storage + SWAP; # @storage : @parameter%vote # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%vote DUP; # @storage : @storage : @parameter%vote DUG 2; # @storage : @parameter%vote : @storage @@ -401,7 +500,7 @@ code CONTRACT %vote nat; # option (contract nat) : list operation : @parameter%vote : @storage IF_NONE { - PUSH int 281; # int : list operation : @parameter%vote : @storage + PUSH int 308; # int : list operation : @parameter%vote : @storage FAILWITH; # FAILED } {}; # @some : list operation : @parameter%vote : @storage @@ -411,8 +510,19 @@ code CONS; # list operation : @storage } { - SWAP; # @storage : @parameter%withdraw # == withdraw == + # sp.verify(sp.amount == sp.tez(0), 'BAD_AMOUNT') # @parameter%withdraw : @storage + PUSH mutez 0; # mutez : @parameter%withdraw : @storage + AMOUNT; # @amount : mutez : @parameter%withdraw : @storage + COMPARE; # int : @parameter%withdraw : @storage + EQ; # bool : @parameter%withdraw : @storage + IF + {} + { + PUSH string "BAD_AMOUNT"; # string : @parameter%withdraw : @storage + FAILWITH; # FAILED + }; # @parameter%withdraw : @storage + SWAP; # @storage : @parameter%withdraw # sp.verify(sp.sender == self.data.owner, 'NOT_OWNER') # @storage : @parameter%withdraw DUP; # @storage : @storage : @parameter%withdraw DUG 2; # @storage : @parameter%withdraw : @storage @@ -442,7 +552,7 @@ code ISNAT; # option nat : nat : @parameter%withdraw : @storage IF_NONE { - PUSH int 73; # int : nat : @parameter%withdraw : @storage + PUSH int 76; # int : nat : @parameter%withdraw : @storage FAILWITH; # FAILED } {}; # @some : nat : @parameter%withdraw : @storage @@ -483,7 +593,7 @@ code CONTRACT %transfer (pair (address %from) (pair (address %to) (nat %value))); # option (contract (pair (address %from) (pair (address %to) (nat %value)))) : list operation : @parameter%withdraw : pair (pair (pair nat nat) (pair (address %daoContractAddress) (address %governorAddress))) (pair (pair (big_map %metadata string bytes) (address %owner)) (pair (nat %startBlock) (address %tokenContractAddress))) IF_NONE { - PUSH int 82; # int : list operation : @parameter%withdraw : pair (pair (pair nat nat) (pair (address %daoContractAddress) (address %governorAddress))) (pair (pair (big_map %metadata string bytes) (address %owner)) (pair (nat %startBlock) (address %tokenContractAddress))) + PUSH int 85; # int : list operation : @parameter%withdraw : pair (pair (pair nat nat) (pair (address %daoContractAddress) (address %governorAddress))) (pair (pair (big_map %metadata string bytes) (address %owner)) (pair (nat %startBlock) (address %tokenContractAddress))) FAILWITH; # FAILED } {}; # @some : list operation : @parameter%withdraw : pair (pair (pair nat nat) (pair (address %daoContractAddress) (address %governorAddress))) (pair (pair (big_map %metadata string bytes) (address %owner)) (pair (nat %startBlock) (address %tokenContractAddress)))