https://gitlab.com/tezos/tezos
Raw File
Tip revision: d1cd2cc85ee5da6892373e7926b3f1b226d6371b authored by Ole Krüger on 15 February 2024, 12:47:19 UTC
WIP: Code gen
Tip revision: d1cd2cc
originator.tz
parameter nat ;
storage (list address) ;
code
  { DUP ; CAR ; PUSH nat 0 ; CMPNEQ ;
    DIP { DUP ; CAR ; DIP { CDR ; NIL operation } } ;
    LOOP
      { PUSH mutez 5000000 ;
        PUSH bool True ; # delegatable
        NONE key_hash ; # delegate
        PUSH key_hash "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" ; # manager
        CREATE_ACCOUNT ;
        SWAP ; DIP { SWAP ; DIP { CONS } } ;
        SWAP ; DIP { SWAP ; DIP { CONS } } ;
        PUSH nat 1 ; SWAP ; SUB ; ABS ;
        DUP ; PUSH nat 0 ; CMPNEQ } ;
    DROP ; PAIR }
back to top