https://gitlab.com/tezos/tezos
Tip revision: f82a40e7473a9274ad2086d8424eff49ab3ecab6 authored by Julien Tesson on 23 August 2023, 16:47:25 UTC
WIP
WIP
Tip revision: f82a40e
File | Mode | Size |
---|---|---|
abs.tz | -rw-r--r-- | 117 bytes |
add.tz | -rw-r--r-- | 734 bytes |
add_bls12_381_fr.tz | -rw-r--r-- | 128 bytes |
add_bls12_381_g1.tz | -rw-r--r-- | 128 bytes |
add_bls12_381_g2.tz | -rw-r--r-- | 128 bytes |
add_delta_timestamp.tz | -rw-r--r-- | 124 bytes |
add_timestamp_delta.tz | -rw-r--r-- | 124 bytes |
address.tz | -rw-r--r-- | 101 bytes |
amount_after_fib_view.tz | -rw-r--r-- | 490 bytes |
amount_after_nonexistent_view.tz | -rw-r--r-- | 505 bytes |
amount_after_view.tz | -rw-r--r-- | 502 bytes |
and.tz | -rw-r--r-- | 174 bytes |
and_binary.tz | -rw-r--r-- | 749 bytes |
and_bytes_016.tz | -rw-r--r-- | 540 bytes |
and_logical_1.tz | -rw-r--r-- | 103 bytes |
balance.tz | -rw-r--r-- | 74 bytes |
balance_after_fib_view.tz | -rw-r--r-- | 493 bytes |
balance_after_nonexistent_view.tz | -rw-r--r-- | 505 bytes |
balance_after_view.tz | -rw-r--r-- | 503 bytes |
big_map_mem_nat.tz | -rw-r--r-- | 260 bytes |
big_map_mem_string.tz | -rw-r--r-- | 266 bytes |
big_map_to_self.tz | -rw-r--r-- | 576 bytes |
bls12_381_fr_push_bytes_not_padded.tz | -rw-r--r-- | 153 bytes |
bls12_381_fr_push_nat.tz | -rw-r--r-- | 151 bytes |
bls12_381_fr_to_int.tz | -rw-r--r-- | 110 bytes |
bls12_381_fr_to_mutez.tz | -rw-r--r-- | 179 bytes |
bls12_381_fr_z_int.tz | -rw-r--r-- | 115 bytes |
bls12_381_fr_z_nat.tz | -rw-r--r-- | 115 bytes |
bls12_381_z_fr_int.tz | -rw-r--r-- | 128 bytes |
bls12_381_z_fr_nat.tz | -rw-r--r-- | 128 bytes |
bytes.tz | -rw-r--r-- | 327 bytes |
bytes_of_int_016.tz | -rw-r--r-- | 1.1 KB |
bytes_of_nat_016.tz | -rw-r--r-- | 505 bytes |
car.tz | -rw-r--r-- | 90 bytes |
cdr.tz | -rw-r--r-- | 90 bytes |
chain_id.tz | -rw-r--r-- | 80 bytes |
chain_id_store.tz | -rw-r--r-- | 94 bytes |
check_signature.tz | -rw-r--r-- | 215 bytes |
comb-get.tz | -rw-r--r-- | 640 bytes |
comb-literals.tz | -rw-r--r-- | 286 bytes |
comb-set-2.tz | -rw-r--r-- | 348 bytes |
comb-set.tz | -rw-r--r-- | 325 bytes |
comb.tz | -rw-r--r-- | 162 bytes |
compare.tz | -rw-r--r-- | 2.1 KB |
compare_big_type.tz | -rw-r--r-- | 574 bytes |
compare_big_type2.tz | -rw-r--r-- | 636 bytes |
comparisons.tz | -rw-r--r-- | 390 bytes |
concat_hello.tz | -rw-r--r-- | 132 bytes |
concat_hello_bytes.tz | -rw-r--r-- | 118 bytes |
concat_list.tz | -rw-r--r-- | 164 bytes |
cons.tz | -rw-r--r-- | 80 bytes |
contains_all.tz | -rw-r--r-- | 366 bytes |
contract.tz | -rw-r--r-- | 162 bytes |
create_contract.tz | -rw-r--r-- | 492 bytes |
create_contract_rootname.tz | -rw-r--r-- | 536 bytes |
create_contract_rootname_alt.tz | -rw-r--r-- | 501 bytes |
create_contract_with_view.tz | -rw-r--r-- | 548 bytes |
diff_timestamps.tz | -rw-r--r-- | 110 bytes |
dig_eq.tz | -rw-r--r-- | 727 bytes |
dign.tz | -rw-r--r-- | 185 bytes |
dip.tz | -rw-r--r-- | 145 bytes |
dipn.tz | -rw-r--r-- | 197 bytes |
dropn.tz | -rw-r--r-- | 150 bytes |
dugn.tz | -rw-r--r-- | 177 bytes |
dup-n.tz | -rw-r--r-- | 360 bytes |
ediv.tz | -rw-r--r-- | 594 bytes |
ediv_mutez.tz | -rw-r--r-- | 369 bytes |
emit.tz | -rw-r--r-- | 359 bytes |
empty_map.tz | -rw-r--r-- | 178 bytes |
exec_concat.tz | -rw-r--r-- | 210 bytes |
fact.tz | -rw-r--r-- | 772 bytes |
first.tz | -rw-r--r-- | 95 bytes |
get_and_update_big_map.tz | -rw-r--r-- | 169 bytes |
get_and_update_map.tz | -rw-r--r-- | 165 bytes |
get_big_map_value.tz | -rw-r--r-- | 309 bytes |
get_map_value.tz | -rw-r--r-- | 135 bytes |
hash_consistency_checker.tz | -rw-r--r-- | 114 bytes |
hash_key.tz | -rw-r--r-- | 90 bytes |
hash_string.tz | -rw-r--r-- | 82 bytes |
if.tz | -rw-r--r-- | 117 bytes |
if_some.tz | -rw-r--r-- | 105 bytes |
int.tz | -rw-r--r-- | 179 bytes |
iter_fail.tz | -rw-r--r-- | 147 bytes |
keccak.tz | -rw-r--r-- | 105 bytes |
left_right.tz | -rw-r--r-- | 123 bytes |
level.tz | -rw-r--r-- | 70 bytes |
list_concat.tz | -rw-r--r-- | 100 bytes |
list_concat_bytes.tz | -rw-r--r-- | 98 bytes |
list_id.tz | -rw-r--r-- | 80 bytes |
list_id_map.tz | -rw-r--r-- | 88 bytes |
list_iter.tz | -rw-r--r-- | 114 bytes |
list_map_block.tz | -rw-r--r-- | 162 bytes |
list_size.tz | -rw-r--r-- | 73 bytes |
loop_failwith.tz | -rw-r--r-- | 142 bytes |
loop_left.tz | -rw-r--r-- | 321 bytes |
loop_left_failwith.tz | -rw-r--r-- | 159 bytes |
lsl_bytes_016.tz | -rw-r--r-- | 671 bytes |
lsr_bytes_016.tz | -rw-r--r-- | 743 bytes |
map_car.tz | -rw-r--r-- | 154 bytes |
map_id.tz | -rw-r--r-- | 84 bytes |
map_iter.tz | -rw-r--r-- | 301 bytes |
map_map.tz | -rw-r--r-- | 237 bytes |
map_map_sideeffect.tz | -rw-r--r-- | 430 bytes |
map_mem_nat.tz | -rw-r--r-- | 256 bytes |
map_mem_string.tz | -rw-r--r-- | 262 bytes |
map_size.tz | -rw-r--r-- | 79 bytes |
merge_comparable_pairs.tz | -rw-r--r-- | 321 bytes |
mul.tz | -rw-r--r-- | 993 bytes |
mul_bls12_381_fr.tz | -rw-r--r-- | 128 bytes |
mul_bls12_381_g1.tz | -rw-r--r-- | 128 bytes |
mul_bls12_381_g2.tz | -rw-r--r-- | 128 bytes |
mul_overflow.tz | -rw-r--r-- | 375 bytes |
munch.tz | -rw-r--r-- | 465 bytes |
mutez_to_bls12_381_fr.tz | -rw-r--r-- | 219 bytes |
neg.tz | -rw-r--r-- | 125 bytes |
neg_bls12_381_fr.tz | -rw-r--r-- | 100 bytes |
neg_bls12_381_g1.tz | -rw-r--r-- | 100 bytes |
neg_bls12_381_g2.tz | -rw-r--r-- | 100 bytes |
none.tz | -rw-r--r-- | 85 bytes |
noop.tz | -rw-r--r-- | 63 bytes |
not.tz | -rw-r--r-- | 83 bytes |
not_binary.tz | -rw-r--r-- | 192 bytes |
not_bytes_016.tz | -rw-r--r-- | 362 bytes |
or.tz | -rw-r--r-- | 115 bytes |
or_binary.tz | -rw-r--r-- | 230 bytes |
or_bytes_016.tz | -rw-r--r-- | 536 bytes |
originate_big_map.tz | -rw-r--r-- | 90 bytes |
packunpack.tz | -rw-r--r-- | 263 bytes |
packunpack_rev.tz | -rw-r--r-- | 1.6 KB |
packunpack_rev_cty.tz | -rw-r--r-- | 1.9 KB |
pair_id.tz | -rw-r--r-- | 101 bytes |
pairing_check.tz | -rw-r--r-- | 127 bytes |
pexec.tz | -rw-r--r-- | 162 bytes |
pexec_2.tz | -rw-r--r-- | 354 bytes |
proxy.tz | -rw-r--r-- | 344 bytes |
ret_int.tz | -rw-r--r-- | 92 bytes |
reverse.tz | -rw-r--r-- | 127 bytes |
reverse_loop.tz | -rw-r--r-- | 216 bytes |
sapling_empty_state.tz | -rw-r--r-- | 103 bytes |
self.tz | -rw-r--r-- | 89 bytes |
self_address.tz | -rw-r--r-- | 210 bytes |
self_address_after_fib_view.tz | -rw-r--r-- | 504 bytes |
self_address_after_nonexistent_view.tz | -rw-r--r-- | 503 bytes |
self_address_after_view.tz | -rw-r--r-- | 513 bytes |
self_after_fib_view.tz | -rw-r--r-- | 519 bytes |
self_after_nonexistent_view.tz | -rw-r--r-- | 526 bytes |
self_after_view.tz | -rw-r--r-- | 528 bytes |
self_with_default_entrypoint.tz | -rw-r--r-- | 635 bytes |
self_with_entrypoint.tz | -rw-r--r-- | 1.1 KB |
sender.tz | -rw-r--r-- | 107 bytes |
sender_after_fib_view.tz | -rw-r--r-- | 492 bytes |
sender_after_nonexistent_view.tz | -rw-r--r-- | 489 bytes |
sender_after_view.tz | -rw-r--r-- | 501 bytes |
set_car.tz | -rw-r--r-- | 117 bytes |
set_cdr.tz | -rw-r--r-- | 114 bytes |
set_delegate.tz | -rw-r--r-- | 146 bytes |
set_id.tz | -rw-r--r-- | 82 bytes |
set_iter.tz | -rw-r--r-- | 100 bytes |
set_member.tz | -rw-r--r-- | 151 bytes |
set_size.tz | -rw-r--r-- | 72 bytes |
sets.tz | -rw-r--r-- | 969 bytes |
sha3.tz | -rw-r--r-- | 103 bytes |
shifts.tz | -rw-r--r-- | 516 bytes |
slice.tz | -rw-r--r-- | 160 bytes |
slice_bytes.tz | -rw-r--r-- | 158 bytes |
slices.tz | -rw-r--r-- | 771 bytes |
source.tz | -rw-r--r-- | 108 bytes |
split_bytes.tz | -rw-r--r-- | 538 bytes |
split_string.tz | -rw-r--r-- | 542 bytes |
store_bls12_381_fr.tz | -rw-r--r-- | 95 bytes |
store_bls12_381_g1.tz | -rw-r--r-- | 95 bytes |
store_bls12_381_g2.tz | -rw-r--r-- | 95 bytes |
store_input.tz | -rw-r--r-- | 67 bytes |
store_now.tz | -rw-r--r-- | 74 bytes |
str_id.tz | -rw-r--r-- | 87 bytes |
sub_timestamp_delta.tz | -rw-r--r-- | 109 bytes |
subset.tz | -rw-r--r-- | 499 bytes |
tez_add_sub.tz | -rw-r--r-- | 203 bytes |
ticket_bad.tz | -rw-r--r-- | 175 bytes |
ticket_big_store.tz | -rw-r--r-- | 159 bytes |
ticket_join.tz | -rw-r--r-- | 187 bytes |
ticket_read.tz | -rw-r--r-- | 241 bytes |
ticket_split.tz | -rw-r--r-- | 290 bytes |
ticket_store-2.tz | -rw-r--r-- | 103 bytes |
ticket_store.tz | -rw-r--r-- | 101 bytes |
ticketer-2.tz | -rw-r--r-- | 297 bytes |
ticketer.tz | -rw-r--r-- | 284 bytes |
transfer_amount.tz | -rw-r--r-- | 75 bytes |
transfer_tokens.tz | -rw-r--r-- | 157 bytes |
uncomb.tz | -rw-r--r-- | 187 bytes |
unpair.tz | -rw-r--r-- | 2.1 KB |
unpair_field_annotation_mismatch.tz | -rw-r--r-- | 239 bytes |
update_big_map.tz | -rw-r--r-- | 246 bytes |
utxo_read.tz | -rw-r--r-- | 255 bytes |
utxor.tz | -rw-r--r-- | 765 bytes |
view_fib.tz | -rw-r--r-- | 157 bytes |
view_mutual_recursion.tz | -rw-r--r-- | 185 bytes |
view_op_add.tz | -rw-r--r-- | 131 bytes |
view_op_constant.tz | -rw-r--r-- | 132 bytes |
view_op_id.tz | -rw-r--r-- | 153 bytes |
view_op_nonexistent_addr.tz | -rw-r--r-- | 237 bytes |
view_op_nonexistent_func.tz | -rw-r--r-- | 171 bytes |
view_op_test_step_contants.tz | -rw-r--r-- | 265 bytes |
view_op_toplevel_inconsistent_input_type.tz | -rw-r--r-- | 154 bytes |
view_op_toplevel_inconsistent_output_type.tz | -rw-r--r-- | 163 bytes |
view_rec.tz | -rw-r--r-- | 263 bytes |
view_toplevel_lib.tz | -rw-r--r-- | 1.5 KB |
voting_power.tz | -rw-r--r-- | 246 bytes |
xor.tz | -rw-r--r-- | 269 bytes |
xor_bytes_016.tz | -rw-r--r-- | 539 bytes |