diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.diff deleted file mode 100644 index 91b36833e3ea51401b33547c1491a90802f31511..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.diff +++ /dev/null @@ -1,23 +0,0 @@ ---- patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.original.tz -+++ patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.patched.tz -@@ -1,10 +1,5 @@ - { parameter (or (lambda %do unit (list operation)) (unit %default)) ; -- storage -- (pair key_hash -- (contract -- (or (option address) -- (or (pair (option address) (option mutez)) -- (or mutez (or (pair (option address) (option mutez)) address)))))) ; -+ storage (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT -@@ -28,6 +23,8 @@ - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; -+ CONTRACT (or (option address) (or (pair (option address) (option mutez)) (or mutez (or (pair (option address) (option mutez)) address)))); -+ IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - SENDER ; - SOME ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.original.tz deleted file mode 100644 index 24a06dacc374fb6fa05a2c195ec1d9c830f50fe7..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.original.tz +++ /dev/null @@ -1,44 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (unit %default)) ; - storage - (pair key_hash - (contract - (or (option address) - (or (pair (option address) (option mutez)) - (or mutez (or (pair (option address) (option mutez)) address)))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { CDR ; - DUP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - AMOUNT ; - SENDER ; - SOME ; - LEFT (or (pair (option address) (option mutez)) - (or mutez (or (pair (option address) (option mutez)) address))) ; - TRANSFER_TOKENS ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.patched.tz deleted file mode 100644 index 0ee44eafdb73444d019ba4ef54eb38006de47d30..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprtgpMFzTtyg1STJqANLQsjsMXmkf8UuJTuczQh8GPtqfw18x6Lc.patched.tz +++ /dev/null @@ -1,41 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (unit %default)) ; - storage (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { CDR ; - DUP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONTRACT (or (option address) (or (pair (option address) (option mutez)) (or mutez (or (pair (option address) (option mutez)) address)))); - IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - SENDER ; - SOME ; - LEFT (or (pair (option address) (option mutez)) - (or mutez (or (pair (option address) (option mutez)) address))) ; - TRANSFER_TOKENS ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.diff deleted file mode 100644 index a39f1be68bc77edd9fd330e748639048875aa35b..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.diff +++ /dev/null @@ -1,113 +0,0 @@ ---- patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.original.tz -+++ patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.patched.tz -@@ -243,7 +243,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -432,7 +432,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -720,7 +720,8 @@ - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -744,7 +745,7 @@ - CDR ; - CAR ; - CONTRACT unit ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; -@@ -755,7 +756,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; -@@ -909,7 +910,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; -@@ -1040,7 +1041,8 @@ - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -1074,7 +1076,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -1217,7 +1219,8 @@ - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -1240,7 +1243,7 @@ - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; -@@ -1260,7 +1263,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -1313,7 +1316,7 @@ - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.original.tz deleted file mode 100644 index 975f95809b666e53f9ce8d27440a6681b53fdcd2..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.original.tz +++ /dev/null @@ -1,1503 +0,0 @@ -{ parameter - (or (or (or (pair %approve (address :spender) (pair (nat :allowance) (nat :currentAllowance))) - (pair %addLiquidity - (pair (address :owner) (nat :minLqtMinted)) - (pair (nat :maxTokensDeposited) (timestamp :deadline)))) - (or (pair %removeLiquidity - (pair (address :owner) (pair (address :to) (nat :lqtBurned))) - (pair (mutez :minXtzWithdrawn) (pair (nat :minTokensWithdrawn) (timestamp :deadline)))) - (or (pair %xtzToToken (address :to) (pair (nat :minTokensBought) (timestamp :deadline))) - (pair %tokenToXtz - (pair (address :owner) (address :to)) - (pair (nat :tokensSold) (pair (mutez :minXtzBought) (timestamp :deadline))))))) - (or (or (pair %tokenToToken - (pair (address :outputDexterContract) (pair (nat :minTokensBought) (address :owner))) - (pair (address :to) (pair (nat :tokensSold) (timestamp :deadline)))) - (or (key_hash %updateTokenPool) (nat %updateTokenPoolInternal))) - (or (pair %setBaker (option key_hash) bool) (or (address %setManager) (unit %default))))) ; - storage - (pair (big_map %accounts - (address :owner) - (pair (nat :balance) (map (address :spender) (nat :allowance)))) - (pair (pair (bool :selfIsUpdatingTokenPool) (pair (bool :freezeBaker) (nat :lqtTotal))) - (pair (pair (address :manager) (address :tokenAddress)) - (pair (nat :tokenPool) (mutez :xtzPool))))) ; - code { CAST (pair (or (or (or (pair address (pair nat nat)) (pair (pair address nat) (pair nat timestamp))) - (or (pair (pair address (pair address nat)) (pair mutez (pair nat timestamp))) - (or (pair address (pair nat timestamp)) - (pair (pair address address) (pair nat (pair mutez timestamp)))))) - (or (or (pair (pair address (pair nat address)) (pair address (pair nat timestamp))) - (or key_hash nat)) - (or (pair (option key_hash) bool) (or address unit)))) - (pair (big_map address (pair nat (map address nat))) - (pair (pair bool (pair bool nat)) (pair (pair address address) (pair nat mutez))))) ; - DUP ; - CAR ; - DIP { CDR } ; - IF_LEFT - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CAR ; - SENDER ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - COMPARE ; - EQ ; - IF {} - { PUSH string - "The current allowance parameter must equal the sender's current allowance for the owner." ; - FAILWITH } ; - DUP ; - CDR ; - DIG 2 ; - DUP ; - CAR ; - DIP { CDR ; CAR ; SOME } ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - NIL operation ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "maxTokensDeposited must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minLqtMinted must be greater than zero." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - GT ; - IF {} { PUSH string "Amount must be greater than zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CDR ; - INT ; - EQ ; - IF { AMOUNT ; - PUSH mutez 1000000 ; - COMPARE ; - LE ; - IF {} - { PUSH string - "The initial liquidity amount must be greater than or equal to 1 XTZ." ; - FAILWITH } ; - SWAP ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - SWAP ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - DIP { DUP ; CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - EDIV ; - IF_NONE - { PUSH string "divByZero." ; FAILWITH } - { DUP ; - CAR ; - DIP { CDR } ; - SWAP ; - INT ; - EQ ; - IF {} { PUSH nat 1 ; ADD } } ; - DUP ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensDeposited is zero." ; FAILWITH } ; - SWAP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CAR ; - CDR ; - CDR ; - MUL ; - DIP { SWAP } ; - EDIV ; - IF_NONE { FAILWITH } { CAR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - DIP { DUP } ; - COMPARE ; - LE ; - IF {} - { PUSH string "lqtMinted must be greater than or equal to minLqtMinted." ; - FAILWITH } ; - DIP { DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - DIP { DUP } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensDeposited is greater than maxTokensDeposited." ; - FAILWITH } } ; - DIP 3 { DUP } ; - DIG 3 ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { DIP { DIG 3 ; DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minXtzWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "lqtBurned must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - DIP { DIP { DUP } ; SWAP ; CAR } ; - GET ; - IF_NONE { PUSH string "owner has no liquidity." ; FAILWITH } {} ; - SWAP ; - DUP ; - CAR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - COMPARE ; - GE ; - IF {} - { PUSH string "lqtBurned is greater than owner's balance." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF { SWAP ; CAR } - { SWAP ; - DUP ; - CDR ; - SENDER ; - GET ; - IF_NONE { PUSH string "sender has no approval balance." ; FAILWITH } {} ; - DIP { SWAP ; DUP ; CAR ; CDR ; CDR ; DIP { PUSH int 0 } } ; - SUB ; - DUP ; - DIP { COMPARE ; - GE ; - IF {} - { PUSH string "sender approval balance is less than LQT burned." ; FAILWITH } } ; - ABS ; - SOME ; - DIG 2 ; - DUP ; - CDR ; - DIG 2 ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CAR ; - DIP { SOME ; - DUG 1 ; - DUP ; - CAR ; - CAR ; - SWAP ; - DIP { DIP { DIP { DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR } } } ; - DIP { DUP } ; - SWAP ; - CAR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; CAR ; CDR ; CDR } ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "xtzWithdrawn is less than minXtzWithdrawn." ; FAILWITH } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CDR ; - DIP { DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - SWAP ; - CDR ; - CDR ; - CDR ; - CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "tokensWithdrawn is less than minTokensWithdrawn." ; FAILWITH } ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CDR ; - DIG 3 ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIG 4 ; - DUP ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIP 4 { DUP } ; - DIG 4 ; - CAR ; - CDR ; - CDR ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CAR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DIP { CAR ; CDR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; - PAIR ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - GT ; - IF {} { PUSH string "Amount must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - PUSH nat 1000 ; - MUL ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { PUSH nat 997 ; MUL ; ADD } ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensBought is less than minTokensBought." ; FAILWITH } } ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; SELF ; ADDRESS } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensSold is zero" ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minXtzBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} { PUSH string "xtzBought is less than minXtzBought." ; FAILWITH } } ; - DIP { SWAP ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 1 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - DIG 2 ; - CONS ; - SWAP ; - CONS ; - PAIR } } } } - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensSold is zero" ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - ADD ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; - IF_NONE { FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - DIP { DUP ; CAR ; CDR ; CAR ; DIP { DUP ; CDR ; CDR ; CDR } ; PAIR } ; - PAIR ; - SWAP ; - DROP ; - TRANSFER_TOKENS ; - SWAP ; - DIP { SWAP ; DUP ; CDR ; CDR ; CAR ; DIP { CAR ; CDR ; CDR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - NIL operation ; - SWAP ; - CONS ; - DIP { SWAP } ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "unsafeUpdateTokenPool" ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - PUSH bool True ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CAR ; - IF {} { PUSH string "Dexter did not initiate this operation." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CDR ; - SENDER ; - COMPARE ; - EQ ; - IF {} - { PUSH string "The sender is not the token contract associated with this contract." ; - FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - PUSH bool False ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CAR ; - NOT ; - IF {} - { PUSH string "Cannot change the baker while freezeBaker is true." ; - FAILWITH } ; - DUP ; - CAR ; - DIP { CDR } ; - SET_DELEGATE ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation } ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } - { DROP ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.patched.tz deleted file mode 100644 index ab599c15b34cf69f0af0da30a1aa18e6f40bad51..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expru1ukk6ZqdA32rFYFG7j1eGjfsatbdUZWz8Mi1kXWZYRZm4FZVe.patched.tz +++ /dev/null @@ -1,1506 +0,0 @@ -{ parameter - (or (or (or (pair %approve (address :spender) (pair (nat :allowance) (nat :currentAllowance))) - (pair %addLiquidity - (pair (address :owner) (nat :minLqtMinted)) - (pair (nat :maxTokensDeposited) (timestamp :deadline)))) - (or (pair %removeLiquidity - (pair (address :owner) (pair (address :to) (nat :lqtBurned))) - (pair (mutez :minXtzWithdrawn) (pair (nat :minTokensWithdrawn) (timestamp :deadline)))) - (or (pair %xtzToToken (address :to) (pair (nat :minTokensBought) (timestamp :deadline))) - (pair %tokenToXtz - (pair (address :owner) (address :to)) - (pair (nat :tokensSold) (pair (mutez :minXtzBought) (timestamp :deadline))))))) - (or (or (pair %tokenToToken - (pair (address :outputDexterContract) (pair (nat :minTokensBought) (address :owner))) - (pair (address :to) (pair (nat :tokensSold) (timestamp :deadline)))) - (or (key_hash %updateTokenPool) (nat %updateTokenPoolInternal))) - (or (pair %setBaker (option key_hash) bool) (or (address %setManager) (unit %default))))) ; - storage - (pair (big_map %accounts - (address :owner) - (pair (nat :balance) (map (address :spender) (nat :allowance)))) - (pair (pair (bool :selfIsUpdatingTokenPool) (pair (bool :freezeBaker) (nat :lqtTotal))) - (pair (pair (address :manager) (address :tokenAddress)) - (pair (nat :tokenPool) (mutez :xtzPool))))) ; - code { CAST (pair (or (or (or (pair address (pair nat nat)) (pair (pair address nat) (pair nat timestamp))) - (or (pair (pair address (pair address nat)) (pair mutez (pair nat timestamp))) - (or (pair address (pair nat timestamp)) - (pair (pair address address) (pair nat (pair mutez timestamp)))))) - (or (or (pair (pair address (pair nat address)) (pair address (pair nat timestamp))) - (or key_hash nat)) - (or (pair (option key_hash) bool) (or address unit)))) - (pair (big_map address (pair nat (map address nat))) - (pair (pair bool (pair bool nat)) (pair (pair address address) (pair nat mutez))))) ; - DUP ; - CAR ; - DIP { CDR } ; - IF_LEFT - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CAR ; - SENDER ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - COMPARE ; - EQ ; - IF {} - { PUSH string - "The current allowance parameter must equal the sender's current allowance for the owner." ; - FAILWITH } ; - DUP ; - CDR ; - DIG 2 ; - DUP ; - CAR ; - DIP { CDR ; CAR ; SOME } ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - NIL operation ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "maxTokensDeposited must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minLqtMinted must be greater than zero." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - GT ; - IF {} { PUSH string "Amount must be greater than zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CDR ; - INT ; - EQ ; - IF { AMOUNT ; - PUSH mutez 1000000 ; - COMPARE ; - LE ; - IF {} - { PUSH string - "The initial liquidity amount must be greater than or equal to 1 XTZ." ; - FAILWITH } ; - SWAP ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - SWAP ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - DIP { DUP ; CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - EDIV ; - IF_NONE - { PUSH string "divByZero." ; FAILWITH } - { DUP ; - CAR ; - DIP { CDR } ; - SWAP ; - INT ; - EQ ; - IF {} { PUSH nat 1 ; ADD } } ; - DUP ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensDeposited is zero." ; FAILWITH } ; - SWAP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CAR ; - CDR ; - CDR ; - MUL ; - DIP { SWAP } ; - EDIV ; - IF_NONE { FAILWITH } { CAR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - DIP { DUP } ; - COMPARE ; - LE ; - IF {} - { PUSH string "lqtMinted must be greater than or equal to minLqtMinted." ; - FAILWITH } ; - DIP { DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - DIP { DUP } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensDeposited is greater than maxTokensDeposited." ; - FAILWITH } } ; - DIP 3 { DUP } ; - DIG 3 ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { DIP { DIG 3 ; DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minXtzWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "lqtBurned must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - DIP { DIP { DUP } ; SWAP ; CAR } ; - GET ; - IF_NONE { PUSH string "owner has no liquidity." ; FAILWITH } {} ; - SWAP ; - DUP ; - CAR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - COMPARE ; - GE ; - IF {} - { PUSH string "lqtBurned is greater than owner's balance." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF { SWAP ; CAR } - { SWAP ; - DUP ; - CDR ; - SENDER ; - GET ; - IF_NONE { PUSH string "sender has no approval balance." ; FAILWITH } {} ; - DIP { SWAP ; DUP ; CAR ; CDR ; CDR ; DIP { PUSH int 0 } } ; - SUB ; - DUP ; - DIP { COMPARE ; - GE ; - IF {} - { PUSH string "sender approval balance is less than LQT burned." ; FAILWITH } } ; - ABS ; - SOME ; - DIG 2 ; - DUP ; - CDR ; - DIG 2 ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CAR ; - DIP { SOME ; - DUG 1 ; - DUP ; - CAR ; - CAR ; - SWAP ; - DIP { DIP { DIP { DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR } } } ; - DIP { DUP } ; - SWAP ; - CAR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; CAR ; CDR ; CDR } ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "xtzWithdrawn is less than minXtzWithdrawn." ; FAILWITH } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CDR ; - DIP { DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - SWAP ; - CDR ; - CDR ; - CDR ; - CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "tokensWithdrawn is less than minTokensWithdrawn." ; FAILWITH } ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CDR ; - DIG 3 ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIG 4 ; - DUP ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIP 4 { DUP } ; - DIG 4 ; - CAR ; - CDR ; - CDR ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CAR ; - CONTRACT unit ; - IF_NONE { CDR; FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DIP { CAR ; CDR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; - PAIR ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - GT ; - IF {} { PUSH string "Amount must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - PUSH nat 1000 ; - MUL ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { PUSH nat 997 ; MUL ; ADD } ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensBought is less than minTokensBought." ; FAILWITH } } ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; SELF ; ADDRESS } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensSold is zero" ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minXtzBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} { PUSH string "xtzBought is less than minXtzBought." ; FAILWITH } } ; - DIP { SWAP ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 1 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - DIG 2 ; - CONS ; - SWAP ; - CONS ; - PAIR } } } } - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensSold is zero" ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "xtzPool must be greater than zero." ; FAILWITH } } ; - DIP { DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokenPool must be greater than zero" ; FAILWITH } } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - ADD ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; - IF_NONE { CDR; FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - DIP { DUP ; CAR ; CDR ; CAR ; DIP { DUP ; CDR ; CDR ; CDR } ; PAIR } ; - PAIR ; - SWAP ; - DROP ; - TRANSFER_TOKENS ; - SWAP ; - DIP { SWAP ; DUP ; CDR ; CDR ; CAR ; DIP { CAR ; CDR ; CDR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - NIL operation ; - SWAP ; - CONS ; - DIP { SWAP } ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "unsafeUpdateTokenPool" ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - PUSH bool True ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CAR ; - IF {} { PUSH string "Dexter did not initiate this operation." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CDR ; - SENDER ; - COMPARE ; - EQ ; - IF {} - { PUSH string "The sender is not the token contract associated with this contract." ; - FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - PUSH bool False ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CAR ; - NOT ; - IF {} - { PUSH string "Cannot change the baker while freezeBaker is true." ; - FAILWITH } ; - DUP ; - CAR ; - DIP { CDR } ; - SET_DELEGATE ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation } ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } - { DROP ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.diff deleted file mode 100644 index 361a8c8b8385c1cccce7e339b453201155d10542..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.diff +++ /dev/null @@ -1,22 +0,0 @@ ---- patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.original.tz -+++ patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.patched.tz -@@ -293,7 +293,8 @@ - { IF_LEFT - { RENAME @amt_slash_33 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; -- PUSH @dest (contract :UnitContract unit) "tz1LBEKXaxQbd5Gtzbc1ATCwc3pppu81aWGc" ; -+ PUSH key_hash "tz1LBEKXaxQbd5Gtzbc1ATCwc3pppu81aWGc"; -+ IMPLICIT_ACCOUNT @dest; - { DIP { { DIP { DUP @amt } ; SWAP } } ; SWAP } ; - UNIT ; - TRANSFER_TOKENS @op ; -@@ -396,7 +397,8 @@ - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.original.tz deleted file mode 100644 index ce3ec242a6183870c481d03f920035b43b0c8d45..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.original.tz +++ /dev/null @@ -1,596 +0,0 @@ -{ parameter - (or (or (key_hash %set_delegate) (unit %remove_delegate)) - (or %default :_entries - (unit %_Liq_entry_main) - (or (nat %_Liq_entry_sellOut) - (or (mutez %_Liq_entry_withdraw) - (or (unit %_Liq_entry_deposit) - (pair :priceUpdate %_Liq_entry_updatePrices - (mutez %sellP) - (pair (mutez %buyP) (mutez %extraBalance)))))))) ; - storage - (pair key_hash - (pair :storage - (map %balances address nat) - (pair (string %name) - (pair (string %symbol) - (pair (nat %decimals) - (pair (nat %totalSupply) - (pair (mutez %inBaker) - (pair (address %owner) (pair (mutez %buyPrice) (mutez %sellPrice)))))))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { DIP { CDR ; NIL operation } ; - IF_LEFT - { SOME ; SET_DELEGATE ; CONS ; PAIR } - { DROP ; NONE key_hash ; SET_DELEGATE ; CONS ; PAIR } } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - DUP @parameter ; - IF_LEFT - { RENAME @nop_slash_3 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %buyPrice } ; - PUSH nat 1000000 ; - AMOUNT ; - MUL @micros ; - EDIV ; - IF_NONE - { PUSH string "Bad amount" ; FAILWITH } - { SENDER @addr ; - DUP @addr ; - CONTRACT unit ; - IF_NONE - { PUSH string "Cannot use this contract from non unit contract" ; FAILWITH } - { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } ; - CAR @tokens ; - { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @tokens } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CAR %totalSupply } ; - ADD ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - RENAME @have ; - { DIP { { DIP { { DIP { DUP @tokens } ; SWAP } } ; SWAP } } ; - SWAP } ; - ADD ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DIP { SOME } ; - DIP { DIP { DIP { DIP { DROP ; DROP } } } } ; - UPDATE ; - PAIR @s2 %balances ; - NIL operation ; - PAIR } ; - DIP { DROP ; DROP } } ; - DIP { DROP ; DROP } } - { IF_LEFT - { RENAME @amount_slash_14 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - PUSH mutez 1000000000000 ; - PUSH mutez 1000000 ; - { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } ; - MUL @zamt ; - EDIV ; - IF_NONE - { PUSH string "bad amount" ; FAILWITH } - { SENDER @addr ; - PUSH mutez 0 ; - AMOUNT @txAmount ; - COMPARE ; - NEQ ; - IF { PUSH string "cannot buy and sell in same transaction" ; FAILWITH } - { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } ; - CAR %balances ; - { DIP { DUP @addr } ; SWAP } ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - RENAME @have ; - DUP @have ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - COMPARE ; - GT ; - IF { PUSH string "The address does not have that much stored" ; FAILWITH } - { { DIP { DUP @addr } ; SWAP } ; - CONTRACT unit ; - IF_NONE - { { DIP { DUP @addr } ; SWAP } ; - PUSH string "Cannot recover bool contract from:" ; - PAIR ; - FAILWITH } - { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CAR %totalSupply } ; - SUB ; - DUP ; - ABS ; - SWAP ; - GE ; - IF { { DIP { DUP @dst } ; SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR %sellPrice } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR @nonMicros ; - MUL @toSend ; - UNIT ; - TRANSFER_TOKENS @op ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { DUP @have } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } ; - SUB ; - DUP ; - ABS ; - SWAP ; - GE ; - IF { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @newSupply } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { DUP @newBalance } ; SWAP } } ; SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DIP { SOME } ; - DIP { DIP { DIP { DIP { DROP } } } } ; - UPDATE ; - PAIR @s2 %balances ; - NIL operation ; - { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ; - CONS ; - PAIR } - { PUSH string "bad amount" ; FAILWITH } ; - DIP { DROP ; DROP } } - { PUSH string "bad amount" ; FAILWITH } ; - DIP { DROP } } } ; - DIP { DROP } } ; - DIP { DROP ; DROP } } ; - DIP { DROP ; DROP } } - { IF_LEFT - { RENAME @amt_slash_33 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - PUSH @dest (contract :UnitContract unit) "tz1LBEKXaxQbd5Gtzbc1ATCwc3pppu81aWGc" ; - { DIP { { DIP { DUP @amt } ; SWAP } } ; SWAP } ; - UNIT ; - TRANSFER_TOKENS @op ; - { DIP { DUP @state } ; SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can withdraw" ; FAILWITH } - { { DIP { DUP @state } ; SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amt } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - ADD ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - NIL operation ; - { DIP { { DIP { DUP @op } ; SWAP } } ; SWAP } ; - CONS ; - PAIR } ; - DIP { DROP ; DROP ; DROP } } - { IF_LEFT - { RENAME @nop_slash_39 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can deposit" ; FAILWITH } - { DUP @state ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - AMOUNT @amount ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - SUB ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - NIL operation ; - PAIR } ; - DIP { DROP ; DROP } } - { RENAME @info_slash_44 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - DUP ; - CAR %inBaker ; - SWAP ; - CDR ; - DUP ; - CAR %owner ; - SWAP ; - CDR ; - CAR %buyPrice ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %sellP ; - SWAP ; - PAIR %buyPrice %sellPrice ; - SWAP ; - PAIR %owner ; - SWAP ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - DUP ; - CAR %inBaker ; - SWAP ; - CDR ; - DUP ; - CAR %owner ; - SWAP ; - CDR ; - CDR %sellPrice ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CAR %buyP } ; - PAIR %buyPrice %sellPrice ; - SWAP ; - PAIR %owner ; - SWAP ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s2 %balances ; - { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } ; - CAR %sellP ; - { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } ; - { CDR ; CAR %buyP } ; - COMPARE ; - LT ; - IF { PUSH string "invalid price, enables arbitrage" ; FAILWITH } - { { DIP { DUP @state } ; SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can set price" ; FAILWITH } - { DUP @s2 ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR %extraBalance } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @s2 } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - ADD ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s3 %balances ; - NIL operation ; - PAIR } } ; - DIP { DROP ; DROP ; DROP } } } } } ; - DIP { DROP ; DROP } } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.patched.tz deleted file mode 100644 index e6278f487b3e6363d9561f1fa2214588795d43a0..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruZKjVy3JbWcJmjtnvMGvRamkDhMgM3urGGdne3pkN9VKgK7VnD.patched.tz +++ /dev/null @@ -1,598 +0,0 @@ -{ parameter - (or (or (key_hash %set_delegate) (unit %remove_delegate)) - (or %default :_entries - (unit %_Liq_entry_main) - (or (nat %_Liq_entry_sellOut) - (or (mutez %_Liq_entry_withdraw) - (or (unit %_Liq_entry_deposit) - (pair :priceUpdate %_Liq_entry_updatePrices - (mutez %sellP) - (pair (mutez %buyP) (mutez %extraBalance)))))))) ; - storage - (pair key_hash - (pair :storage - (map %balances address nat) - (pair (string %name) - (pair (string %symbol) - (pair (nat %decimals) - (pair (nat %totalSupply) - (pair (mutez %inBaker) - (pair (address %owner) (pair (mutez %buyPrice) (mutez %sellPrice)))))))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { DIP { CDR ; NIL operation } ; - IF_LEFT - { SOME ; SET_DELEGATE ; CONS ; PAIR } - { DROP ; NONE key_hash ; SET_DELEGATE ; CONS ; PAIR } } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - DUP @parameter ; - IF_LEFT - { RENAME @nop_slash_3 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %buyPrice } ; - PUSH nat 1000000 ; - AMOUNT ; - MUL @micros ; - EDIV ; - IF_NONE - { PUSH string "Bad amount" ; FAILWITH } - { SENDER @addr ; - DUP @addr ; - CONTRACT unit ; - IF_NONE - { PUSH string "Cannot use this contract from non unit contract" ; FAILWITH } - { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } ; - CAR @tokens ; - { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @tokens } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CAR %totalSupply } ; - ADD ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - RENAME @have ; - { DIP { { DIP { { DIP { DUP @tokens } ; SWAP } } ; SWAP } } ; - SWAP } ; - ADD ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DIP { SOME } ; - DIP { DIP { DIP { DIP { DROP ; DROP } } } } ; - UPDATE ; - PAIR @s2 %balances ; - NIL operation ; - PAIR } ; - DIP { DROP ; DROP } } ; - DIP { DROP ; DROP } } - { IF_LEFT - { RENAME @amount_slash_14 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - PUSH mutez 1000000000000 ; - PUSH mutez 1000000 ; - { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } ; - MUL @zamt ; - EDIV ; - IF_NONE - { PUSH string "bad amount" ; FAILWITH } - { SENDER @addr ; - PUSH mutez 0 ; - AMOUNT @txAmount ; - COMPARE ; - NEQ ; - IF { PUSH string "cannot buy and sell in same transaction" ; FAILWITH } - { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } ; - CAR %balances ; - { DIP { DUP @addr } ; SWAP } ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - RENAME @have ; - DUP @have ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - COMPARE ; - GT ; - IF { PUSH string "The address does not have that much stored" ; FAILWITH } - { { DIP { DUP @addr } ; SWAP } ; - CONTRACT unit ; - IF_NONE - { { DIP { DUP @addr } ; SWAP } ; - PUSH string "Cannot recover bool contract from:" ; - PAIR ; - FAILWITH } - { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CAR %totalSupply } ; - SUB ; - DUP ; - ABS ; - SWAP ; - GE ; - IF { { DIP { DUP @dst } ; SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CDR %sellPrice } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR @nonMicros ; - MUL @toSend ; - UNIT ; - TRANSFER_TOKENS @op ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amount } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { DUP @have } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } ; - SUB ; - DUP ; - ABS ; - SWAP ; - GE ; - IF { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @newSupply } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %balances ; - { DIP { { DIP { DUP @newBalance } ; SWAP } } ; SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @addr } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - DIP { SOME } ; - DIP { DIP { DIP { DIP { DROP } } } } ; - UPDATE ; - PAIR @s2 %balances ; - NIL operation ; - { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ; - CONS ; - PAIR } - { PUSH string "bad amount" ; FAILWITH } ; - DIP { DROP ; DROP } } - { PUSH string "bad amount" ; FAILWITH } ; - DIP { DROP } } } ; - DIP { DROP } } ; - DIP { DROP ; DROP } } ; - DIP { DROP ; DROP } } - { IF_LEFT - { RENAME @amt_slash_33 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - PUSH key_hash "tz1LBEKXaxQbd5Gtzbc1ATCwc3pppu81aWGc"; - IMPLICIT_ACCOUNT @dest; - { DIP { { DIP { DUP @amt } ; SWAP } } ; SWAP } ; - UNIT ; - TRANSFER_TOKENS @op ; - { DIP { DUP @state } ; SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can withdraw" ; FAILWITH } - { { DIP { DUP @state } ; SWAP } ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @amt } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - ADD ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - NIL operation ; - { DIP { { DIP { DUP @op } ; SWAP } } ; SWAP } ; - CONS ; - PAIR } ; - DIP { DROP ; DROP ; DROP } } - { IF_LEFT - { RENAME @nop_slash_39 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can deposit" ; FAILWITH } - { DUP @state ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - AMOUNT @amount ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @state } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - NIL operation ; - PAIR } ; - DIP { DROP ; DROP } } - { RENAME @info_slash_44 ; - { DIP { { DIP { DUP @storage } ; SWAP } } ; SWAP } ; - DUP @state ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - DUP ; - CAR %inBaker ; - SWAP ; - CDR ; - DUP ; - CAR %owner ; - SWAP ; - CDR ; - CAR %buyPrice ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - CAR %sellP ; - SWAP ; - PAIR %buyPrice %sellPrice ; - SWAP ; - PAIR %owner ; - SWAP ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s1 %balances ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - DUP ; - CAR %inBaker ; - SWAP ; - CDR ; - DUP ; - CAR %owner ; - SWAP ; - CDR ; - CDR %sellPrice ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CAR %buyP } ; - PAIR %buyPrice %sellPrice ; - SWAP ; - PAIR %owner ; - SWAP ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s2 %balances ; - { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } ; - CAR %sellP ; - { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } ; - { CDR ; CAR %buyP } ; - COMPARE ; - LT ; - IF { PUSH string "invalid price, enables arbitrage" ; FAILWITH } - { { DIP { DUP @state } ; SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CDR ; CAR %owner } ; - SOURCE @addr ; - COMPARE ; - NEQ ; - IF { PUSH string "Only owner can set price" ; FAILWITH } - { DUP @s2 ; - DUP ; - CAR %balances ; - SWAP ; - CDR ; - DUP ; - CAR %name ; - SWAP ; - CDR ; - DUP ; - CAR %symbol ; - SWAP ; - CDR ; - DUP ; - CAR %decimals ; - SWAP ; - CDR ; - DUP ; - CAR %totalSupply ; - SWAP ; - CDR ; - CDR ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @info } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR %extraBalance } ; - { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP @s2 } ; SWAP } } ; SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } } ; - SWAP } ; - { CDR ; CDR ; CDR ; CDR ; CDR ; CAR %inBaker } ; - ADD ; - PAIR %inBaker ; - SWAP ; - PAIR %totalSupply ; - SWAP ; - PAIR %decimals ; - SWAP ; - PAIR %symbol ; - SWAP ; - PAIR %name ; - SWAP ; - PAIR @s3 %balances ; - NIL operation ; - PAIR } } ; - DIP { DROP ; DROP ; DROP } } } } } ; - DIP { DROP ; DROP } } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.diff deleted file mode 100644 index 1367b47d72c38ca7a5259b8bea305fa62be67b5b..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.diff +++ /dev/null @@ -1,113 +0,0 @@ ---- patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.original.tz -+++ patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.patched.tz -@@ -245,7 +245,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -434,7 +434,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -722,7 +722,8 @@ - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -746,7 +747,7 @@ - CDR ; - CAR ; - CONTRACT unit ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; -@@ -757,7 +758,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; -@@ -888,7 +889,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; -@@ -994,7 +995,8 @@ - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -1028,7 +1030,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -1145,7 +1147,8 @@ - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; -- SUB ; -+ SUB_MUTEZ ; -+ IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; -@@ -1168,7 +1171,7 @@ - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; -@@ -1188,7 +1191,7 @@ - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; -@@ -1241,7 +1244,7 @@ - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; -- IF_NONE { FAILWITH } {} ; -+ IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.original.tz deleted file mode 100644 index 2227de33667c5a4aadddbd5673f16c60198ad0fd..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.original.tz +++ /dev/null @@ -1,1431 +0,0 @@ -{ parameter - (or (or (or (pair %approve (address :spender) (pair (nat :allowance) (nat :currentAllowance))) - (pair %addLiquidity - (pair (address :owner) (nat :minLqtMinted)) - (pair (nat :maxTokensDeposited) (timestamp :deadline)))) - (or (pair %removeLiquidity - (pair (address :owner) (pair (address :to) (nat :lqtBurned))) - (pair (mutez :minXtzWithdrawn) (pair (nat :minTokensWithdrawn) (timestamp :deadline)))) - (or (pair %xtzToToken (address :to) (pair (nat :minTokensBought) (timestamp :deadline))) - (pair %tokenToXtz - (pair (address :owner) (address :to)) - (pair (nat :tokensSold) (pair (mutez :minXtzBought) (timestamp :deadline))))))) - (or (or (pair %tokenToToken - (pair (address :outputDexterContract) (pair (nat :minTokensBought) (address :owner))) - (pair (address :to) (pair (nat :tokensSold) (timestamp :deadline)))) - (or (key_hash %updateTokenPool) (nat %updateTokenPoolInternal))) - (or (pair %setBaker (option key_hash) bool) (or (address %setManager) (unit %default))))) ; - storage - (pair (big_map %accounts - (address :owner) - (pair (nat :balance) (map (address :spender) (nat :allowance)))) - (pair (pair (bool :selfIsUpdatingTokenPool) (pair (bool :freezeBaker) (nat :lqtTotal))) - (pair (pair (address :manager) (address :tokenAddress)) - (pair (nat :tokenPool) (mutez :xtzPool))))) ; - code { CAST (pair (or (or (or (pair address (pair nat nat)) (pair (pair address nat) (pair nat timestamp))) - (or (pair (pair address (pair address nat)) (pair mutez (pair nat timestamp))) - (or (pair address (pair nat timestamp)) - (pair (pair address address) (pair nat (pair mutez timestamp)))))) - (or (or (pair (pair address (pair nat address)) (pair address (pair nat timestamp))) - (or key_hash nat)) - (or (pair (option key_hash) bool) (or address unit)))) - (pair (big_map address (pair nat (map address nat))) - (pair (pair bool (pair bool nat)) (pair (pair address address) (pair nat mutez))))) ; - DUP ; - CAR ; - DIP { CDR } ; - IF_LEFT - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CAR ; - SENDER ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - COMPARE ; - EQ ; - IF {} - { PUSH string - "The current allowance parameter must equal the sender's current allowance for the owner." ; - FAILWITH } ; - DUP ; - CDR ; - DIG 2 ; - DUP ; - CAR ; - DIP { CDR ; CAR ; SOME } ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - NIL operation ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "maxTokensDeposited must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minLqtMinted must be greater than zero." ; FAILWITH } ; - AMOUNT ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "The amount of XTZ sent to Dexter must be greater than zero." ; - FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CDR ; - INT ; - EQ ; - IF { AMOUNT ; - PUSH mutez 1000000 ; - COMPARE ; - LE ; - IF {} - { PUSH string - "The initial liquidity amount must be greater than or equal to 1 XTZ." ; - FAILWITH } ; - SWAP ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - SWAP ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - DIP { DUP ; CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - EDIV ; - IF_NONE - { PUSH string "divByZero." ; FAILWITH } - { DUP ; - CAR ; - DIP { CDR } ; - SWAP ; - INT ; - EQ ; - IF {} { PUSH nat 1 ; ADD } } ; - DUP ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensDeposited is zero." ; FAILWITH } ; - SWAP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CAR ; - CDR ; - CDR ; - MUL ; - DIP { SWAP } ; - EDIV ; - IF_NONE { FAILWITH } { CAR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - DIP { DUP } ; - COMPARE ; - LE ; - IF {} - { PUSH string "lqtMinted must be greater than or equal to minLqtMinted." ; - FAILWITH } ; - DIP { DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - DIP { DUP } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensDeposited is greater than maxTokensDeposited." ; - FAILWITH } } ; - DIP 3 { DUP } ; - DIG 3 ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { DIP { DIG 3 ; DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minXtzWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "lqtBurned must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - DIP { DIP { DUP } ; SWAP ; CAR } ; - GET ; - IF_NONE { PUSH string "owner has no liquidity." ; FAILWITH } {} ; - SWAP ; - DUP ; - CAR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - COMPARE ; - GE ; - IF {} - { PUSH string "lqtBurned is greater than owner's balance." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF { SWAP ; CAR } - { SWAP ; - DUP ; - CDR ; - SENDER ; - GET ; - IF_NONE { PUSH string "sender has no approval balance." ; FAILWITH } {} ; - DIP { SWAP ; DUP ; CAR ; CDR ; CDR ; DIP { PUSH int 0 } } ; - SUB ; - DUP ; - DIP { COMPARE ; - GE ; - IF {} - { PUSH string "sender approval balance is less than LQT burned." ; FAILWITH } } ; - ABS ; - SOME ; - DIG 2 ; - DUP ; - CDR ; - DIG 2 ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CAR ; - DIP { SOME ; - DUG 1 ; - DUP ; - CAR ; - CAR ; - SWAP ; - DIP { DIP { DIP { DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR } } } ; - DIP { DUP } ; - SWAP ; - CAR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; CAR ; CDR ; CDR } ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "xtzWithdrawn is less than minXtzWithdrawn." ; FAILWITH } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CDR ; - DIP { DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - SWAP ; - CDR ; - CDR ; - CDR ; - CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "tokensWithdrawn is less than minTokensWithdrawn." ; FAILWITH } ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CDR ; - DIG 3 ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIG 4 ; - DUP ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIP 4 { DUP } ; - DIG 4 ; - CAR ; - CDR ; - CDR ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CAR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DIP { CAR ; CDR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; - PAIR ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - PUSH nat 1000 ; - MUL ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { PUSH nat 997 ; MUL ; ADD } ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensBought is less than minTokensBought." ; FAILWITH } } ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; SELF ; ADDRESS } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minXtzBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} { PUSH string "xtzBought is less than minXtzBought." ; FAILWITH } } ; - DIP { SWAP ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 1 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } } } } - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - ADD ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; - IF_NONE { FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - DIP { DUP ; CAR ; CDR ; CAR ; DIP { DUP ; CDR ; CDR ; CDR } ; PAIR } ; - PAIR ; - SWAP ; - DROP ; - TRANSFER_TOKENS ; - SWAP ; - DIP { SWAP ; DUP ; CDR ; CDR ; CAR ; DIP { CAR ; CDR ; CDR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - NIL operation ; - SWAP ; - CONS ; - DIP { SWAP } ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "unsafeUpdateTokenPool" ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - PUSH bool True ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; - IF_NONE { FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CAR ; - IF {} { PUSH string "Dexter did not initiate this operation." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CDR ; - SENDER ; - COMPARE ; - EQ ; - IF {} - { PUSH string "The sender is not the token contract associated with this contract." ; - FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - PUSH bool False ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CAR ; - NOT ; - IF {} - { PUSH string "Cannot change the baker while freezeBaker is true." ; - FAILWITH } ; - DUP ; - CAR ; - DIP { CDR } ; - SET_DELEGATE ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation } ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } - { DROP ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.patched.tz deleted file mode 100644 index 55f8a34a50942b73c0583ca49439105b4a679381..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprubv5oQmAUP8BwktmDgMWqTizYDJVhzHhJESGZhJ2GkHESZ1VWg.patched.tz +++ /dev/null @@ -1,1434 +0,0 @@ -{ parameter - (or (or (or (pair %approve (address :spender) (pair (nat :allowance) (nat :currentAllowance))) - (pair %addLiquidity - (pair (address :owner) (nat :minLqtMinted)) - (pair (nat :maxTokensDeposited) (timestamp :deadline)))) - (or (pair %removeLiquidity - (pair (address :owner) (pair (address :to) (nat :lqtBurned))) - (pair (mutez :minXtzWithdrawn) (pair (nat :minTokensWithdrawn) (timestamp :deadline)))) - (or (pair %xtzToToken (address :to) (pair (nat :minTokensBought) (timestamp :deadline))) - (pair %tokenToXtz - (pair (address :owner) (address :to)) - (pair (nat :tokensSold) (pair (mutez :minXtzBought) (timestamp :deadline))))))) - (or (or (pair %tokenToToken - (pair (address :outputDexterContract) (pair (nat :minTokensBought) (address :owner))) - (pair (address :to) (pair (nat :tokensSold) (timestamp :deadline)))) - (or (key_hash %updateTokenPool) (nat %updateTokenPoolInternal))) - (or (pair %setBaker (option key_hash) bool) (or (address %setManager) (unit %default))))) ; - storage - (pair (big_map %accounts - (address :owner) - (pair (nat :balance) (map (address :spender) (nat :allowance)))) - (pair (pair (bool :selfIsUpdatingTokenPool) (pair (bool :freezeBaker) (nat :lqtTotal))) - (pair (pair (address :manager) (address :tokenAddress)) - (pair (nat :tokenPool) (mutez :xtzPool))))) ; - code { CAST (pair (or (or (or (pair address (pair nat nat)) (pair (pair address nat) (pair nat timestamp))) - (or (pair (pair address (pair address nat)) (pair mutez (pair nat timestamp))) - (or (pair address (pair nat timestamp)) - (pair (pair address address) (pair nat (pair mutez timestamp)))))) - (or (or (pair (pair address (pair nat address)) (pair address (pair nat timestamp))) - (or key_hash nat)) - (or (pair (option key_hash) bool) (or address unit)))) - (pair (big_map address (pair nat (map address nat))) - (pair (pair bool (pair bool nat)) (pair (pair address address) (pair nat mutez))))) ; - DUP ; - CAR ; - DIP { CDR } ; - IF_LEFT - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CAR ; - SENDER ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - GET ; - IF_NONE { PUSH nat 0 } {} ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - COMPARE ; - EQ ; - IF {} - { PUSH string - "The current allowance parameter must equal the sender's current allowance for the owner." ; - FAILWITH } ; - DUP ; - CDR ; - DIG 2 ; - DUP ; - CAR ; - DIP { CDR ; CAR ; SOME } ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - NIL operation ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "maxTokensDeposited must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minLqtMinted must be greater than zero." ; FAILWITH } ; - AMOUNT ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "The amount of XTZ sent to Dexter must be greater than zero." ; - FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CDR ; - INT ; - EQ ; - IF { AMOUNT ; - PUSH mutez 1000000 ; - COMPARE ; - LE ; - IF {} - { PUSH string - "The initial liquidity amount must be greater than or equal to 1 XTZ." ; - FAILWITH } ; - SWAP ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - SWAP ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - DIP { DUP ; CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - EDIV ; - IF_NONE - { PUSH string "divByZero." ; FAILWITH } - { DUP ; - CAR ; - DIP { CDR } ; - SWAP ; - INT ; - EQ ; - IF {} { PUSH nat 1 ; ADD } } ; - DUP ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "tokensDeposited is zero." ; FAILWITH } ; - SWAP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CAR ; - CDR ; - CDR ; - MUL ; - DIP { SWAP } ; - EDIV ; - IF_NONE { FAILWITH } { CAR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - DIP { DUP } ; - COMPARE ; - LE ; - IF {} - { PUSH string "lqtMinted must be greater than or equal to minLqtMinted." ; - FAILWITH } ; - DIP { DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - DIP { DUP } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensDeposited is greater than maxTokensDeposited." ; - FAILWITH } } ; - DIP 3 { DUP } ; - DIG 3 ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DUP ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SOME ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CAR ; - DIP { DIP { DIG 3 ; DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minXtzWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensWithdrawn must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CDR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "lqtBurned must be greater than zero." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - DIP { DIP { DUP } ; SWAP ; CAR } ; - GET ; - IF_NONE { PUSH string "owner has no liquidity." ; FAILWITH } {} ; - SWAP ; - DUP ; - CAR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - COMPARE ; - GE ; - IF {} - { PUSH string "lqtBurned is greater than owner's balance." ; FAILWITH } ; - DUP ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF { SWAP ; CAR } - { SWAP ; - DUP ; - CDR ; - SENDER ; - GET ; - IF_NONE { PUSH string "sender has no approval balance." ; FAILWITH } {} ; - DIP { SWAP ; DUP ; CAR ; CDR ; CDR ; DIP { PUSH int 0 } } ; - SUB ; - DUP ; - DIP { COMPARE ; - GE ; - IF {} - { PUSH string "sender approval balance is less than LQT burned." ; FAILWITH } } ; - ABS ; - SOME ; - DIG 2 ; - DUP ; - CDR ; - DIG 2 ; - SENDER ; - UPDATE ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CAR ; - DIP { SOME ; - DUG 1 ; - DUP ; - CAR ; - CAR ; - SWAP ; - DIP { DIP { DIP { DUP ; CAR } } ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR } } } ; - DIP { DUP } ; - SWAP ; - CAR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; CAR ; CDR ; CDR } ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "xtzWithdrawn is less than minXtzWithdrawn." ; FAILWITH } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CDR ; - DIP { DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - SWAP ; - CDR ; - CDR ; - CDR ; - CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP 4 { DUP } ; - DIG 4 ; - CDR ; - CDR ; - CAR ; - COMPARE ; - LE ; - IF {} - { PUSH string "tokensWithdrawn is less than minTokensWithdrawn." ; FAILWITH } ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CDR ; - DIG 3 ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIG 4 ; - DUP ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - DIP { CAR } ; - GET ; - IF_NONE { EMPTY_MAP address nat ; PUSH nat 0 ; PAIR } {} ; - DIG 2 ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DIP { DUP ; CAR } ; - SOME ; - DIP 5 { DUP } ; - DIG 5 ; - CAR ; - CAR ; - UPDATE ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - DUP ; - CDR ; - CAR ; - CDR ; - CDR ; - DIP 4 { DUP } ; - DIG 4 ; - CAR ; - CDR ; - CDR ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 3 { DUP } ; - DIG 3 ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 3 { DUP } ; - DIG 3 ; - CAR ; - CDR ; - CAR ; - CONTRACT unit ; - IF_NONE { CDR; FAILWITH } {} ; - DIG 3 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DIP { CAR ; CDR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 4 ; - PAIR ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - DUP ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - PUSH nat 1000 ; - MUL ; - AMOUNT ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - DUP ; - DIP { PUSH nat 997 ; MUL ; ADD } ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} - { PUSH string "tokensBought is less than minTokensBought." ; FAILWITH } } ; - DUP ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - SUB ; - DUP ; - PUSH int 0 ; - COMPARE ; - LE ; - IF { ABS } { PUSH string "" ; FAILWITH } ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP { DIP { CAR ; SELF ; ADDRESS } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - DIG 5 ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH mutez 0 ; - COMPARE ; - LT ; - IF {} { PUSH string "minXtzBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CAR } ; - COMPARE ; - GE ; - IF {} { PUSH string "xtzBought is less than minXtzBought." ; FAILWITH } } ; - DIP { SWAP ; - DUP ; - CDR ; - CDR ; - CDR ; - CAR ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CAR ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DUP ; - DIP { DIP { DUP ; CDR ; CDR ; CDR ; CDR } ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR } ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CDR ; - CONTRACT unit ; - IF_NONE { FAILWITH } {} ; - DIG 1 ; - UNIT ; - TRANSFER_TOKENS ; - DIP { DIP { DUP ; CDR ; CAR ; DIP { CAR ; CAR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS } ; - NIL operation ; - SWAP ; - CONS ; - SWAP ; - CONS ; - PAIR } } } } - { IF_LEFT - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CDR ; - NOW ; - COMPARE ; - LT ; - IF {} { PUSH string "NOW is greater than deadline." ; FAILWITH } ; - DUP ; - CAR ; - CDR ; - CAR ; - PUSH nat 0 ; - COMPARE ; - LT ; - IF {} - { PUSH string "minTokensBought must be greater than zero." ; FAILWITH } ; - DUP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 2 { DUP } ; - DIG 2 ; - CDR ; - CDR ; - CDR ; - CAR ; - PUSH nat 1000 ; - MUL ; - ADD ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - PUSH nat 997 ; - MUL ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP { PUSH mutez 1 } ; - EDIV ; - IF_NONE { PUSH string "" ; FAILWITH } { CAR } ; - MUL ; - EDIV ; - IF_NONE { PUSH string "divByZero." ; FAILWITH } { CAR } ; - PUSH mutez 1 ; - MUL ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - DIP 3 { DUP } ; - DIG 3 ; - CDR ; - CDR ; - CDR ; - CAR ; - ADD ; - DIP { DIG 2 } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - DIP 2 { DUP } ; - DIG 2 ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { PUSH string "negative mutez!"; FAILWITH } {} ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DIP 2 { DUP } ; - DIG 2 ; - CAR ; - CAR ; - CONTRACT %xtzToToken (pair address (pair nat timestamp)) ; - IF_NONE { CDR; FAILWITH } {} ; - DIG 2 ; - DIP 3 { DUP } ; - DIG 3 ; - DUP ; - CDR ; - CAR ; - DIP { DUP ; CAR ; CDR ; CAR ; DIP { DUP ; CDR ; CDR ; CDR } ; PAIR } ; - PAIR ; - SWAP ; - DROP ; - TRANSFER_TOKENS ; - SWAP ; - DIP { SWAP ; DUP ; CDR ; CDR ; CAR ; DIP { CAR ; CDR ; CDR } } ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %transfer (pair address (pair address nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - DIG 3 ; - SELF ; - ADDRESS ; - DIG 5 ; - DIP { PAIR } ; - PAIR ; - TRANSFER_TOKENS ; - NIL operation ; - SWAP ; - CONS ; - DIP { SWAP } ; - SWAP ; - CONS ; - PAIR } - { IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "unsafeUpdateTokenPool" ; FAILWITH } ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - PUSH bool True ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - CDR ; - CAR ; - CDR ; - CONTRACT %getBalance (pair address (contract nat)) ; - IF_NONE { CDR; FAILWITH } {} ; - PUSH mutez 0 ; - SELF %updateTokenPoolInternal ; - SELF ; - ADDRESS ; - PAIR ; - TRANSFER_TOKENS ; - DIP { NIL operation } ; - CONS ; - PAIR } - { PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CAR ; - IF {} { PUSH string "Dexter did not initiate this operation." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CDR ; - SENDER ; - COMPARE ; - EQ ; - IF {} - { PUSH string "The sender is not the token contract associated with this contract." ; - FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - DUP ; - CDR ; - PUSH bool False ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CAR ; - CDR ; - CAR ; - NOT ; - IF {} - { PUSH string "Cannot change the baker while freezeBaker is true." ; - FAILWITH } ; - DUP ; - CAR ; - DIP { CDR } ; - SET_DELEGATE ; - DIP { DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - SWAP ; - PAIR ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation } ; - CONS ; - PAIR } - { IF_LEFT - { DIP { DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} } ; - PUSH mutez 0 ; - AMOUNT ; - COMPARE ; - EQ ; - IF {} { PUSH string "Amount must be zero." ; FAILWITH } ; - DIP { DUP } ; - SWAP ; - CDR ; - CDR ; - CAR ; - CAR ; - SENDER ; - COMPARE ; - EQ ; - IF {} { PUSH string "sender is not the contract manager." ; FAILWITH } ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - DIP { DUP ; DIP { CDR } ; CAR } ; - SWAP ; - DROP ; - PAIR ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } - { DROP ; - DUP ; - CDR ; - CAR ; - CAR ; - IF { PUSH string "selfIsUpdatingToken must be false." ; FAILWITH } {} ; - DUP ; - CDR ; - CDR ; - CDR ; - CDR ; - AMOUNT ; - ADD ; - DIP { DUP ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - SWAP ; - PAIR ; - DIP { DUP ; DIP { CAR } ; CDR } ; - SWAP ; - DROP ; - SWAP ; - PAIR ; - NIL operation ; - PAIR } } } } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.diff deleted file mode 100644 index 005d5b674ef2599ea29459f3fa91a6f2b1e09e21..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.diff +++ /dev/null @@ -1,62 +0,0 @@ ---- patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.original.tz -+++ patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.patched.tz -@@ -6,9 +6,9 @@ - (or (pair %Set_keys - (list %key_groups (pair (list %signatories key) (nat %group_threshold))) - (nat %overall_threshold)) -- (option %Set_delegate (key_hash %new_delegate)))) -+ (option %Set_delegate key_hash))) - (list %signatures (list (option signature)))) -- (option (pair %Pour (signature %pour_auth) (mutez %pour_amount)))) ; -+ (option (pair (signature %pour_auth) (mutez %pour_amount)))) ; - storage - (pair (pair (nat %replay_counter) - (pair %key_info -@@ -17,7 +17,7 @@ - (pair (pair %vesting - (pair %vesting_quantities (mutez %vested_balance) (mutez %vesting_increment)) - (pair %vesting_schedule (timestamp %next_payout) (int %payout_interval))) -- (option %pour_info (pair (contract %pour_dest unit) (key %pour_authorizer))))) ; -+ (option (pair (address %pour_dest) (key %pour_authorizer))))) ; - code { DUP ; - CAR ; - IF_LEFT -@@ -93,7 +93,8 @@ - DUP ; - DIP { { { COMPARE ; LE } ; IF {} { { UNIT ; FAILWITH } } } } ; - SWAP ; -- SUB @vested_balance ; -+ SUB_MUTEZ ; -+ IF_NONE { UNIT ; FAILWITH } { RENAME @vested_balance } ; - DIP { CDR %vesting_increment @% } ; - PAIR @vesting_quantities %@ %@ ; - DIP { DUP ; CAR ; CDR %vesting_schedule @% ; DIP { CDR %pour_info @% } } ; -@@ -109,7 +110,8 @@ - TRANSFER_TOKENS @transfer_op ; - CONS @operations } - { SWAP ; -- DIP { SWAP ; -+ DIP { MAP { UNPAIR ; ADDRESS ; PAIR } ; -+ SWAP ; - DUP ; - CAR ; - DIP { CDR ; CAR %vesting @% ; PAIR %vesting %pour_info } ; -@@ -191,7 +193,8 @@ - BALANCE @balance ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; -- SUB @new_cur_balance ; -+ SUB_MUTEZ @new_cur_balance ; -+ IF_NONE { UNIT ; FAILWITH } {} ; - DIP { CDR %vesting_increment @% } ; - PAIR %vested_balance %@ @vesting_quantities ; - DIP { CDR %vesting_schedule @% } ; -@@ -215,6 +218,8 @@ - DIP { SWAP ; - DUP ; - CAR %pour_dest @% ; -+ CONTRACT unit ; -+ IF_NONE { PUSH string "Bad transaction receiver" ; FAILWITH } {} ; - DIP { DUP ; - CDR %pour_authorizer @% ; - DIP { CAR %pour_dest @% ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.original.tz deleted file mode 100644 index c5e4b394328f1544d095f06fab97285ca5c38c5a..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.original.tz +++ /dev/null @@ -1,232 +0,0 @@ -{ parameter - (or (pair %Action - (or %action_input - (or (pair %Transfer (contract %dest unit) (mutez %transfer_amount)) - (option %Set_pour (pair (contract %pour_dest unit) (key %pour_authorizer)))) - (or (pair %Set_keys - (list %key_groups (pair (list %signatories key) (nat %group_threshold))) - (nat %overall_threshold)) - (option %Set_delegate (key_hash %new_delegate)))) - (list %signatures (list (option signature)))) - (option (pair %Pour (signature %pour_auth) (mutez %pour_amount)))) ; - storage - (pair (pair (nat %replay_counter) - (pair %key_info - (list %key_groups (pair (list %signatories key) (nat %group_threshold))) - (nat %overall_threshold))) - (pair (pair %vesting - (pair %vesting_quantities (mutez %vested_balance) (mutez %vesting_increment)) - (pair %vesting_schedule (timestamp %next_payout) (int %payout_interval))) - (option %pour_info (pair (contract %pour_dest unit) (key %pour_authorizer))))) ; - code { DUP ; - CAR ; - IF_LEFT - { DIP { CDR ; DUP ; NIL @operations operation ; SWAP } ; - SWAP ; - CAR ; - DUP ; - CDR %key_info @% ; - DIP { CAR %replay_counter @% ; - DIP { DUP ; CDR %signatures @% } ; - SWAP ; - DIP { DIP { CAR %action_input @% ; DUP } ; - SELF ; - ADDRESS ; - PAIR ; - SWAP ; - PAIR ; - PACK @packed } } ; - SWAP ; - DIP { DUP ; - CAR %key_groups @% ; - DIP { CDR %overall_threshold @% ; INT @overall_counter ; SWAP } } ; - ITER { DIP { IF_CONS - { DIP { SWAP } ; - DUP ; - CAR @%% ; - DIP { CDR @%% ; INT @group_counter ; SWAP } } - { { UNIT ; FAILWITH } } } ; - ITER { DIP { IF_CONS {} { { UNIT ; FAILWITH } } } ; - IF_NONE - { DROP } - { SWAP ; - DIP { DIP { SWAP ; DIP { DIP { PUSH int -1 ; ADD @group_counter } } ; DUP } } ; - CHECK_SIGNATURE @sig_ok ; - { IF {} { { UNIT ; FAILWITH } } } ; - SWAP } } ; - { DIP { DIP { PUSH int 0 ; - { COMPARE ; GE @group_threshold_met } ; - IF { DIP { PUSH int -1 ; ADD @overall_counter } } {} } } } ; - IF_CONS { { UNIT ; FAILWITH } } {} ; - SWAP } ; - IF_CONS { { UNIT ; FAILWITH } } {} ; - DROP ; - PUSH int 0 ; - { COMPARE ; GE @overall_threshold_met } ; - { IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DIP { DUP ; - CAR ; - DUP ; - CAR %replay_counter @% ; - PUSH nat 1 ; - ADD @replay_counter ; - DIP { CDR %key_info @% } ; - PAIR %@ %@ ; - DIP { CDR } ; - PAIR } } } ; - IF_LEFT - { IF_LEFT - { DUP ; - DIP { CDR %transfer_amount @% ; - DUP ; - BALANCE @balance ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - DIP { DIP { DUP ; - CDR ; - DUP ; - CAR ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DUP } ; - DUP ; - DIP { { { COMPARE ; LE } ; IF {} { { UNIT ; FAILWITH } } } } ; - SWAP ; - SUB @vested_balance ; - DIP { CDR %vesting_increment @% } ; - PAIR @vesting_quantities %@ %@ ; - DIP { DUP ; CAR ; CDR %vesting_schedule @% ; DIP { CDR %pour_info @% } } ; - PAIR @vesting %@ %@ ; - PAIR %@ %@ ; - SWAP ; - CAR ; - PAIR } } ; - DUP ; - CDR %transfer_amount @% ; - DIP { CAR %dest @% } ; - UNIT ; - TRANSFER_TOKENS @transfer_op ; - CONS @operations } - { SWAP ; - DIP { SWAP ; - DUP ; - CAR ; - DIP { CDR ; CAR %vesting @% ; PAIR %vesting %pour_info } ; - PAIR @storage } } } - { IF_LEFT - { DUP ; - DUP ; - CAR %key_groups @% ; - DIP { CDR %overall_threshold @new_threshold ; - DUP ; - PUSH nat 0 ; - { { COMPARE ; LT } ; IF {} { { UNIT ; FAILWITH } } } ; - PUSH @counter nat 0 } ; - ITER { DUP ; - CAR %signatories @%% ; - DIP { CDR %group_threshold @%% ; - DUP ; - PUSH nat 0 ; - { { COMPARE ; LT } ; IF {} { { UNIT ; FAILWITH } } } } ; - SIZE @num_keys ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - PUSH nat 1 ; - ADD @counter } ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - DIP { DIP { DUP ; CAR ; CAR %replay_counter } ; - SWAP ; - PAIR %@ %key_info ; - DIP { CDR } ; - PAIR @storage } } - { SET_DELEGATE @set_delegate_op ; CONS } } ; - PAIR } - { IF_NONE - { CDR ; - DUP ; - CDR ; - DUP ; - DIP { CDR %pour_info @% } ; - CAR %vesting @% ; - DUP ; - CDR %vesting_schedule @% ; - DUP ; - CAR %next_payout @% ; - DUP ; - NOW ; - { COMPARE ; GT } ; - { IF {} { { UNIT ; FAILWITH } } } ; - DIP { CDR %payout_interval @% ; DUP } ; - ADD @new_next_payout ; - PAIR %next_payout %@ @new_vesting_schedule ; - SWAP ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DIP { CDR %vesting_increment @% ; DUP } ; - ADD @new_balance ; - PAIR %vested_balance %@ ; - PAIR %vesting_quantities %vesting_schedule ; - PAIR %vesting %@ ; - SWAP ; - CAR ; - PAIR @storage ; - NIL operation } - { DIP { CDR ; - DUP ; - CDR ; - DUP ; - CAR %vesting @% ; - DUP ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DUP } ; - DUP ; - DIP { CDR %pour_amount @%% ; - DUP ; - DIP { { { COMPARE ; LE } ; IF {} { { UNIT ; FAILWITH } } } } ; - DUP ; - BALANCE @balance ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - SUB @new_cur_balance ; - DIP { CDR %vesting_increment @% } ; - PAIR %vested_balance %@ @vesting_quantities ; - DIP { CDR %vesting_schedule @% } ; - PAIR %@ %@ @vesting ; - DIP { CDR %pour_info @% ; DUP ; IF_NONE { { UNIT ; FAILWITH } } {} } ; - SWAP ; - DIP { PAIR %@ %@ ; - SWAP ; - CAR ; - DUP ; - CAR %replay_counter @% ; - DUP ; - PUSH nat 1 ; - ADD @replay_counter ; - SWAP ; - SELF ; - ADDRESS ; - PAIR ; - DIP { DIP { CDR %key_info @% } ; PAIR %@ %@ ; PAIR @storage } } } ; - DUP ; - DIP { SWAP ; - DUP ; - CAR %pour_dest @% ; - DIP { DUP ; - CDR %pour_authorizer @% ; - DIP { CAR %pour_dest @% ; - SWAP ; - DUP ; - CAR %pour_auth @% ; - DIP { CDR %pour_amount @% ; SWAP ; PAIR ; PAIR ; PACK @packed } } ; - CHECK_SIGNATURE @pour_auth_ok ; - { IF {} { { UNIT ; FAILWITH } } } ; - NIL operation } } ; - CDR %pour_amount @% ; - UNIT ; - TRANSFER_TOKENS @pour_op ; - CONS } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.patched.tz deleted file mode 100644 index dc49ffc70a942a9602e319ae17938e1bf287ce72..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprucjN3PgUnqQHFXQmemT44DjkacU35NrSSKyz18JSSjJB9vtUEw.patched.tz +++ /dev/null @@ -1,237 +0,0 @@ -{ parameter - (or (pair %Action - (or %action_input - (or (pair %Transfer (contract %dest unit) (mutez %transfer_amount)) - (option %Set_pour (pair (contract %pour_dest unit) (key %pour_authorizer)))) - (or (pair %Set_keys - (list %key_groups (pair (list %signatories key) (nat %group_threshold))) - (nat %overall_threshold)) - (option %Set_delegate key_hash))) - (list %signatures (list (option signature)))) - (option (pair (signature %pour_auth) (mutez %pour_amount)))) ; - storage - (pair (pair (nat %replay_counter) - (pair %key_info - (list %key_groups (pair (list %signatories key) (nat %group_threshold))) - (nat %overall_threshold))) - (pair (pair %vesting - (pair %vesting_quantities (mutez %vested_balance) (mutez %vesting_increment)) - (pair %vesting_schedule (timestamp %next_payout) (int %payout_interval))) - (option (pair (address %pour_dest) (key %pour_authorizer))))) ; - code { DUP ; - CAR ; - IF_LEFT - { DIP { CDR ; DUP ; NIL @operations operation ; SWAP } ; - SWAP ; - CAR ; - DUP ; - CDR %key_info @% ; - DIP { CAR %replay_counter @% ; - DIP { DUP ; CDR %signatures @% } ; - SWAP ; - DIP { DIP { CAR %action_input @% ; DUP } ; - SELF ; - ADDRESS ; - PAIR ; - SWAP ; - PAIR ; - PACK @packed } } ; - SWAP ; - DIP { DUP ; - CAR %key_groups @% ; - DIP { CDR %overall_threshold @% ; INT @overall_counter ; SWAP } } ; - ITER { DIP { IF_CONS - { DIP { SWAP } ; - DUP ; - CAR @%% ; - DIP { CDR @%% ; INT @group_counter ; SWAP } } - { { UNIT ; FAILWITH } } } ; - ITER { DIP { IF_CONS {} { { UNIT ; FAILWITH } } } ; - IF_NONE - { DROP } - { SWAP ; - DIP { DIP { SWAP ; DIP { DIP { PUSH int -1 ; ADD @group_counter } } ; DUP } } ; - CHECK_SIGNATURE @sig_ok ; - { IF {} { { UNIT ; FAILWITH } } } ; - SWAP } } ; - { DIP { DIP { PUSH int 0 ; - { COMPARE ; GE @group_threshold_met } ; - IF { DIP { PUSH int -1 ; ADD @overall_counter } } {} } } } ; - IF_CONS { { UNIT ; FAILWITH } } {} ; - SWAP } ; - IF_CONS { { UNIT ; FAILWITH } } {} ; - DROP ; - PUSH int 0 ; - { COMPARE ; GE @overall_threshold_met } ; - { IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DIP { DUP ; - CAR ; - DUP ; - CAR %replay_counter @% ; - PUSH nat 1 ; - ADD @replay_counter ; - DIP { CDR %key_info @% } ; - PAIR %@ %@ ; - DIP { CDR } ; - PAIR } } } ; - IF_LEFT - { IF_LEFT - { DUP ; - DIP { CDR %transfer_amount @% ; - DUP ; - BALANCE @balance ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - DIP { DIP { DUP ; - CDR ; - DUP ; - CAR ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DUP } ; - DUP ; - DIP { { { COMPARE ; LE } ; IF {} { { UNIT ; FAILWITH } } } } ; - SWAP ; - SUB_MUTEZ ; - IF_NONE { UNIT ; FAILWITH } { RENAME @vested_balance } ; - DIP { CDR %vesting_increment @% } ; - PAIR @vesting_quantities %@ %@ ; - DIP { DUP ; CAR ; CDR %vesting_schedule @% ; DIP { CDR %pour_info @% } } ; - PAIR @vesting %@ %@ ; - PAIR %@ %@ ; - SWAP ; - CAR ; - PAIR } } ; - DUP ; - CDR %transfer_amount @% ; - DIP { CAR %dest @% } ; - UNIT ; - TRANSFER_TOKENS @transfer_op ; - CONS @operations } - { SWAP ; - DIP { MAP { UNPAIR ; ADDRESS ; PAIR } ; - SWAP ; - DUP ; - CAR ; - DIP { CDR ; CAR %vesting @% ; PAIR %vesting %pour_info } ; - PAIR @storage } } } - { IF_LEFT - { DUP ; - DUP ; - CAR %key_groups @% ; - DIP { CDR %overall_threshold @new_threshold ; - DUP ; - PUSH nat 0 ; - { { COMPARE ; LT } ; IF {} { { UNIT ; FAILWITH } } } ; - PUSH @counter nat 0 } ; - ITER { DUP ; - CAR %signatories @%% ; - DIP { CDR %group_threshold @%% ; - DUP ; - PUSH nat 0 ; - { { COMPARE ; LT } ; IF {} { { UNIT ; FAILWITH } } } } ; - SIZE @num_keys ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - PUSH nat 1 ; - ADD @counter } ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - DIP { DIP { DUP ; CAR ; CAR %replay_counter } ; - SWAP ; - PAIR %@ %key_info ; - DIP { CDR } ; - PAIR @storage } } - { SET_DELEGATE @set_delegate_op ; CONS } } ; - PAIR } - { IF_NONE - { CDR ; - DUP ; - CDR ; - DUP ; - DIP { CDR %pour_info @% } ; - CAR %vesting @% ; - DUP ; - CDR %vesting_schedule @% ; - DUP ; - CAR %next_payout @% ; - DUP ; - NOW ; - { COMPARE ; GT } ; - { IF {} { { UNIT ; FAILWITH } } } ; - DIP { CDR %payout_interval @% ; DUP } ; - ADD @new_next_payout ; - PAIR %next_payout %@ @new_vesting_schedule ; - SWAP ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DIP { CDR %vesting_increment @% ; DUP } ; - ADD @new_balance ; - PAIR %vested_balance %@ ; - PAIR %vesting_quantities %vesting_schedule ; - PAIR %vesting %@ ; - SWAP ; - CAR ; - PAIR @storage ; - NIL operation } - { DIP { CDR ; - DUP ; - CDR ; - DUP ; - CAR %vesting @% ; - DUP ; - CAR %vesting_quantities @% ; - DUP ; - CAR %vested_balance @% ; - DUP } ; - DUP ; - DIP { CDR %pour_amount @%% ; - DUP ; - DIP { { { COMPARE ; LE } ; IF {} { { UNIT ; FAILWITH } } } } ; - DUP ; - BALANCE @balance ; - { { COMPARE ; GE } ; IF {} { { UNIT ; FAILWITH } } } ; - SWAP ; - SUB_MUTEZ @new_cur_balance ; - IF_NONE { UNIT ; FAILWITH } {} ; - DIP { CDR %vesting_increment @% } ; - PAIR %vested_balance %@ @vesting_quantities ; - DIP { CDR %vesting_schedule @% } ; - PAIR %@ %@ @vesting ; - DIP { CDR %pour_info @% ; DUP ; IF_NONE { { UNIT ; FAILWITH } } {} } ; - SWAP ; - DIP { PAIR %@ %@ ; - SWAP ; - CAR ; - DUP ; - CAR %replay_counter @% ; - DUP ; - PUSH nat 1 ; - ADD @replay_counter ; - SWAP ; - SELF ; - ADDRESS ; - PAIR ; - DIP { DIP { CDR %key_info @% } ; PAIR %@ %@ ; PAIR @storage } } } ; - DUP ; - DIP { SWAP ; - DUP ; - CAR %pour_dest @% ; - CONTRACT unit ; - IF_NONE { PUSH string "Bad transaction receiver" ; FAILWITH } {} ; - DIP { DUP ; - CDR %pour_authorizer @% ; - DIP { CAR %pour_dest @% ; - SWAP ; - DUP ; - CAR %pour_auth @% ; - DIP { CDR %pour_amount @% ; SWAP ; PAIR ; PAIR ; PACK @packed } } ; - CHECK_SIGNATURE @pour_auth_ok ; - { IF {} { { UNIT ; FAILWITH } } } ; - NIL operation } } ; - CDR %pour_amount @% ; - UNIT ; - TRANSFER_TOKENS @pour_op ; - CONS } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.diff deleted file mode 100644 index b692e4df4aef424d0bccff05eefdaffbdf30b30a..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.diff +++ /dev/null @@ -1,23 +0,0 @@ ---- patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.original.tz -+++ patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.patched.tz -@@ -1,10 +1,6 @@ - { parameter (or (lambda %do unit (list operation)) (unit %default)) ; - storage -- (pair key_hash -- (contract -- (or (option address) -- (or (pair (option address) (option mutez)) -- (or mutez (or (pair (option address) (option mutez)) address)))))) ; -+ (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT -@@ -28,6 +24,8 @@ - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; -+ CONTRACT (or (option address) (or (pair (option address) (option mutez)) (or mutez (or (pair (option address) (option mutez)) address)))); -+ IF_SOME {} {PUSH string "Bad contract in storage!"; FAILWITH}; - AMOUNT ; - NONE mutez ; - SENDER ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.original.tz deleted file mode 100644 index a4181d4ef03a78bd72ee4c08a17572d82bf87870..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.original.tz +++ /dev/null @@ -1,46 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (unit %default)) ; - storage - (pair key_hash - (contract - (or (option address) - (or (pair (option address) (option mutez)) - (or mutez (or (pair (option address) (option mutez)) address)))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { CDR ; - DUP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - AMOUNT ; - NONE mutez ; - SENDER ; - SOME ; - PAIR ; - LEFT (or mutez (or (pair (option address) (option mutez)) address)) ; - RIGHT (option address) ; - TRANSFER_TOKENS ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.patched.tz deleted file mode 100644 index 2d206fe82d154cf398dcd9bb7f9d0854cf301ad1..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruqNpURkmjQk5RGHjLrnS1U3DZnEsQCvQQNLSpN1powRmJeQgoJ.patched.tz +++ /dev/null @@ -1,44 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (unit %default)) ; - storage - (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { CDR ; - DUP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONTRACT (or (option address) (or (pair (option address) (option mutez)) (or mutez (or (pair (option address) (option mutez)) address)))); - IF_SOME {} {PUSH string "Bad contract in storage!"; FAILWITH}; - AMOUNT ; - NONE mutez ; - SENDER ; - SOME ; - PAIR ; - LEFT (or mutez (or (pair (option address) (option mutez)) address)) ; - RIGHT (option address) ; - TRANSFER_TOKENS ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.diff deleted file mode 100644 index 2aaf7c9fc19d90c5c6c305a4f57004ea59e04ecb..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.diff +++ /dev/null @@ -1,19 +0,0 @@ ---- patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.original.tz -+++ patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.patched.tz -@@ -1,6 +1,6 @@ - { parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage -- (pair key_hash (contract (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))))) ; -+ (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT -@@ -215,6 +215,8 @@ - RENAME @__pt_parameter ; - DIP { DROP } ; - { DIP { DUP } ; SWAP } ; -+ CONTRACT (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))); -+ IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.original.tz deleted file mode 100644 index 32a80eb45e2d54b16292a54ccfe52e14896f90db..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.original.tz +++ /dev/null @@ -1,234 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage - (pair key_hash (contract (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - PUSH (pair (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))) - (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))))) - (Pair (Pair (Pair 0 0) (Pair 0 (Pair 0 (Pair 0 255)))) {}) ; - { DIP { DUP @parameter } ; SWAP } ; - ITER { RENAME @_pointcolor_old_pt_old_color_list_slash_3 ; - DIP { DUP } ; - PAIR ; - DUP ; - CAR @pointcolor ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - INT ; - { DIP { DIP { DIP { DIP { DIP { DUP @color } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH string "Wrong range" ; FAILWITH } } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; - { DIP { DUP @color } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; { DIP { DUP @head } ; SWAP } ; PAIR ; NIL nat ; PAIR } ; - DIP { DROP ; DROP } } - { PUSH (pair (list nat) (pair (list nat) int)) (Pair {} (Pair {} 1)) } ; - RENAME @_pt2_pcolor2_n ; - DUP ; - { CDR ; CAR @pcolor2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong color" ; FAILWITH } - { DUP @a ; - { DIP { DIP { DIP { DUP @b } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - { DIP { DUP @b } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @g } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @r } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DUP } ; SWAP } ; CDR ; CAR ; CDR @old_color } ; - RENAME @pcolor ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - CDR ; - CAR ; - CAR @old_pt ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @pt2 ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR @n } ; - PAIR ; - PUSH bool True ; - LOOP { RENAME @tmp_sharp_1_slash_35 ; - DUP @tmp_sharp_1 ; - DUP ; - CAR @n ; - { DIP { DUP } ; SWAP } ; - { CDR ; CDR } ; - CAR @old_pt ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DIP { DIP { DIP { DUP @pcolor } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - { CDR ; CAR @pt2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong coordinates" ; FAILWITH } - { DUP @y ; - { DIP { DIP { DIP { DUP @x } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - CDR ; - { DIP { DUP @x } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - PUSH nat 1 ; - { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - CAR ; - ADD ; - PAIR } ; - RENAME @pt ; - { DIP { DIP { DIP { DIP { DIP { DROP ; DROP } } } } } } ; - PAIR @pt ; - CONS @list ; - SWAP ; - PAIR ; - NIL nat ; - PAIR ; - PUSH int 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - SUB ; - PAIR ; - PUSH int 0 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - COMPARE ; - GT ; - PAIR ; - DUP ; - CAR ; - DIP { CDR } } ; - RENAME @__n__pt2_old_pt_list ; - { DIP { DIP { DROP ; DROP ; DROP } } } ; - DUP ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CAR @old_pt ; - PAIR ; - PAIR } ; - RENAME @__pt_parameter ; - DIP { DROP } ; - { DIP { DUP } ; SWAP } ; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CDR @parameter ; - TRANSFER_TOKENS @op ; - SWAP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.patched.tz deleted file mode 100644 index 182aba56d6a5ff1f3ce1f6f8df1169ee67cb0389..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/expruwujdJkc5y4iPzr83Sd3KrJhzxSUb67JdCZmXNKiTTNvEkMrRU.patched.tz +++ /dev/null @@ -1,236 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage - (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - PUSH (pair (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))) - (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))))) - (Pair (Pair (Pair 0 0) (Pair 0 (Pair 0 (Pair 0 255)))) {}) ; - { DIP { DUP @parameter } ; SWAP } ; - ITER { RENAME @_pointcolor_old_pt_old_color_list_slash_3 ; - DIP { DUP } ; - PAIR ; - DUP ; - CAR @pointcolor ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - INT ; - { DIP { DIP { DIP { DIP { DIP { DUP @color } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH string "Wrong range" ; FAILWITH } } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; - { DIP { DUP @color } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; { DIP { DUP @head } ; SWAP } ; PAIR ; NIL nat ; PAIR } ; - DIP { DROP ; DROP } } - { PUSH (pair (list nat) (pair (list nat) int)) (Pair {} (Pair {} 1)) } ; - RENAME @_pt2_pcolor2_n ; - DUP ; - { CDR ; CAR @pcolor2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong color" ; FAILWITH } - { DUP @a ; - { DIP { DIP { DIP { DUP @b } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - { DIP { DUP @b } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @g } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @r } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DUP } ; SWAP } ; CDR ; CAR ; CDR @old_color } ; - RENAME @pcolor ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - CDR ; - CAR ; - CAR @old_pt ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @pt2 ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR @n } ; - PAIR ; - PUSH bool True ; - LOOP { RENAME @tmp_sharp_1_slash_35 ; - DUP @tmp_sharp_1 ; - DUP ; - CAR @n ; - { DIP { DUP } ; SWAP } ; - { CDR ; CDR } ; - CAR @old_pt ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DIP { DIP { DIP { DUP @pcolor } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - { CDR ; CAR @pt2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong coordinates" ; FAILWITH } - { DUP @y ; - { DIP { DIP { DIP { DUP @x } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - CDR ; - { DIP { DUP @x } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - PUSH nat 1 ; - { DIP { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - CAR ; - ADD ; - PAIR } ; - RENAME @pt ; - { DIP { DIP { DIP { DIP { DIP { DROP ; DROP } } } } } } ; - PAIR @pt ; - CONS @list ; - SWAP ; - PAIR ; - NIL nat ; - PAIR ; - PUSH int 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - SUB ; - PAIR ; - PUSH int 0 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - COMPARE ; - GT ; - PAIR ; - DUP ; - CAR ; - DIP { CDR } } ; - RENAME @__n__pt2_old_pt_list ; - { DIP { DIP { DROP ; DROP ; DROP } } } ; - DUP ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CAR @old_pt ; - PAIR ; - PAIR } ; - RENAME @__pt_parameter ; - DIP { DROP } ; - { DIP { DUP } ; SWAP } ; - CONTRACT (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))); - IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CDR @parameter ; - TRANSFER_TOKENS @op ; - SWAP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.diff b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.diff deleted file mode 100644 index 72cad3c3069f460e0ea4be4e9905643e6229fbdd..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.diff +++ /dev/null @@ -1,19 +0,0 @@ ---- patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.original.tz -+++ patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.patched.tz -@@ -1,6 +1,6 @@ - { parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage -- (pair key_hash (contract (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))))) ; -+ (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT -@@ -214,6 +214,8 @@ - DIP { DROP } ; - RENAME @__pt_parameter ; - { DIP { DUP } ; SWAP } ; -+ CONTRACT (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))); -+ IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.original.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.original.tz deleted file mode 100644 index 3aed2d80c4c3c2837c559ff2703843054b5b03a0..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.original.tz +++ /dev/null @@ -1,233 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage - (pair key_hash (contract (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))))) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - PUSH (pair (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))) - (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))))) - (Pair (Pair (Pair 0 0) (Pair 0 (Pair 0 (Pair 0 255)))) {}) ; - { DIP { DUP @parameter } ; SWAP } ; - ITER { RENAME @_pointcolor_old_pt_old_color_list_slash_3 ; - DIP { DUP } ; - PAIR ; - DUP ; - CAR @pointcolor ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - INT ; - { DIP { DIP { DIP { DIP { DIP { DUP @color } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH string "Wrong range" ; FAILWITH } } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; - { DIP { DUP @color } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; { DIP { DUP @head } ; SWAP } ; PAIR ; NIL nat ; PAIR } ; - DIP { DROP ; DROP } } - { PUSH (pair (list nat) (pair (list nat) int)) (Pair {} (Pair {} 1)) } ; - RENAME @_pt2_pcolor2_n ; - DUP ; - { CDR ; CAR @pcolor2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong color" ; FAILWITH } - { DUP @a ; - { DIP { DIP { DIP { DUP @b } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - { DIP { DUP @b } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @g } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @r } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DUP } ; SWAP } ; CDR ; CAR ; CDR @old_color } ; - RENAME @pcolor ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - CDR ; - CAR ; - CAR @old_pt ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @pt2 ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR @n } ; - PAIR ; - PUSH bool True ; - LOOP { RENAME @tmp_sharp_1_slash_35 ; - DUP @tmp_sharp_1 ; - DUP ; - { CDR ; CDR } ; - CAR @old_pt ; - { DIP { DUP } ; SWAP } ; - { CDR ; CAR @pt2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong coordinates" ; FAILWITH } - { DUP @y ; - { DIP { DIP { DIP { DUP @x } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - { DIP { DUP @x } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { DUP ; - CDR ; - PUSH nat 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR ; - ADD ; - PAIR } ; - DIP { DROP } ; - { DIP { DIP { DROP } } } ; - RENAME @pt ; - PUSH int 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @n ; - SUB @n ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - PAIR @pt_color ; - CONS @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - PAIR ; - NIL nat ; - PAIR ; - { DIP { DUP } ; SWAP } ; - PAIR ; - PUSH int 0 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - COMPARE ; - GT ; - PAIR ; - DUP ; - CAR ; - DIP { CDR } } ; - { DIP { DIP { DROP ; DROP ; DROP } } } ; - RENAME @__n__pt2_old_pt_list ; - DUP ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CAR @old_pt ; - PAIR ; - PAIR } ; - DIP { DROP } ; - RENAME @__pt_parameter ; - { DIP { DUP } ; SWAP } ; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CDR @parameter ; - TRANSFER_TOKENS @op ; - SWAP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } } diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.patched.tz b/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.patched.tz deleted file mode 100644 index 893b37c0fac560a8272288932e4000802a29b74c..0000000000000000000000000000000000000000 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/patched_contracts/exprv98vtze1uwbDXdpb27R8RQabWZMZDXGNAwaAZwCg6WSvXu8fw3.patched.tz +++ /dev/null @@ -1,235 +0,0 @@ -{ parameter (or (lambda %do unit (list operation)) (list %default (list (list nat)))) ; - storage - (pair key_hash address) ; - code { DUP ; - CAR ; - IF_LEFT - { PUSH mutez 0 ; - AMOUNT ; - { { COMPARE ; EQ } ; IF {} { { UNIT ; FAILWITH } } } ; - { DIP { DUP } ; SWAP } ; - CDR ; - CAR ; - IMPLICIT_ACCOUNT ; - ADDRESS ; - SENDER ; - { COMPARE ; - NEQ ; - IF { SENDER ; PUSH string "Only the owner can operate." ; PAIR ; FAILWITH } - { UNIT ; EXEC ; DIP { CDR } ; PAIR } } } - { DIP { CDR ; DUP ; CDR } ; - PAIR ; - { DUP ; - DIP { CDR } ; - CAR ; - PUSH (pair (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))) - (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat)))))) - (Pair (Pair (Pair 0 0) (Pair 0 (Pair 0 (Pair 0 255)))) {}) ; - { DIP { DUP @parameter } ; SWAP } ; - ITER { RENAME @_pointcolor_old_pt_old_color_list_slash_3 ; - DIP { DUP } ; - PAIR ; - DUP ; - CAR @pointcolor ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - IF_CONS - { { DIP { DUP @tail } ; SWAP } ; - IF_CONS - { PUSH string "Wrong point" ; FAILWITH } - { DUP @n ; - INT ; - { DIP { DIP { DIP { DIP { DIP { DUP @color } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH string "Wrong range" ; FAILWITH } } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; - { DIP { DUP @color } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @head } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH int 1 ; { DIP { DUP @head } ; SWAP } ; PAIR ; NIL nat ; PAIR } ; - DIP { DROP ; DROP } } - { PUSH (pair (list nat) (pair (list nat) int)) (Pair {} (Pair {} 1)) } ; - RENAME @_pt2_pcolor2_n ; - DUP ; - { CDR ; CAR @pcolor2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong color" ; FAILWITH } - { DUP @a ; - { DIP { DIP { DIP { DUP @b } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - { DIP { DUP @b } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @g } ; SWAP } ; SWAP } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - SWAP } ; - SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @g } ; SWAP } ; - PAIR ; - { DIP { DIP { DIP { DUP @r } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { PUSH nat 255 ; - PUSH nat 0 ; - PAIR ; - PUSH nat 0 ; - PAIR ; - { DIP { DUP @r } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DUP } ; SWAP } ; CDR ; CAR ; CDR @old_color } ; - RENAME @pcolor ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - CDR ; - CAR ; - CAR @old_pt ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @pt2 ; - PAIR ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { CDR ; CDR @n } ; - PAIR ; - PUSH bool True ; - LOOP { RENAME @tmp_sharp_1_slash_35 ; - DUP @tmp_sharp_1 ; - DUP ; - { CDR ; CDR } ; - CAR @old_pt ; - { DIP { DUP } ; SWAP } ; - { CDR ; CAR @pt2 } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { { DIP { DUP @tl } ; SWAP } ; - IF_CONS - { PUSH string "Wrong coordinates" ; FAILWITH } - { DUP @y ; - { DIP { DIP { DIP { DUP @x } ; SWAP } ; SWAP } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CDR ; - { DIP { DUP @x } ; SWAP } ; - PAIR } ; - DIP { DROP ; DROP } } - { DUP ; - CDR ; - PUSH nat 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR ; - ADD ; - PAIR } ; - DIP { DROP } ; - { DIP { DIP { DROP } } } ; - RENAME @pt ; - PUSH int 1 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - CAR @n ; - SUB @n ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DUP } ; SWAP } ; SWAP } ; SWAP } ; - PAIR @pt_color ; - CONS @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - PAIR ; - NIL nat ; - PAIR ; - { DIP { DUP } ; SWAP } ; - PAIR ; - PUSH int 0 ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - COMPARE ; - GT ; - PAIR ; - DUP ; - CAR ; - DIP { CDR } } ; - { DIP { DIP { DROP ; DROP ; DROP } } } ; - RENAME @__n__pt2_old_pt_list ; - DUP ; - { CDR ; CDR } ; - CDR @list ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - { CDR ; CDR } ; - CAR @old_pt ; - PAIR ; - PAIR } ; - DIP { DROP } ; - RENAME @__pt_parameter ; - { DIP { DUP } ; SWAP } ; - CONTRACT (list (pair (pair nat nat) (pair nat (pair nat (pair nat nat))))); - IF_SOME {} {PUSH string "Bad contract in storage"; FAILWITH}; - AMOUNT ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CDR @parameter ; - TRANSFER_TOKENS @op ; - SWAP ; - NIL operation ; - { DIP { DIP { DUP } ; SWAP } ; SWAP } ; - { DIP { DIP { DIP { DROP } } } } ; - CONS ; - PAIR } ; - SWAP ; - CAR ; - SWAP ; - { { DUP ; CAR ; DIP { CDR } } } ; - DIP { SWAP ; PAIR } ; - PAIR } } }