https://gitlab.com/tezos/tezos
Tip revision: b8670bee2d7354a2cc337802f9c632c3063e8273 authored by Hans Hoglund on 02 February 2022, 09:51:58 UTC
tmp
tmp
Tip revision: b8670be
File | Mode | Size |
---|---|---|
contracts | ||
coq-of-ocaml | ||
test | ||
.ocamlformat | -rw-r--r-- | 398 bytes |
TEZOS_PROTOCOL | -rw-r--r-- | 3.6 KB |
alpha_context.ml | -rw-r--r-- | 12.5 KB |
alpha_context.mli | -rw-r--r-- | 69.1 KB |
alpha_services.ml | -rw-r--r-- | 7.3 KB |
alpha_services.mli | -rw-r--r-- | 3.4 KB |
amendment.ml | -rw-r--r-- | 11.3 KB |
amendment.mli | -rw-r--r-- | 4.2 KB |
apply.ml | -rw-r--r-- | 103.3 KB |
apply.mli | -rw-r--r-- | 9.4 KB |
apply_results.ml | -rw-r--r-- | 64.1 KB |
apply_results.mli | -rw-r--r-- | 10.6 KB |
baking.ml | -rw-r--r-- | 5.6 KB |
baking.mli | -rw-r--r-- | 3.1 KB |
blinded_public_key_hash.ml | -rw-r--r-- | 2.7 KB |
blinded_public_key_hash.mli | -rw-r--r-- | 2.6 KB |
block_header_repr.ml | -rw-r--r-- | 17.3 KB |
block_header_repr.mli | -rw-r--r-- | 5.7 KB |
block_payload_hash.ml | -rw-r--r-- | 2.2 KB |
block_payload_hash.mli | -rw-r--r-- | 2.0 KB |
block_payload_repr.ml | -rw-r--r-- | 2.6 KB |
block_payload_repr.mli | -rw-r--r-- | 2.6 KB |
bootstrap_storage.ml | -rw-r--r-- | 5.2 KB |
bootstrap_storage.mli | -rw-r--r-- | 2.3 KB |
cache_memory_helpers.ml | -rw-r--r-- | 5.5 KB |
cache_repr.ml | -rw-r--r-- | 8.6 KB |
cache_repr.mli | -rw-r--r-- | 9.6 KB |
carbonated_map.ml | -rw-r--r-- | 6.7 KB |
carbonated_map.mli | -rw-r--r-- | 5.9 KB |
carbonated_map_costs.ml | -rw-r--r-- | 3.9 KB |
carbonated_map_costs.mli | -rw-r--r-- | 2.8 KB |
commitment_repr.ml | -rw-r--r-- | 2.2 KB |
commitment_repr.mli | -rw-r--r-- | 2.0 KB |
commitment_storage.ml | -rw-r--r-- | 2.7 KB |
commitment_storage.mli | -rw-r--r-- | 2.6 KB |
constants_repr.ml | -rw-r--r-- | 26.7 KB |
constants_repr.mli | -rw-r--r-- | 8.1 KB |
constants_services.ml | -rw-r--r-- | 2.8 KB |
constants_services.mli | -rw-r--r-- | 2.1 KB |
constants_storage.ml | -rw-r--r-- | 5.8 KB |
constants_storage.mli | -rw-r--r-- | 4.0 KB |
contract_delegate_storage.ml | -rw-r--r-- | 3.9 KB |
contract_delegate_storage.mli | -rw-r--r-- | 4.4 KB |
contract_hash.ml | -rw-r--r-- | 2.2 KB |
contract_hash.mli | -rw-r--r-- | 2.0 KB |
contract_manager_storage.ml | -rw-r--r-- | 5.7 KB |
contract_manager_storage.mli | -rw-r--r-- | 3.3 KB |
contract_repr.ml | -rw-r--r-- | 6.9 KB |
contract_repr.mli | -rw-r--r-- | 4.1 KB |
contract_services.ml | -rw-r--r-- | 19.5 KB |
contract_services.mli | -rw-r--r-- | 4.0 KB |
contract_storage.ml | -rw-r--r-- | 23.7 KB |
contract_storage.mli | -rw-r--r-- | 7.6 KB |
cycle_repr.ml | -rw-r--r-- | 3.2 KB |
cycle_repr.mli | -rw-r--r-- | 2.5 KB |
delegate_activation_storage.ml | -rw-r--r-- | 4.2 KB |
delegate_activation_storage.mli | -rw-r--r-- | 2.3 KB |
delegate_services.ml | -rw-r--r-- | 18.0 KB |
delegate_services.mli | -rw-r--r-- | 4.1 KB |
delegate_storage.ml | -rw-r--r-- | 35.6 KB |
delegate_storage.mli | -rw-r--r-- | 9.3 KB |
dune | l--------- | 44 bytes |
dune-project | -rw-r--r-- | 86 bytes |
dune.inc | -rw-r--r-- | 27.0 KB |
entrypoint_repr.ml | -rw-r--r-- | 7.5 KB |
entrypoint_repr.mli | -rw-r--r-- | 4.7 KB |
fees_storage.ml | -rw-r--r-- | 5.6 KB |
fees_storage.mli | -rw-r--r-- | 4.9 KB |
fitness_repr.ml | -rw-r--r-- | 10.4 KB |
fitness_repr.mli | -rw-r--r-- | 4.0 KB |
fixed_point_repr.ml | -rw-r--r-- | 3.1 KB |
fixed_point_repr.mli | -rw-r--r-- | 3.6 KB |
frozen_deposits_storage.ml | -rw-r--r-- | 3.1 KB |
frozen_deposits_storage.mli | -rw-r--r-- | 2.6 KB |
gas_limit_repr.ml | -rw-r--r-- | 6.2 KB |
gas_limit_repr.mli | -rw-r--r-- | 4.9 KB |
gas_monad.ml | -rw-r--r-- | 3.8 KB |
gas_monad.mli | -rw-r--r-- | 3.8 KB |
global_constants_costs.ml | -rw-r--r-- | 2.6 KB |
global_constants_costs.mli | -rw-r--r-- | 2.3 KB |
global_constants_storage.ml | -rw-r--r-- | 11.2 KB |
global_constants_storage.mli | -rw-r--r-- | 6.9 KB |
init_storage.ml | -rw-r--r-- | 6.0 KB |
init_storage.mli | -rw-r--r-- | 2.7 KB |
lazy_storage_diff.ml | -rw-r--r-- | 14.4 KB |
lazy_storage_diff.mli | -rw-r--r-- | 3.1 KB |
lazy_storage_kind.ml | -rw-r--r-- | 9.7 KB |
lazy_storage_kind.mli | -rw-r--r-- | 5.6 KB |
level_repr.ml | -rw-r--r-- | 11.9 KB |
level_repr.mli | -rw-r--r-- | 5.3 KB |
level_storage.ml | -rw-r--r-- | 5.0 KB |
level_storage.mli | -rw-r--r-- | 3.5 KB |
liquidity_baking_cpmm.ml | -rw-r--r-- | 9.2 KB |
liquidity_baking_lqt.ml | -rw-r--r-- | 3.8 KB |
liquidity_baking_migration.ml | -rw-r--r-- | 9.6 KB |
liquidity_baking_migration.mli | -rw-r--r-- | 2.1 KB |
liquidity_baking_repr.ml | -rw-r--r-- | 3.6 KB |
liquidity_baking_repr.mli | -rw-r--r-- | 2.3 KB |
local_gas_counter.ml | -rw-r--r-- | 4.5 KB |
main.ml | -rw-r--r-- | 27.7 KB |
main.mli | -rw-r--r-- | 6.4 KB |
manager_repr.ml | -rw-r--r-- | 2.5 KB |
manager_repr.mli | -rw-r--r-- | 2.4 KB |
michelson_v1_gas.ml | -rw-r--r-- | 59.0 KB |
michelson_v1_gas.mli | -rw-r--r-- | 11.8 KB |
michelson_v1_primitives.ml | -rw-r--r-- | 24.8 KB |
michelson_v1_primitives.mli | -rw-r--r-- | 5.9 KB |
migration_repr.ml | -rw-r--r-- | 3.1 KB |
migration_repr.mli | -rw-r--r-- | 2.4 KB |
misc.ml | -rw-r--r-- | 4.1 KB |
misc.mli | -rw-r--r-- | 2.6 KB |
non_empty_string.ml | -rw-r--r-- | 2.1 KB |
non_empty_string.mli | -rw-r--r-- | 2.3 KB |
nonce_hash.ml | -rw-r--r-- | 2.2 KB |
nonce_hash.mli | -rw-r--r-- | 2.1 KB |
nonce_storage.ml | -rw-r--r-- | 5.4 KB |
nonce_storage.mli | -rw-r--r-- | 2.7 KB |
operation_repr.ml | -rw-r--r-- | 43.1 KB |
operation_repr.mli | -rw-r--r-- | 13.4 KB |
origination_nonce.ml | -rw-r--r-- | 2.6 KB |
origination_nonce.mli | -rw-r--r-- | 2.5 KB |
parameters_repr.ml | -rw-r--r-- | 5.2 KB |
parameters_repr.mli | -rw-r--r-- | 2.9 KB |
path_encoding.ml | -rw-r--r-- | 2.4 KB |
path_encoding.mli | -rw-r--r-- | 2.5 KB |
period_repr.ml | -rw-r--r-- | 5.4 KB |
period_repr.mli | -rw-r--r-- | 3.1 KB |
raw_context.ml | -rw-r--r-- | 44.1 KB |
raw_context.mli | -rw-r--r-- | 11.5 KB |
raw_context_intf.ml | -rw-r--r-- | 15.1 KB |
raw_level_repr.ml | -rw-r--r-- | 3.7 KB |
raw_level_repr.mli | -rw-r--r-- | 2.9 KB |
receipt_repr.ml | -rw-r--r-- | 15.7 KB |
receipt_repr.mli | -rw-r--r-- | 4.1 KB |
roll_repr_legacy.ml | -rw-r--r-- | 2.5 KB |
roll_repr_legacy.mli | -rw-r--r-- | 2.2 KB |
roll_storage_legacy.ml | -rw-r--r-- | 14.9 KB |
roll_storage_legacy.mli | -rw-r--r-- | 7.2 KB |
round_repr.ml | -rw-r--r-- | 15.2 KB |
round_repr.mli | -rw-r--r-- | 9.7 KB |
sampler.ml | -rw-r--r-- | 6.9 KB |
sampler.mli | -rw-r--r-- | 4.4 KB |
sapling_repr.ml | -rw-r--r-- | 7.6 KB |
sapling_services.ml | -rw-r--r-- | 4.3 KB |
sapling_storage.ml | -rw-r--r-- | 19.0 KB |
sapling_validator.ml | -rw-r--r-- | 5.2 KB |
saturation_repr.ml | -rw-r--r-- | 5.4 KB |
saturation_repr.mli | -rw-r--r-- | 7.8 KB |
sc_rollup_arith.ml | -rw-r--r-- | 2.0 KB |
sc_rollup_arith.mli | -rw-r--r-- | 2.1 KB |
sc_rollup_inbox.ml | -rw-r--r-- | 3.8 KB |
sc_rollup_inbox.mli | -rw-r--r-- | 2.7 KB |
sc_rollup_operations.ml | -rw-r--r-- | 2.1 KB |
sc_rollup_operations.mli | -rw-r--r-- | 2.3 KB |
sc_rollup_repr.ml | -rw-r--r-- | 5.6 KB |
sc_rollup_repr.mli | -rw-r--r-- | 3.5 KB |
sc_rollup_storage.ml | -rw-r--r-- | 3.3 KB |
sc_rollup_storage.mli | -rw-r--r-- | 3.2 KB |
sc_rollups.ml | -rw-r--r-- | 2.9 KB |
sc_rollups.mli | -rw-r--r-- | 3.1 KB |
script_cache.ml | -rw-r--r-- | 4.8 KB |
script_cache.mli | -rw-r--r-- | 4.1 KB |
script_comparable.ml | -rw-r--r-- | 4.9 KB |
script_comparable.mli | -rw-r--r-- | 2.1 KB |
script_expr_hash.ml | -rw-r--r-- | 2.2 KB |
script_expr_hash.mli | -rw-r--r-- | 2.1 KB |
script_int_repr.ml | -rw-r--r-- | 4.5 KB |
script_int_repr.mli | -rw-r--r-- | 6.3 KB |
script_interpreter.ml | -rw-r--r-- | 70.7 KB |
script_interpreter.mli | -rw-r--r-- | 6.2 KB |
script_interpreter_defs.ml | -rw-r--r-- | 29.6 KB |
script_ir_annot.ml | -rw-r--r-- | 13.2 KB |
script_ir_annot.mli | -rw-r--r-- | 5.2 KB |
script_ir_translator.ml | -rw-r--r-- | 260.7 KB |
script_ir_translator.mli | -rw-r--r-- | 15.3 KB |
script_list.ml | -rw-r--r-- | 2.1 KB |
script_list.mli | -rw-r--r-- | 2.1 KB |
script_map.ml | -rw-r--r-- | 3.8 KB |
script_map.mli | -rw-r--r-- | 2.6 KB |
script_repr.ml | -rw-r--r-- | 12.7 KB |
script_repr.mli | -rw-r--r-- | 5.6 KB |
script_set.ml | -rw-r--r-- | 3.3 KB |
script_set.mli | -rw-r--r-- | 2.3 KB |
script_string_repr.ml | -rw-r--r-- | 3.7 KB |
script_string_repr.mli | -rw-r--r-- | 2.4 KB |
script_tc_context.ml | -rw-r--r-- | 3.1 KB |
script_tc_context.mli | -rw-r--r-- | 3.7 KB |
script_tc_errors.ml | -rw-r--r-- | 7.1 KB |
script_tc_errors_registration.ml | -rw-r--r-- | 31.9 KB |
script_tc_errors_registration.mli | -rw-r--r-- | 2.1 KB |
script_timestamp_repr.ml | -rw-r--r-- | 3.0 KB |
script_timestamp_repr.mli | -rw-r--r-- | 3.4 KB |
script_typed_ir.ml | -rw-r--r-- | 85.6 KB |
script_typed_ir.mli | -rw-r--r-- | 57.6 KB |
script_typed_ir_size.ml | -rw-r--r-- | 32.9 KB |
script_typed_ir_size.mli | -rw-r--r-- | 3.8 KB |
script_typed_ir_size_costs.ml | -rw-r--r-- | 2.2 KB |
script_typed_ir_size_costs.mli | -rw-r--r-- | 2.1 KB |
seed_repr.ml | -rw-r--r-- | 5.4 KB |
seed_repr.mli | -rw-r--r-- | 4.5 KB |
seed_storage.ml | -rw-r--r-- | 5.4 KB |
seed_storage.mli | -rw-r--r-- | 2.6 KB |
services_registration.ml | -rw-r--r-- | 4.8 KB |
services_registration.mli | -rw-r--r-- | 4.3 KB |
slot_repr.ml | -rw-r--r-- | 5.0 KB |
slot_repr.mli | -rw-r--r-- | 3.5 KB |
stake_storage.ml | -rw-r--r-- | 13.5 KB |
stake_storage.mli | -rw-r--r-- | 4.7 KB |
state_hash.ml | -rw-r--r-- | 2.2 KB |
state_hash.mli | -rw-r--r-- | 2.1 KB |
storage.ml | -rw-r--r-- | 45.4 KB |
storage.mli | -rw-r--r-- | 23.4 KB |
storage_costs.ml | -rw-r--r-- | 2.5 KB |
storage_costs.mli | -rw-r--r-- | 2.2 KB |
storage_description.ml | -rw-r--r-- | 13.0 KB |
storage_description.mli | -rw-r--r-- | 4.1 KB |
storage_functors.ml | -rw-r--r-- | 33.6 KB |
storage_functors.mli | -rw-r--r-- | 4.5 KB |
storage_sigs.ml | -rw-r--r-- | 14.6 KB |
tez_repr.ml | -rw-r--r-- | 9.5 KB |
tez_repr.mli | -rw-r--r-- | 3.0 KB |
tezos-embedded-protocol-alpha.opam | -rw-r--r-- | 739 bytes |
tezos-protocol-alpha-tests.opam | -rw-r--r-- | 1.1 KB |
tezos-protocol-alpha.opam | -rw-r--r-- | 661 bytes |
tezos-protocol-functor-alpha.opam | -rw-r--r-- | 734 bytes |
ticket_balance_key.ml | -rw-r--r-- | 3.5 KB |
ticket_balance_key.mli | -rw-r--r-- | 2.4 KB |
ticket_costs.ml | -rw-r--r-- | 3.3 KB |
ticket_costs.mli | -rw-r--r-- | 3.1 KB |
ticket_hash_repr.ml | -rw-r--r-- | 3.6 KB |
ticket_hash_repr.mli | -rw-r--r-- | 2.9 KB |
ticket_lazy_storage_diff.ml | -rw-r--r-- | 11.0 KB |
ticket_lazy_storage_diff.mli | -rw-r--r-- | 2.2 KB |
ticket_scanner.ml | -rw-r--r-- | 19.5 KB |
ticket_scanner.mli | -rw-r--r-- | 4.7 KB |
ticket_storage.ml | -rw-r--r-- | 3.8 KB |
ticket_storage.mli | -rw-r--r-- | 3.0 KB |
ticket_token.ml | -rw-r--r-- | 2.3 KB |
ticket_token.mli | -rw-r--r-- | 2.6 KB |
time_repr.ml | -rw-r--r-- | 3.3 KB |
time_repr.mli | -rw-r--r-- | 2.8 KB |
token.ml | -rw-r--r-- | 12.1 KB |
token.mli | -rw-r--r-- | 7.0 KB |
tx_rollup_repr.ml | -rw-r--r-- | 4.8 KB |
tx_rollup_repr.mli | -rw-r--r-- | 3.1 KB |
tx_rollup_services.ml | -rw-r--r-- | 2.6 KB |
tx_rollup_services.mli | -rw-r--r-- | 2.1 KB |
tx_rollup_storage.ml | -rw-r--r-- | 2.4 KB |
tx_rollup_storage.mli | -rw-r--r-- | 2.4 KB |
vote_repr.ml | -rw-r--r-- | 2.3 KB |
vote_repr.mli | -rw-r--r-- | 2.1 KB |
vote_storage.ml | -rw-r--r-- | 7.1 KB |
vote_storage.mli | -rw-r--r-- | 4.9 KB |
voting_period_repr.ml | -rw-r--r-- | 6.0 KB |
voting_period_repr.mli | -rw-r--r-- | 4.0 KB |
voting_period_storage.ml | -rw-r--r-- | 7.8 KB |
voting_period_storage.mli | -rw-r--r-- | 3.0 KB |
voting_services.ml | -rw-r--r-- | 6.3 KB |
voting_services.mli | -rw-r--r-- | 2.8 KB |