File | Mode | Size |
---|---|---|
coq-of-ocaml | ||
.ocamlformat | -rw-r--r-- | 398 bytes |
.ocamlformat-ignore | -rw-r--r-- | 2.9 KB |
TEZOS_PROTOCOL | -rw-r--r-- | 2.3 KB |
alpha_context.ml | -rw-r--r-- | 8.8 KB |
alpha_context.mli | -rw-r--r-- | 41.4 KB |
alpha_services.ml | -rw-r--r-- | 5.0 KB |
alpha_services.mli | -rw-r--r-- | 2.6 KB |
amendment.ml | -rw-r--r-- | 11.2 KB |
amendment.mli | -rw-r--r-- | 4.1 KB |
apply.ml | -rw-r--r-- | 61.9 KB |
apply.mli | -rw-r--r-- | 5.1 KB |
apply_results.ml | -rw-r--r-- | 47.2 KB |
apply_results.mli | -rw-r--r-- | 8.2 KB |
baking.ml | -rw-r--r-- | 17.1 KB |
baking.mli | -rw-r--r-- | 7.0 KB |
blinded_public_key_hash.ml | -rw-r--r-- | 2.7 KB |
blinded_public_key_hash.mli | -rw-r--r-- | 2.2 KB |
block_header_repr.ml | -rw-r--r-- | 5.2 KB |
block_header_repr.mli | -rw-r--r-- | 2.9 KB |
bootstrap_storage.ml | -rw-r--r-- | 6.1 KB |
bootstrap_storage.mli | -rw-r--r-- | 2.3 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.2 KB |
commitment_storage.mli | -rw-r--r-- | 2.2 KB |
constants_repr.ml | -rw-r--r-- | 16.9 KB |
constants_repr.mli | -rw-r--r-- | 4.9 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.1 KB |
constants_storage.mli | -rw-r--r-- | 3.6 KB |
contract_hash.ml | -rw-r--r-- | 2.2 KB |
contract_hash.mli | -rw-r--r-- | 2.0 KB |
contract_repr.ml | -rw-r--r-- | 8.0 KB |
contract_repr.mli | -rw-r--r-- | 3.4 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-- | 28.2 KB |
contract_storage.mli | -rw-r--r-- | 6.2 KB |
cycle_repr.ml | -rw-r--r-- | 3.1 KB |
cycle_repr.mli | -rw-r--r-- | 2.4 KB |
delegate_services.ml | -rw-r--r-- | 25.6 KB |
delegate_services.mli | -rw-r--r-- | 6.9 KB |
delegate_storage.ml | -rw-r--r-- | 21.8 KB |
delegate_storage.mli | -rw-r--r-- | 6.5 KB |
dune | l--------- | 44 bytes |
dune-project | -rw-r--r-- | 93 bytes |
dune.inc | -rw-r--r-- | 18.5 KB |
fees_storage.ml | -rw-r--r-- | 5.6 KB |
fees_storage.mli | -rw-r--r-- | 2.9 KB |
fitness_repr.ml | -rw-r--r-- | 3.0 KB |
fitness_repr.mli | -rw-r--r-- | 2.0 KB |
fitness_storage.ml | -rw-r--r-- | 2.0 KB |
fitness_storage.mli | -rw-r--r-- | 2.0 KB |
fixed_point_repr.ml | -rw-r--r-- | 3.1 KB |
fixed_point_repr.mli | -rw-r--r-- | 3.1 KB |
gas_limit_repr.ml | -rw-r--r-- | 6.1 KB |
gas_limit_repr.mli | -rw-r--r-- | 2.7 KB |
init_storage.ml | -rw-r--r-- | 5.8 KB |
init_storage.mli | -rw-r--r-- | 2.6 KB |
lazy_storage_diff.ml | -rw-r--r-- | 12.9 KB |
lazy_storage_diff.mli | -rw-r--r-- | 3.2 KB |
lazy_storage_kind.ml | -rw-r--r-- | 10.3 KB |
lazy_storage_kind.mli | -rw-r--r-- | 5.8 KB |
level_repr.ml | -rw-r--r-- | 9.8 KB |
level_repr.mli | -rw-r--r-- | 4.6 KB |
level_storage.ml | -rw-r--r-- | 4.4 KB |
level_storage.mli | -rw-r--r-- | 3.0 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-- | 8.9 KB |
liquidity_baking_migration.mli | -rw-r--r-- | 2.2 KB |
liquidity_baking_repr.ml | -rw-r--r-- | 3.6 KB |
liquidity_baking_repr.mli | -rw-r--r-- | 2.3 KB |
main.ml | -rw-r--r-- | 16.3 KB |
main.mli | -rw-r--r-- | 3.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-- | 56.1 KB |
michelson_v1_gas.mli | -rw-r--r-- | 12.2 KB |
michelson_v1_primitives.ml | -rw-r--r-- | 25.5 KB |
michelson_v1_primitives.mli | -rw-r--r-- | 4.8 KB |
migration_repr.ml | -rw-r--r-- | 3.1 KB |
migration_repr.mli | -rw-r--r-- | 2.4 KB |
misc.ml | -rw-r--r-- | 3.9 KB |
misc.mli | -rw-r--r-- | 2.5 KB |
nonce_hash.ml | -rw-r--r-- | 2.2 KB |
nonce_hash.mli | -rw-r--r-- | 2.0 KB |
nonce_storage.ml | -rw-r--r-- | 5.2 KB |
nonce_storage.mli | -rw-r--r-- | 2.6 KB |
operation_repr.ml | -rw-r--r-- | 28.9 KB |
operation_repr.mli | -rw-r--r-- | 8.8 KB |
parameters_repr.ml | -rw-r--r-- | 5.1 KB |
parameters_repr.mli | -rw-r--r-- | 2.5 KB |
period_repr.ml | -rw-r--r-- | 5.2 KB |
period_repr.mli | -rw-r--r-- | 2.8 KB |
raw_context.ml | -rw-r--r-- | 36.6 KB |
raw_context.mli | -rw-r--r-- | 7.3 KB |
raw_context_intf.ml | -rw-r--r-- | 9.5 KB |
raw_level_repr.ml | -rw-r--r-- | 3.4 KB |
raw_level_repr.mli | -rw-r--r-- | 2.6 KB |
receipt_repr.ml | -rw-r--r-- | 6.2 KB |
receipt_repr.mli | -rw-r--r-- | 2.9 KB |
roll_repr.ml | -rw-r--r-- | 2.6 KB |
roll_repr.mli | -rw-r--r-- | 2.2 KB |
roll_storage.ml | -rw-r--r-- | 20.6 KB |
roll_storage.mli | -rw-r--r-- | 10.3 KB |
sapling_repr.ml | -rw-r--r-- | 4.1 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.3 KB |
saturation_repr.mli | -rw-r--r-- | 7.5 KB |
script_expr_hash.ml | -rw-r--r-- | 2.2 KB |
script_expr_hash.mli | -rw-r--r-- | 2.0 KB |
script_int_repr.ml | -rw-r--r-- | 3.1 KB |
script_int_repr.mli | -rw-r--r-- | 5.7 KB |
script_interpreter.ml | -rw-r--r-- | 62.4 KB |
script_interpreter.mli | -rw-r--r-- | 5.2 KB |
script_interpreter_defs.ml | -rw-r--r-- | 32.7 KB |
script_ir_annot.ml | -rw-r--r-- | 18.7 KB |
script_ir_annot.mli | -rw-r--r-- | 7.1 KB |
script_ir_translator.ml | -rw-r--r-- | 270.2 KB |
script_ir_translator.mli | -rw-r--r-- | 11.9 KB |
script_repr.ml | -rw-r--r-- | 10.8 KB |
script_repr.mli | -rw-r--r-- | 3.0 KB |
script_tc_errors.ml | -rw-r--r-- | 6.3 KB |
script_tc_errors_registration.ml | -rw-r--r-- | 30.4 KB |
script_tc_errors_registration.mli | -rw-r--r-- | 2.2 KB |
script_timestamp_repr.ml | -rw-r--r-- | 2.6 KB |
script_timestamp_repr.mli | -rw-r--r-- | 2.4 KB |
script_typed_ir.ml | -rw-r--r-- | 63.1 KB |
seed_repr.ml | -rw-r--r-- | 4.8 KB |
seed_repr.mli | -rw-r--r-- | 4.0 KB |
seed_storage.ml | -rw-r--r-- | 5.6 KB |
seed_storage.mli | -rw-r--r-- | 2.6 KB |
services_registration.ml | -rw-r--r-- | 4.5 KB |
services_registration.mli | -rw-r--r-- | 3.6 KB |
state_hash.ml | -rw-r--r-- | 2.2 KB |
state_hash.mli | -rw-r--r-- | 2.0 KB |
storage.ml | -rw-r--r-- | 33.6 KB |
storage.mli | -rw-r--r-- | 16.0 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-- | 12.9 KB |
storage_description.mli | -rw-r--r-- | 3.9 KB |
storage_functors.ml | -rw-r--r-- | 33.2 KB |
storage_functors.mli | -rw-r--r-- | 4.2 KB |
storage_sigs.ml | -rw-r--r-- | 13.8 KB |
tez_repr.ml | -rw-r--r-- | 8.4 KB |
tez_repr.mli | -rw-r--r-- | 2.7 KB |
tezos-embedded-protocol-010-PtGRANAD.opam | -rw-r--r-- | 753 bytes |
tezos-protocol-010-PtGRANAD.opam | -rw-r--r-- | 668 bytes |
tezos-protocol-functor-010-PtGRANAD.opam | -rw-r--r-- | 748 bytes |
time_repr.ml | -rw-r--r-- | 3.1 KB |
time_repr.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.1 KB |
voting_services.mli | -rw-r--r-- | 2.8 KB |