Revision 91d37b3316ba8753026246327383452bc8733d66 authored by François Thiré on 12 February 2024, 12:25:10 UTC, committed by François Thiré on 12 February 2024, 12:26:37 UTC
1 parent 765f7bc
File | Mode | Size |
---|---|---|
macro_pack | ||
LICENSE | -rw-r--r-- | 3.0 KB |
abs_00.tzt | -rw-r--r-- | 71 bytes |
abs_01.tzt | -rw-r--r-- | 70 bytes |
abs_02.tzt | -rw-r--r-- | 70 bytes |
add_00.tc.tzt | -rw-r--r-- | 89 bytes |
add_01.tc.tzt | -rw-r--r-- | 64 bytes |
add_int-int_00.tzt | -rw-r--r-- | 89 bytes |
add_int-nat_00.tzt | -rw-r--r-- | 89 bytes |
add_int-nat_01.tzt | -rw-r--r-- | 90 bytes |
add_int-timestamp_00.tzt | -rw-r--r-- | 101 bytes |
add_mutez-mutez_00.tzt | -rw-r--r-- | 96 bytes |
add_mutez-mutez_01.tzt | -rw-r--r-- | 99 bytes |
add_nat-int_00.tzt | -rw-r--r-- | 89 bytes |
add_nat-nat_00.tzt | -rw-r--r-- | 89 bytes |
add_timestamp-int_00.tzt | -rw-r--r-- | 101 bytes |
add_timestamp-int_01.tzt | -rw-r--r-- | 106 bytes |
add_timestamp-int_02.tzt | -rw-r--r-- | 105 bytes |
add_timestamp-int_03.tzt | -rw-r--r-- | 99 bytes |
address_00.tc.tzt | -rw-r--r-- | 76 bytes |
address_00.tzt | -rw-r--r-- | 239 bytes |
address_01.tzt | -rw-r--r-- | 166 bytes |
address_02.tzt | -rw-r--r-- | 237 bytes |
amount_00.tzt | -rw-r--r-- | 72 bytes |
and_bool-bool_00.tzt | -rw-r--r-- | 103 bytes |
and_bool-bool_01.tzt | -rw-r--r-- | 102 bytes |
and_bool-bool_02.tzt | -rw-r--r-- | 102 bytes |
and_bool-bool_03.tzt | -rw-r--r-- | 100 bytes |
and_bytes-bytes_00.tzt | -rw-r--r-- | 103 bytes |
and_bytes-bytes_01.tzt | -rw-r--r-- | 109 bytes |
and_bytes-bytes_02.tzt | -rw-r--r-- | 103 bytes |
and_bytes-bytes_03.tzt | -rw-r--r-- | 99 bytes |
and_bytes-bytes_04.tzt | -rw-r--r-- | 98 bytes |
and_bytes-bytes_05.tzt | -rw-r--r-- | 104 bytes |
and_bytes-bytes_06.tzt | -rw-r--r-- | 100 bytes |
and_int-nat_00.tzt | -rw-r--r-- | 91 bytes |
and_int-nat_01.tzt | -rw-r--r-- | 90 bytes |
and_int-nat_02.tzt | -rw-r--r-- | 89 bytes |
and_int-nat_03.tzt | -rw-r--r-- | 89 bytes |
and_int-nat_04.tzt | -rw-r--r-- | 89 bytes |
and_int-nat_05.tzt | -rw-r--r-- | 88 bytes |
and_int-nat_06.tzt | -rw-r--r-- | 88 bytes |
and_nat-nat_00.tzt | -rw-r--r-- | 88 bytes |
and_nat-nat_01.tzt | -rw-r--r-- | 88 bytes |
and_nat-nat_02.tzt | -rw-r--r-- | 88 bytes |
apply_00.tzt | -rw-r--r-- | 223 bytes |
apply_01.tzt | -rw-r--r-- | 342 bytes |
apply_02.tzt | -rw-r--r-- | 465 bytes |
balance_00.tzt | -rw-r--r-- | 74 bytes |
blake2b_00.tzt | -rw-r--r-- | 140 bytes |
blake2b_01.tzt | -rw-r--r-- | 146 bytes |
car_00.tc.tzt | -rw-r--r-- | 68 bytes |
car_00.tzt | -rw-r--r-- | 118 bytes |
car_01.tzt | -rw-r--r-- | 90 bytes |
cdr_00.tc.tzt | -rw-r--r-- | 68 bytes |
cdr_00.tzt | -rw-r--r-- | 119 bytes |
cdr_01.tzt | -rw-r--r-- | 90 bytes |
chain_id_00.tzt | -rw-r--r-- | 95 bytes |
chain_id_01.tzt | -rw-r--r-- | 95 bytes |
checksignature_00.tc.tzt | -rw-r--r-- | 247 bytes |
checksignature_00.tzt | -rw-r--r-- | 305 bytes |
checksignature_01.tzt | -rw-r--r-- | 308 bytes |
compare_00.tc.tzt | -rw-r--r-- | 112 bytes |
compare_01.tc.tzt | -rw-r--r-- | 90 bytes |
compare_02.tc.tzt | -rw-r--r-- | 72 bytes |
compare_bool_00.tzt | -rw-r--r-- | 100 bytes |
compare_bool_01.tzt | -rw-r--r-- | 102 bytes |
compare_bool_02.tzt | -rw-r--r-- | 101 bytes |
compare_bool_03.tzt | -rw-r--r-- | 102 bytes |
compare_bytes_00.tzt | -rw-r--r-- | 110 bytes |
compare_bytes_01.tzt | -rw-r--r-- | 98 bytes |
compare_bytes_02.tzt | -rw-r--r-- | 100 bytes |
compare_bytes_03.tzt | -rw-r--r-- | 102 bytes |
compare_bytes_04.tzt | -rw-r--r-- | 103 bytes |
compare_int_00.tzt | -rw-r--r-- | 92 bytes |
compare_int_01.tzt | -rw-r--r-- | 93 bytes |
compare_int_02.tzt | -rw-r--r-- | 92 bytes |
compare_int_03.tzt | -rw-r--r-- | 94 bytes |
compare_int_04.tzt | -rw-r--r-- | 95 bytes |
compare_keyhash_00.tzt | -rw-r--r-- | 176 bytes |
compare_keyhash_01.tzt | -rw-r--r-- | 178 bytes |
compare_keyhash_02.tzt | -rw-r--r-- | 176 bytes |
compare_mutez_00.tzt | -rw-r--r-- | 96 bytes |
compare_mutez_01.tzt | -rw-r--r-- | 97 bytes |
compare_mutez_02.tzt | -rw-r--r-- | 96 bytes |
compare_mutez_03.tzt | -rw-r--r-- | 96 bytes |
compare_mutez_04.tzt | -rw-r--r-- | 98 bytes |
compare_mutez_05.tzt | -rw-r--r-- | 99 bytes |
compare_nat_00.tzt | -rw-r--r-- | 92 bytes |
compare_nat_01.tzt | -rw-r--r-- | 93 bytes |
compare_nat_02.tzt | -rw-r--r-- | 92 bytes |
compare_nat_03.tzt | -rw-r--r-- | 92 bytes |
compare_nat_04.tzt | -rw-r--r-- | 94 bytes |
compare_nat_05.tzt | -rw-r--r-- | 95 bytes |
compare_never_00.tzt | -rw-r--r-- | 74 bytes |
compare_pairintint_00.tzt | -rw-r--r-- | 132 bytes |
compare_pairintint_01.tzt | -rw-r--r-- | 132 bytes |
compare_pairintint_02.tzt | -rw-r--r-- | 132 bytes |
compare_pairintint_03.tzt | -rw-r--r-- | 133 bytes |
compare_string_00.tzt | -rw-r--r-- | 102 bytes |
compare_string_01.tzt | -rw-r--r-- | 103 bytes |
compare_string_02.tzt | -rw-r--r-- | 102 bytes |
compare_string_03.tzt | -rw-r--r-- | 100 bytes |
compare_string_04.tzt | -rw-r--r-- | 101 bytes |
compare_timestamp_00.tzt | -rw-r--r-- | 108 bytes |
compare_timestamp_01.tzt | -rw-r--r-- | 109 bytes |
compare_timestamp_02.tzt | -rw-r--r-- | 108 bytes |
compare_timestamp_03.tzt | -rw-r--r-- | 146 bytes |
compare_timestamp_04.tzt | -rw-r--r-- | 146 bytes |
compare_timestamp_05.tzt | -rw-r--r-- | 147 bytes |
concat_00.tc.tzt | -rw-r--r-- | 79 bytes |
concat_bytes_00.tzt | -rw-r--r-- | 108 bytes |
concat_bytes_01.tzt | -rw-r--r-- | 108 bytes |
concat_listbytes_00.tzt | -rw-r--r-- | 125 bytes |
concat_listbytes_01.tzt | -rw-r--r-- | 134 bytes |
concat_listbytes_02.tzt | -rw-r--r-- | 96 bytes |
concat_liststring_00.tzt | -rw-r--r-- | 129 bytes |
concat_liststring_01.tzt | -rw-r--r-- | 108 bytes |
concat_liststring_02.tzt | -rw-r--r-- | 89 bytes |
concat_liststring_03.tzt | -rw-r--r-- | 98 bytes |
concat_liststring_04.tzt | -rw-r--r-- | 107 bytes |
concat_string_00.tzt | -rw-r--r-- | 125 bytes |
concat_string_01.tzt | -rw-r--r-- | 188 bytes |
concat_string_02.tzt | -rw-r--r-- | 211 bytes |
cons_int_00.tzt | -rw-r--r-- | 115 bytes |
cons_int_01.tzt | -rw-r--r-- | 109 bytes |
cons_int_02.tzt | -rw-r--r-- | 147 bytes |
cons_lists_00.tc.tzt | -rw-r--r-- | 106 bytes |
cons_string_00.tzt | -rw-r--r-- | 148 bytes |
contract_00.tzt | -rw-r--r-- | 261 bytes |
contract_01.tzt | -rw-r--r-- | 220 bytes |
contract_02.tzt | -rw-r--r-- | 219 bytes |
contract_03.tzt | -rw-r--r-- | 334 bytes |
contract_04.tzt | -rw-r--r-- | 208 bytes |
contract_05.tzt | -rw-r--r-- | 146 bytes |
coverage.md | -rw-r--r-- | 37.7 KB |
createcontract_00.tzt | -rw-r--r-- | 645 bytes |
createcontract_01.tzt | -rw-r--r-- | 551 bytes |
dig_00.tzt | -rw-r--r-- | 252 bytes |
dig_01.tzt | -rw-r--r-- | 252 bytes |
dig_02.tzt | -rw-r--r-- | 252 bytes |
dig_03.tzt | -rw-r--r-- | 252 bytes |
dig_04.tzt | -rw-r--r-- | 248 bytes |
dip_00.tc.tzt | -rw-r--r-- | 70 bytes |
dip_00.tzt | -rw-r--r-- | 111 bytes |
dip_01.tzt | -rw-r--r-- | 120 bytes |
dip_02.tzt | -rw-r--r-- | 123 bytes |
dipn_00.tc.tzt | -rw-r--r-- | 72 bytes |
dipn_00.tzt | -rw-r--r-- | 293 bytes |
dipn_01.tc.tzt | -rw-r--r-- | 114 bytes |
dipn_01.tzt | -rw-r--r-- | 293 bytes |
dipn_02.tc.tzt | -rw-r--r-- | 98 bytes |
dipn_02.tzt | -rw-r--r-- | 293 bytes |
dipn_03.tzt | -rw-r--r-- | 79 bytes |
drop_00.tc.tzt | -rw-r--r-- | 52 bytes |
drop_00.tzt | -rw-r--r-- | 231 bytes |
dropn_00.tc.tzt | -rw-r--r-- | 88 bytes |
dropn_00.tzt | -rw-r--r-- | 162 bytes |
dropn_01.tzt | -rw-r--r-- | 251 bytes |
dropn_02.tzt | -rw-r--r-- | 233 bytes |
dropn_03.tzt | -rw-r--r-- | 39 bytes |
dugn_00.tzt | -rw-r--r-- | 252 bytes |
dup_00.tc.tzt | -rw-r--r-- | 51 bytes |
dup_00.tzt | -rw-r--r-- | 88 bytes |
dupn_00.tc.tzt | -rw-r--r-- | 69 bytes |
dupn_00.tzt | -rw-r--r-- | 234 bytes |
dupn_01.tc.tzt | -rw-r--r-- | 86 bytes |
dupn_01.tzt | -rw-r--r-- | 234 bytes |
dupn_02.tzt | -rw-r--r-- | 234 bytes |
dupn_03.tzt | -rw-r--r-- | 234 bytes |
dupn_04.tzt | -rw-r--r-- | 234 bytes |
ediv_int-int_00.tzt | -rw-r--r-- | 128 bytes |
ediv_int-int_01.tzt | -rw-r--r-- | 112 bytes |
ediv_int-int_02.tzt | -rw-r--r-- | 113 bytes |
ediv_int-int_03.tzt | -rw-r--r-- | 127 bytes |
ediv_mutez-mutez_00.tzt | -rw-r--r-- | 134 bytes |
ediv_mutez-mutez_01.tzt | -rw-r--r-- | 134 bytes |
ediv_mutez-mutez_02.tzt | -rw-r--r-- | 131 bytes |
ediv_mutez-mutez_03.tzt | -rw-r--r-- | 120 bytes |
ediv_mutez-nat_00.tzt | -rw-r--r-- | 133 bytes |
ediv_mutez-nat_01.tzt | -rw-r--r-- | 134 bytes |
ediv_mutez-nat_02.tzt | -rw-r--r-- | 131 bytes |
ediv_mutez-nat_03.tzt | -rw-r--r-- | 120 bytes |
ediv_mutez-nat_04.tzt | -rw-r--r-- | 132 bytes |
ediv_mutez-nat_05.tzt | -rw-r--r-- | 119 bytes |
ediv_mutez-nat_06.tzt | -rw-r--r-- | 132 bytes |
emptybigmap_nat-nat_00.tzt | -rw-r--r-- | 88 bytes |
emptymap_nat-nat_00.tzt | -rw-r--r-- | 80 bytes |
emptymap_string-string_00.tzt | -rw-r--r-- | 92 bytes |
emptyset_00.tc.tzt | -rw-r--r-- | 66 bytes |
emptyset_nat_00.tzt | -rw-r--r-- | 72 bytes |
eq_00.tzt | -rw-r--r-- | 83 bytes |
eq_01.tzt | -rw-r--r-- | 77 bytes |
eq_02.tzt | -rw-r--r-- | 75 bytes |
eq_03.tzt | -rw-r--r-- | 76 bytes |
eq_04.tzt | -rw-r--r-- | 82 bytes |
exec_00.tzt | -rw-r--r-- | 155 bytes |
exec_01.tzt | -rw-r--r-- | 159 bytes |
exec_02.tzt | -rw-r--r-- | 185 bytes |
exec_03.tzt | -rw-r--r-- | 193 bytes |
failwith_00.tc.tzt | -rw-r--r-- | 85 bytes |
failwith_00.tzt | -rw-r--r-- | 66 bytes |
gas_exhaustion.tzt | -rw-r--r-- | 209 bytes |
ge_00.tzt | -rw-r--r-- | 83 bytes |
ge_01.tzt | -rw-r--r-- | 77 bytes |
ge_02.tzt | -rw-r--r-- | 75 bytes |
ge_03.tzt | -rw-r--r-- | 75 bytes |
ge_04.tzt | -rw-r--r-- | 81 bytes |
get_00.tc.tzt | -rw-r--r-- | 124 bytes |
get_bigmapstringstring_00.tzt | -rw-r--r-- | 158 bytes |
get_bigmapstringstring_01.tzt | -rw-r--r-- | 146 bytes |
get_bigmapstringstring_02.tzt | -rw-r--r-- | 168 bytes |
get_map_00.tc.tzt | -rw-r--r-- | 114 bytes |
get_mapintint_00.tzt | -rw-r--r-- | 134 bytes |
get_mapintint_01.tzt | -rw-r--r-- | 130 bytes |
get_mapstringstring_00.tzt | -rw-r--r-- | 154 bytes |
get_mapstringstring_01.tzt | -rw-r--r-- | 142 bytes |
get_mapstringstring_02.tzt | -rw-r--r-- | 164 bytes |
gt_00.tc.tzt | -rw-r--r-- | 73 bytes |
gt_00.tzt | -rw-r--r-- | 83 bytes |
gt_01.tzt | -rw-r--r-- | 77 bytes |
gt_02.tzt | -rw-r--r-- | 76 bytes |
gt_03.tzt | -rw-r--r-- | 75 bytes |
gt_04.tzt | -rw-r--r-- | 81 bytes |
if_00.tc.tzt | -rw-r--r-- | 100 bytes |
if_00.tzt | -rw-r--r-- | 109 bytes |
if_01.tc.tzt | -rw-r--r-- | 99 bytes |
if_01.tzt | -rw-r--r-- | 108 bytes |
ifcons_00.tc.tzt | -rw-r--r-- | 111 bytes |
ifcons_listint_00.tzt | -rw-r--r-- | 118 bytes |
ifcons_listint_01.tzt | -rw-r--r-- | 167 bytes |
ifcons_listnat_00.tzt | -rw-r--r-- | 132 bytes |
ifcons_listnat_01.tzt | -rw-r--r-- | 120 bytes |
ifleft_00.tc.tzt | -rw-r--r-- | 138 bytes |
ifleft_orintstring_00.tzt | -rw-r--r-- | 134 bytes |
ifleft_orstringint_00.tzt | -rw-r--r-- | 135 bytes |
ifnone_00.tc.tzt | -rw-r--r-- | 111 bytes |
ifnone_optionint_00.tzt | -rw-r--r-- | 131 bytes |
ifnone_optionnat_00.tzt | -rw-r--r-- | 121 bytes |
implicitaccount_00.tzt | -rw-r--r-- | 174 bytes |
int_00.tc.tzt | -rw-r--r-- | 71 bytes |
int_nat_00.tzt | -rw-r--r-- | 71 bytes |
int_nat_01.tzt | -rw-r--r-- | 71 bytes |
isnat_00.tzt | -rw-r--r-- | 85 bytes |
isnat_01.tzt | -rw-r--r-- | 88 bytes |
iter_00.tc.tzt | -rw-r--r-- | 84 bytes |
iter_listint_00.tzt | -rw-r--r-- | 119 bytes |
iter_listint_01.tzt | -rw-r--r-- | 108 bytes |
iter_listint_02.tzt | -rw-r--r-- | 118 bytes |
iter_listint_03.tzt | -rw-r--r-- | 118 bytes |
iter_liststring_00.tzt | -rw-r--r-- | 166 bytes |
iter_liststring_01.tzt | -rw-r--r-- | 134 bytes |
iter_mapintint_00.tzt | -rw-r--r-- | 145 bytes |
iter_mapintint_01.tzt | -rw-r--r-- | 144 bytes |
iter_mapintint_02.tzt | -rw-r--r-- | 80 bytes |
iter_mapintint_03.tzt | -rw-r--r-- | 227 bytes |
iter_mapintint_04.tzt | -rw-r--r-- | 225 bytes |
iter_mapstringstring_00.tzt | -rw-r--r-- | 210 bytes |
iter_setint_00.tzt | -rw-r--r-- | 106 bytes |
iter_setint_01.tzt | -rw-r--r-- | 107 bytes |
iter_setint_02.tzt | -rw-r--r-- | 124 bytes |
iter_setstring_00.tzt | -rw-r--r-- | 152 bytes |
iter_setstring_01.tzt | -rw-r--r-- | 131 bytes |
iter_setstring_02.tzt | -rw-r--r-- | 126 bytes |
join_tickets_00.tzt | -rw-r--r-- | 375 bytes |
join_tickets_01.tzt | -rw-r--r-- | 297 bytes |
join_tickets_02.tzt | -rw-r--r-- | 296 bytes |
join_tickets_03.tzt | -rw-r--r-- | 296 bytes |
keccak_00.tzt | -rw-r--r-- | 139 bytes |
keccak_01.tzt | -rw-r--r-- | 145 bytes |
le_00.tzt | -rw-r--r-- | 82 bytes |
le_01.tzt | -rw-r--r-- | 76 bytes |
le_02.tzt | -rw-r--r-- | 75 bytes |
le_03.tzt | -rw-r--r-- | 76 bytes |
le_04.tzt | -rw-r--r-- | 82 bytes |
left_int-nat_00.tzt | -rw-r--r-- | 91 bytes |
loop_00.tc.tzt | -rw-r--r-- | 87 bytes |
loop_00.tzt | -rw-r--r-- | 158 bytes |
loop_01.tc.tzt | -rw-r--r-- | 72 bytes |
loop_01.tzt | -rw-r--r-- | 295 bytes |
loop_02.tzt | -rw-r--r-- | 263 bytes |
loopleft_00.tzt | -rw-r--r-- | 232 bytes |
loopleft_01.tzt | -rw-r--r-- | 122 bytes |
loopleft_02.tzt | -rw-r--r-- | 371 bytes |
loopleft_03.tzt | -rw-r--r-- | 363 bytes |
loopleft_04.tzt | -rw-r--r-- | 328 bytes |
lsl_00.tzt | -rw-r--r-- | 88 bytes |
lsl_01.tzt | -rw-r--r-- | 79 bytes |
lsl_02.tzt | -rw-r--r-- | 89 bytes |
lsl_03.tzt | -rw-r--r-- | 88 bytes |
lsl_04.tzt | -rw-r--r-- | 88 bytes |
lsl_05.tzt | -rw-r--r-- | 88 bytes |
lsl_06.tzt | -rw-r--r-- | 90 bytes |
lsr_00.tzt | -rw-r--r-- | 89 bytes |
lsr_01.tzt | -rw-r--r-- | 80 bytes |
lsr_02.tzt | -rw-r--r-- | 88 bytes |
lsr_03.tzt | -rw-r--r-- | 88 bytes |
lsr_04.tzt | -rw-r--r-- | 88 bytes |
lsr_05.tzt | -rw-r--r-- | 89 bytes |
lt_00.tzt | -rw-r--r-- | 82 bytes |
lt_01.tzt | -rw-r--r-- | 76 bytes |
lt_02.tzt | -rw-r--r-- | 76 bytes |
lt_03.tzt | -rw-r--r-- | 76 bytes |
lt_04.tzt | -rw-r--r-- | 82 bytes |
map_listint_00.tzt | -rw-r--r-- | 127 bytes |
map_listint_01.tzt | -rw-r--r-- | 163 bytes |
map_listint_02.tzt | -rw-r--r-- | 106 bytes |
map_listint_03.tzt | -rw-r--r-- | 149 bytes |
map_listint_04.tzt | -rw-r--r-- | 201 bytes |
map_listint_05.tzt | -rw-r--r-- | 201 bytes |
map_listint_06.tzt | -rw-r--r-- | 173 bytes |
map_liststring_00.tzt | -rw-r--r-- | 206 bytes |
map_liststring_01.tzt | -rw-r--r-- | 174 bytes |
map_liststring_02.tzt | -rw-r--r-- | 137 bytes |
map_liststring_04.tzt | -rw-r--r-- | 131 bytes |
map_liststring_05.tzt | -rw-r--r-- | 98 bytes |
map_liststring_06.tzt | -rw-r--r-- | 152 bytes |
map_liststring_07.tzt | -rw-r--r-- | 176 bytes |
map_liststring_08.tzt | -rw-r--r-- | 128 bytes |
map_mapintint_00.tzt | -rw-r--r-- | 150 bytes |
map_mapintint_01.tzt | -rw-r--r-- | 211 bytes |
map_mapintstring_00.tzt | -rw-r--r-- | 175 bytes |
map_mapintstring_01.tzt | -rw-r--r-- | 131 bytes |
map_mapstringnat_00.tzt | -rw-r--r-- | 189 bytes |
map_mapstringnat_01.tzt | -rw-r--r-- | 164 bytes |
map_mapstringnat_02.tzt | -rw-r--r-- | 218 bytes |
mem_bigmapnatnat_00.tzt | -rw-r--r-- | 154 bytes |
mem_bigmapnatnat_01.tzt | -rw-r--r-- | 146 bytes |
mem_bigmapnatnat_02.tzt | -rw-r--r-- | 153 bytes |
mem_bigmapnatnat_03.tzt | -rw-r--r-- | 164 bytes |
mem_bigmapnatnat_04.tzt | -rw-r--r-- | 164 bytes |
mem_bigmapnatnat_05.tzt | -rw-r--r-- | 165 bytes |
mem_bigmapstringnat_00.tzt | -rw-r--r-- | 243 bytes |
mem_bigmapstringnat_01.tzt | -rw-r--r-- | 231 bytes |
mem_bigmapstringnat_02.tzt | -rw-r--r-- | 243 bytes |
mem_bigmapstringnat_03.tzt | -rw-r--r-- | 257 bytes |
mem_bigmapstringnat_04.tzt | -rw-r--r-- | 257 bytes |
mem_bigmapstringnat_05.tzt | -rw-r--r-- | 258 bytes |
mem_mapintint_00.tzt | -rw-r--r-- | 122 bytes |
mem_mapnatnat_00.tzt | -rw-r--r-- | 113 bytes |
mem_mapnatnat_01.tzt | -rw-r--r-- | 105 bytes |
mem_mapnatnat_02.tzt | -rw-r--r-- | 112 bytes |
mem_mapnatnat_03.tzt | -rw-r--r-- | 123 bytes |
mem_mapnatnat_04.tzt | -rw-r--r-- | 123 bytes |
mem_mapnatnat_05.tzt | -rw-r--r-- | 124 bytes |
mem_mapstringnat_00.tzt | -rw-r--r-- | 127 bytes |
mem_mapstringnat_01.tzt | -rw-r--r-- | 115 bytes |
mem_mapstringnat_02.tzt | -rw-r--r-- | 125 bytes |
mem_mapstringnat_03.tzt | -rw-r--r-- | 141 bytes |
mem_mapstringnat_04.tzt | -rw-r--r-- | 141 bytes |
mem_mapstringnat_05.tzt | -rw-r--r-- | 142 bytes |
mem_setint_00.tzt | -rw-r--r-- | 115 bytes |
mem_setint_01.tzt | -rw-r--r-- | 114 bytes |
mem_setstring_00.tzt | -rw-r--r-- | 110 bytes |
mem_setstring_01.tzt | -rw-r--r-- | 114 bytes |
mem_setstring_02.tzt | -rw-r--r-- | 126 bytes |
mul_int-int_00.tzt | -rw-r--r-- | 91 bytes |
mul_int-nat_00.tzt | -rw-r--r-- | 89 bytes |
mul_mutez-nat_00.tzt | -rw-r--r-- | 93 bytes |
mul_mutez-nat_01.tzt | -rw-r--r-- | 149 bytes |
mul_nat-int_00.tzt | -rw-r--r-- | 91 bytes |
mul_nat-mutez_00.tzt | -rw-r--r-- | 93 bytes |
mul_nat-mutez_01.tzt | -rw-r--r-- | 150 bytes |
mul_nat-nat_00.tzt | -rw-r--r-- | 89 bytes |
neg_int_00.tzt | -rw-r--r-- | 71 bytes |
neg_int_01.tzt | -rw-r--r-- | 71 bytes |
neg_int_02.tzt | -rw-r--r-- | 70 bytes |
neg_nat_00.tzt | -rw-r--r-- | 71 bytes |
neg_nat_01.tzt | -rw-r--r-- | 70 bytes |
neq_00.tzt | -rw-r--r-- | 83 bytes |
neq_01.tzt | -rw-r--r-- | 77 bytes |
neq_02.tzt | -rw-r--r-- | 77 bytes |
neq_03.tzt | -rw-r--r-- | 76 bytes |
neq_04.tzt | -rw-r--r-- | 82 bytes |
never_00.tc.tzt | -rw-r--r-- | 73 bytes |
never_00.tzt | -rw-r--r-- | 70 bytes |
nil_nat_00.tzt | -rw-r--r-- | 67 bytes |
none_int_00.tzt | -rw-r--r-- | 71 bytes |
none_pair-nat-string.tzt | -rw-r--r-- | 99 bytes |
not_bool_00.tzt | -rw-r--r-- | 79 bytes |
not_bool_01.tzt | -rw-r--r-- | 79 bytes |
not_bytes_00.tzt | -rw-r--r-- | 83 bytes |
not_bytes_01.tzt | -rw-r--r-- | 75 bytes |
not_bytes_02.tzt | -rw-r--r-- | 83 bytes |
not_bytes_03.tzt | -rw-r--r-- | 79 bytes |
not_bytes_04.tzt | -rw-r--r-- | 83 bytes |
not_bytes_05.tzt | -rw-r--r-- | 83 bytes |
not_int_00.tzt | -rw-r--r-- | 71 bytes |
not_nat_00.tzt | -rw-r--r-- | 71 bytes |
not_nat_01.tzt | -rw-r--r-- | 71 bytes |
not_nat_02.tzt | -rw-r--r-- | 71 bytes |
not_nat_03.tzt | -rw-r--r-- | 71 bytes |
not_nat_04.tzt | -rw-r--r-- | 71 bytes |
not_nat_05.tzt | -rw-r--r-- | 71 bytes |
not_nat_06.tzt | -rw-r--r-- | 71 bytes |
not_nat_07.tzt | -rw-r--r-- | 71 bytes |
now_00.tzt | -rw-r--r-- | 70 bytes |
or_bool-bool_00.tzt | -rw-r--r-- | 102 bytes |
or_bool-bool_01.tzt | -rw-r--r-- | 100 bytes |
or_bool-bool_02.tzt | -rw-r--r-- | 100 bytes |
or_bool-bool_03.tzt | -rw-r--r-- | 99 bytes |
or_bytes-bytes_00.tzt | -rw-r--r-- | 102 bytes |
or_bytes-bytes_01.tzt | -rw-r--r-- | 108 bytes |
or_bytes-bytes_02.tzt | -rw-r--r-- | 102 bytes |
or_bytes-bytes_03.tzt | -rw-r--r-- | 100 bytes |
or_bytes-bytes_04.tzt | -rw-r--r-- | 102 bytes |
or_bytes-bytes_05.tzt | -rw-r--r-- | 108 bytes |
or_bytes-bytes_06.tzt | -rw-r--r-- | 106 bytes |
or_nat-nat_00.tzt | -rw-r--r-- | 87 bytes |
or_nat-nat_01.tzt | -rw-r--r-- | 88 bytes |
or_nat-nat_02.tzt | -rw-r--r-- | 87 bytes |
or_nat-nat_03.tzt | -rw-r--r-- | 87 bytes |
or_nat-nat_04.tzt | -rw-r--r-- | 89 bytes |
or_nat-nat_05.tzt | -rw-r--r-- | 89 bytes |
or_nat-nat_06.tzt | -rw-r--r-- | 87 bytes |
pack_address_00.tzt | -rw-r--r-- | 173 bytes |
pack_address_01.tzt | -rw-r--r-- | 173 bytes |
pack_address_02.tzt | -rw-r--r-- | 173 bytes |
pack_address_03.tzt | -rw-r--r-- | 173 bytes |
pack_address_04.tzt | -rw-r--r-- | 173 bytes |
pack_address_05.tzt | -rw-r--r-- | 173 bytes |
pack_bool_00.tzt | -rw-r--r-- | 87 bytes |
pack_bool_01.tzt | -rw-r--r-- | 86 bytes |
pack_bytes_00.tzt | -rw-r--r-- | 91 bytes |
pack_bytes_01.tzt | -rw-r--r-- | 111 bytes |
pack_bytes_02.tzt | -rw-r--r-- | 4.0 KB |
pack_chainid_00.tzt | -rw-r--r-- | 117 bytes |
pack_contract_00.tzt | -rw-r--r-- | 181 bytes |
pack_key_00.tzt | -rw-r--r-- | 209 bytes |
pack_key_01.tzt | -rw-r--r-- | 212 bytes |
pack_key_02.tzt | -rw-r--r-- | 212 bytes |
pack_key_03.tzt | -rw-r--r-- | 263 bytes |
pack_keyhash_01.tzt | -rw-r--r-- | 172 bytes |
pack_keyhash_02.tzt | -rw-r--r-- | 172 bytes |
pack_keyhash_03.tzt | -rw-r--r-- | 172 bytes |
pack_keyhash_04.tzt | -rw-r--r-- | 172 bytes |
pack_lambda_comb_pairs.tzt | -rw-r--r-- | 201 bytes |
pack_list-bool_00.tzt | -rw-r--r-- | 97 bytes |
pack_list-bool_01.tzt | -rw-r--r-- | 118 bytes |
pack_list-list-bool.tzt | -rw-r--r-- | 142 bytes |
pack_list_large_00.tzt | -rw-r--r-- | 7.0 KB |
pack_map-bool-unit_00.tzt | -rw-r--r-- | 129 bytes |
pack_operation_00.tc.tzt | -rw-r--r-- | 100 bytes |
pack_option-unit_00.tzt | -rw-r--r-- | 95 bytes |
pack_option-unit_01.tzt | -rw-r--r-- | 106 bytes |
pack_or-unit-bool_00.tzt | -rw-r--r-- | 107 bytes |
pack_or-unit-bool_01.tzt | -rw-r--r-- | 108 bytes |
pack_pair-bool-unit_00.tzt | -rw-r--r-- | 119 bytes |
pack_signature_00.tzt | -rw-r--r-- | 322 bytes |
pack_signature_01.tzt | -rw-r--r-- | 322 bytes |
pack_signature_02.tzt | -rw-r--r-- | 321 bytes |
pack_signature_03.tzt | -rw-r--r-- | 429 bytes |
pack_string_00.tzt | -rw-r--r-- | 92 bytes |
pack_string_01.tzt | -rw-r--r-- | 101 bytes |
pack_string_02.tzt | -rw-r--r-- | 173 bytes |
pack_string_03.tzt | -rw-r--r-- | 3.0 KB |
pack_unit_00.tzt | -rw-r--r-- | 86 bytes |
packunpack_address_00.tzt | -rw-r--r-- | 186 bytes |
packunpack_bool_00.tzt | -rw-r--r-- | 111 bytes |
packunpack_bytes_00.tzt | -rw-r--r-- | 124 bytes |
packunpack_int_00.tzt | -rw-r--r-- | 102 bytes |
packunpack_keyhash_00.tzt | -rw-r--r-- | 189 bytes |
packunpack_mutez_00.tzt | -rw-r--r-- | 112 bytes |
packunpack_nat_00.tzt | -rw-r--r-- | 100 bytes |
packunpack_string_00.tzt | -rw-r--r-- | 123 bytes |
packunpack_timestamp_00.tzt | -rw-r--r-- | 160 bytes |
pair_00.tc.tzt | -rw-r--r-- | 67 bytes |
pair_int-int_00.tzt | -rw-r--r-- | 109 bytes |
pair_nat-string_00.tzt | -rw-r--r-- | 127 bytes |
pair_pair-nat-string-pair-string-nat_00.tzt | -rw-r--r-- | 225 bytes |
push_00.tc.tzt | -rw-r--r-- | 61 bytes |
push_int_00.tzt | -rw-r--r-- | 61 bytes |
push_string_00.tzt | -rw-r--r-- | 113 bytes |
read_ticket_00.tzt | -rw-r--r-- | 315 bytes |
right_nat-int_00.tzt | -rw-r--r-- | 95 bytes |
self_00.tzt | -rw-r--r-- | 165 bytes |
self_01.tzt | -rw-r--r-- | 492 bytes |
self_in_lambda.tc.tzt | -rw-r--r-- | 80 bytes |
sender_00.tzt | -rw-r--r-- | 146 bytes |
setdelegate_00.tc.tzt | -rw-r--r-- | 81 bytes |
setdelegate_00.tzt | -rw-r--r-- | 204 bytes |
sha256_00.tzt | -rw-r--r-- | 139 bytes |
sha256_01.tzt | -rw-r--r-- | 145 bytes |
sha3_00.tzt | -rw-r--r-- | 137 bytes |
sha3_01.tzt | -rw-r--r-- | 143 bytes |
sha512_00.tzt | -rw-r--r-- | 203 bytes |
sha512_01.tzt | -rw-r--r-- | 209 bytes |
size_bytes_00.tzt | -rw-r--r-- | 80 bytes |
size_listint_00.tzt | -rw-r--r-- | 92 bytes |
size_listint_01.tzt | -rw-r--r-- | 80 bytes |
size_listint_02.tzt | -rw-r--r-- | 82 bytes |
size_listint_03.tzt | -rw-r--r-- | 102 bytes |
size_mapintint_00.tzt | -rw-r--r-- | 124 bytes |
size_mapstringnat_00.tzt | -rw-r--r-- | 86 bytes |
size_mapstringnat_01.tzt | -rw-r--r-- | 96 bytes |
size_mapstringnat_02.tzt | -rw-r--r-- | 120 bytes |
size_mapstringnat_03.tzt | -rw-r--r-- | 156 bytes |
size_setint_00.tzt | -rw-r--r-- | 79 bytes |
size_setint_01.tzt | -rw-r--r-- | 81 bytes |
size_setint_02.tzt | -rw-r--r-- | 89 bytes |
size_setint_03.tzt | -rw-r--r-- | 101 bytes |
size_setstring_00.tzt | -rw-r--r-- | 104 bytes |
size_string_00.tzt | -rw-r--r-- | 80 bytes |
slice_bytes_00.tzt | -rw-r--r-- | 136 bytes |
slice_bytes_01.tzt | -rw-r--r-- | 138 bytes |
slice_bytes_02.tzt | -rw-r--r-- | 138 bytes |
slice_bytes_03.tzt | -rw-r--r-- | 140 bytes |
slice_bytes_04.tzt | -rw-r--r-- | 131 bytes |
slice_string_00.tzt | -rw-r--r-- | 146 bytes |
slice_string_01.tzt | -rw-r--r-- | 139 bytes |
slice_string_02.tzt | -rw-r--r-- | 143 bytes |
slice_string_03.tzt | -rw-r--r-- | 142 bytes |
slice_string_04.tzt | -rw-r--r-- | 144 bytes |
slice_string_05.tzt | -rw-r--r-- | 117 bytes |
some_00.tc.tzt | -rw-r--r-- | 51 bytes |
some_int_00.tzt | -rw-r--r-- | 87 bytes |
some_pairintint_00.tzt | -rw-r--r-- | 127 bytes |
some_string_00.tzt | -rw-r--r-- | 105 bytes |
source_00.tzt | -rw-r--r-- | 146 bytes |
split_ticket_00.tzt | -rw-r--r-- | 436 bytes |
split_ticket_01.tzt | -rw-r--r-- | 242 bytes |
split_ticket_02.tzt | -rw-r--r-- | 242 bytes |
split_ticket_03.tzt | -rw-r--r-- | 243 bytes |
split_ticket_04.tzt | -rw-r--r-- | 243 bytes |
sub_int-int_00.tzt | -rw-r--r-- | 88 bytes |
sub_int-int_01.tzt | -rw-r--r-- | 89 bytes |
sub_mutez-mutez_00.tzt | -rw-r--r-- | 94 bytes |
sub_mutez-mutez_01.tzt | -rw-r--r-- | 95 bytes |
sub_timestamp-int_00.tzt | -rw-r--r-- | 100 bytes |
sub_timestamp-int_01.tzt | -rw-r--r-- | 125 bytes |
sub_timestamp-int_02.tzt | -rw-r--r-- | 126 bytes |
sub_timestamp-int_03.tzt | -rw-r--r-- | 115 bytes |
sub_timestamp-int_04.tzt | -rw-r--r-- | 136 bytes |
sub_timestamp-timestamp_00.tzt | -rw-r--r-- | 101 bytes |
sub_timestamp-timestamp_01.tzt | -rw-r--r-- | 100 bytes |
sub_timestamp-timestamp_02.tzt | -rw-r--r-- | 100 bytes |
sub_timestamp-timestamp_03.tzt | -rw-r--r-- | 144 bytes |
swap_00.tc.tzt | -rw-r--r-- | 71 bytes |
swap_00.tzt | -rw-r--r-- | 143 bytes |
swap_01.tc.tzt | -rw-r--r-- | 51 bytes |
ticket_00.tzt | -rw-r--r-- | 241 bytes |
ticket_01.tzt | -rw-r--r-- | 165 bytes |
transfertokens_00.tc.tzt | -rw-r--r-- | 211 bytes |
transfertokens_00.tzt | -rw-r--r-- | 245 bytes |
transfertokens_01.tzt | -rw-r--r-- | 317 bytes |
unit_00.tzt | -rw-r--r-- | 59 bytes |
unpair_00.tc.tzt | -rw-r--r-- | 76 bytes |
unpair_pairstringstring_00.tzt | -rw-r--r-- | 149 bytes |
update_00.tc.tzt | -rw-r--r-- | 143 bytes |
update_bigmapstringstring_00.tzt | -rw-r--r-- | 261 bytes |
update_bigmapstringstring_01.tzt | -rw-r--r-- | 289 bytes |
update_bigmapstringstring_02.tzt | -rw-r--r-- | 289 bytes |
update_bigmapstringstring_03.tzt | -rw-r--r-- | 269 bytes |
update_bigmapstringstring_04.tzt | -rw-r--r-- | 269 bytes |
update_bigmapstringstring_05.tzt | -rw-r--r-- | 269 bytes |
update_bigmapstringstring_06.tzt | -rw-r--r-- | 269 bytes |
update_bigmapstringstring_07.tzt | -rw-r--r-- | 361 bytes |
update_mapintint_00.tzt | -rw-r--r-- | 171 bytes |
update_mapintint_01.tzt | -rw-r--r-- | 187 bytes |
update_setint_00.tzt | -rw-r--r-- | 158 bytes |
update_setint_01.tzt | -rw-r--r-- | 154 bytes |
update_setint_02.tzt | -rw-r--r-- | 161 bytes |
xor_bool-bool_00.tzt | -rw-r--r-- | 101 bytes |
xor_bool-bool_01.tzt | -rw-r--r-- | 103 bytes |
xor_bool-bool_02.tzt | -rw-r--r-- | 101 bytes |
xor_bool-bool_03.tzt | -rw-r--r-- | 101 bytes |
xor_bytes-bytes_00.tzt | -rw-r--r-- | 103 bytes |
xor_bytes-bytes_01.tzt | -rw-r--r-- | 109 bytes |
xor_bytes-bytes_02.tzt | -rw-r--r-- | 103 bytes |
xor_bytes-bytes_03.tzt | -rw-r--r-- | 101 bytes |
xor_bytes-bytes_04.tzt | -rw-r--r-- | 103 bytes |
xor_bytes-bytes_05.tzt | -rw-r--r-- | 109 bytes |
xor_bytes-bytes_06.tzt | -rw-r--r-- | 107 bytes |
xor_nat-nat_00.tzt | -rw-r--r-- | 88 bytes |
xor_nat-nat_01.tzt | -rw-r--r-- | 88 bytes |
xor_nat-nat_02.tzt | -rw-r--r-- | 88 bytes |
xor_nat-nat_03.tzt | -rw-r--r-- | 88 bytes |
xor_nat-nat_04.tzt | -rw-r--r-- | 88 bytes |
xor_nat-nat_05.tzt | -rw-r--r-- | 91 bytes |
xor_nat-nat_06.tzt | -rw-r--r-- | 91 bytes |
Computing file changes ...