Skip to content

Commit

Permalink
Compile all for ghostnet
Browse files Browse the repository at this point in the history
  • Loading branch information
@glottologist
glottologist committed Oct 26, 2023
1 parent a2aa960 commit 49de0db
Show file tree
Hide file tree
Showing 5 changed files with 943 additions and 182 deletions.
177 changes: 151 additions & 26 deletions batcher/michelson/btctz-vault-ghostnet.tz
View file
Original file line number Diff line number Diff line change
Expand Up @@ -162,13 +162,138 @@
CONS ;
TRANSFER_TOKENS }
{ DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ;
DUP 4 ;
SELF_ADDRESS ;
DUP 5 ;
CDR ;
CAR ;
CAR ;
CAR ;
DUP ;
GET 5 ;
IF_NONE { PUSH nat 101 ; FAILWITH } {} ;
DUP 2 ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
IF { DIG 2 ;
DROP 2 ;
DUP 2 ;
CONTRACT %balance_response_fa12 nat ;
SWAP ;
CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ;
SWAP ;
IF_NONE
{ DROP ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
IF { DUP 3 ;
CONTRACT %balance_response_fa2
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ;
SWAP ;
CONTRACT %balance_of
(pair (contract %callback
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))))
(list %requests (pair (address %owner) (nat %token_id)))) ;
SWAP ;
IF_NONE
{ DROP 2 ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP 2 ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ;
NIL (pair address nat) ;
DIG 4 ;
CAR ;
DUP 6 ;
PAIR ;
CONS ;
DIG 3 ;
PAIR ;
TRANSFER_TOKENS } } }
{ DROP 2 ; PUSH nat 108 ; FAILWITH } } ;
NIL operation ;
SWAP ;
CONS ;
DUP 6 ;
CAR ;
DUP 4 ;
CDR ;
CAR ;
ITER { CDR ;
SWAP ;
DUP 2 ;
CAR ;
GET 5 ;
IF_NONE { PUSH nat 101 ; FAILWITH } {} ;
DUP 3 ;
CAR ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
IF { DIG 3 ;
DROP 2 ;
DUP 3 ;
CONTRACT %balance_response_fa12 nat ;
SWAP ;
CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ;
SWAP ;
IF_NONE
{ DROP ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
IF { DUP 4 ;
CONTRACT %balance_response_fa2
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ;
SWAP ;
CONTRACT %balance_of
(pair (contract %callback
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))))
(list %requests (pair (address %owner) (nat %token_id)))) ;
SWAP ;
IF_NONE
{ DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ;
NIL (pair address nat) ;
DIG 5 ;
CAR ;
CAR ;
DUP 7 ;
PAIR ;
CONS ;
DIG 3 ;
PAIR ;
TRANSFER_TOKENS } } }
{ DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ;
CONS } ;
SWAP ;
DROP ;
DUP 5 ;
CDR ;
CAR ;
CAR ;
DUP ;
CAR ;
DUP 5 ;
CAR ;
DUP 2 ;
GET 8 ;
Expand Down Expand Up @@ -205,37 +330,37 @@
AND ;
AND ;
NOT ;
IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH }
{ DUP 3 ;
IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH }
{ DUP 4 ;
CDR ;
DUP 6 ;
DUP 7 ;
CDR ;
CDR ;
CAR ;
ADD ;
DUP 2 ;
DUP 5 ;
DUP 6 ;
CDR ;
DIG 3 ;
CDR ;
ADD ;
UPDATE 2 ;
DUP 6 ;
DUP 7 ;
CDR ;
CDR ;
CDR ;
DUP ;
CAR ;
DUP 7 ;
DUP 8 ;
MEM ;
IF { CDR ;
DUP 6 ;
DUP 7 ;
GET ;
IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } }
{ DROP ; NONE (pair (pair address nat) mutez) } ;
IF_NONE
{ PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR }
{ DIG 4 ;
{ PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR }
{ DIG 5 ;
CDR ;
DUP 2 ;
CAR ;
Expand All @@ -247,8 +372,8 @@
DIG 2 ;
UPDATE 2 ;
UPDATE 1 } ;
DUP 6 ;
DUP 7 ;
DUP 8 ;
CDR ;
DUP ;
CDR ;
Expand All @@ -260,27 +385,27 @@
CDR ;
DUP ;
CDR ;
DIG 7 ;
DIG 8 ;
CDR ;
CDR ;
CDR ;
DUP ;
CAR ;
DUP 9 ;
DUP 10 ;
MEM ;
IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 }
IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 }
{ DUP ;
DUP 2 ;
CAR ;
DUP 10 ;
DUP 11 ;
PUSH bool True ;
SWAP ;
UPDATE ;
UPDATE 1 ;
SWAP ;
CDR ;
DIG 5 ;
DIG 8 ;
DIG 9 ;
SWAP ;
SOME ;
SWAP ;
Expand All @@ -297,7 +422,7 @@
UPDATE 1 ;
UPDATE 1 ;
UPDATE 2 } ;
NIL operation ;
SWAP ;
DIG 2 ;
CONS }
{ DUP 2 ;
Expand Down Expand Up @@ -969,7 +1094,7 @@
DUP 2 ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
Expand All @@ -986,7 +1111,7 @@
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
Expand Down Expand Up @@ -1032,7 +1157,7 @@
CAR ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
Expand All @@ -1049,7 +1174,7 @@
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
Expand Down Expand Up @@ -1467,7 +1592,7 @@
DUP 2 ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
Expand All @@ -1484,7 +1609,7 @@
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
Expand Down Expand Up @@ -1530,7 +1655,7 @@
CAR ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
PUSH string "FA1.2 token" ;
DUP 2 ;
COMPARE ;
EQ ;
Expand All @@ -1547,7 +1672,7 @@
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
{ PUSH string "FA2 token" ;
SWAP ;
COMPARE ;
EQ ;
Expand Down
Loading

0 comments on commit 49de0db

Please sign in to comment.