├── .gitignore ├── .gitmodules ├── Dockerfile ├── INSTALL.md ├── Jenkinsfile ├── LICENSE ├── Makefile ├── README.md ├── USER_GUIDE.md ├── _config.yml ├── common.md ├── compat.md ├── coverage.xml ├── ext └── tezos-utils │ ├── .gitignore │ ├── README.md │ ├── scripts │ └── build-tests.sh │ ├── tests │ ├── if.tz │ ├── input │ │ ├── if.tz │ │ ├── nested_if.tz │ │ ├── simple.tz │ │ ├── test.tz │ │ └── unit.tz │ ├── nested_if.tz │ ├── output │ │ ├── if.dot │ │ ├── nested_if.dot │ │ ├── simple.dot │ │ ├── test.dot │ │ └── unit.dot │ ├── simple.tz │ ├── test.tz │ └── unit.tz │ └── tezos-utils ├── hooks └── time.cpp ├── kmich ├── lib ├── addresses.txt ├── check-exit-code ├── combine.py ├── decode-michelson-operation.py ├── driver.md ├── extract-group.py ├── kast-dexter.kscript ├── kast-lb.kscript ├── kast-prove.kscript ├── originate.py ├── run-tezos.sh └── tezos-client-unit-test ├── loop-invariants.md ├── media ├── 201911-presentation-michelson-semantics.md ├── citations.md ├── ieee.csl └── img │ ├── github-verified-contracts-screenshot.png │ ├── k-overview.png │ ├── michelson-spec-complex.png │ └── michelson-spec-simple.png ├── michelson.md ├── pretty-syntax.md ├── syntax.md ├── tests ├── README.md ├── contracts │ └── sum-to-n.tzt ├── coverage │ ├── bigmap_empty.tzt │ ├── blake2bdrop.tzt │ ├── dropn_toomuch.tzt │ ├── empty_bigmap.tzt │ ├── empty_others.tzt │ ├── hash_key.tzt │ ├── id_sig.tzt │ ├── id_unit_semicolon.tzt │ ├── iter_typeerror.tzt │ ├── loopleft_inconsistent.tzt │ ├── macro-1.tzt │ ├── macro-10.tzt │ ├── macro-11.tzt │ ├── macro-12.tzt │ ├── macro-2.tzt │ ├── macro-3.tzt │ ├── macro-4.tzt │ ├── macro-5.tzt │ ├── macro-6.tzt │ ├── macro-7.tzt │ ├── macro-8.tzt │ ├── macro-9.tzt │ ├── malformed_twocodes.tzt │ ├── malformed_twocontracts.tzt │ ├── map_contents_typeerror.tzt │ ├── map_typeerror.tzt │ ├── packunpack.tzt │ ├── setdelegate_wrongtype.tzt │ ├── sha256drop.tzt │ ├── sha512drop.tzt │ └── timestamp_illtyped.tzt ├── examples │ ├── simple_v1.tzt │ ├── simple_v2.tzt │ ├── simple_v3.tzt │ ├── simple_v4.tzt │ ├── simple_v5.tzt │ ├── simple_v6.tzt │ └── simple_v7.tzt ├── failing.cross ├── failing.prove ├── failing.symbolic ├── failing.unit ├── lib │ └── abs.tzt ├── macros │ ├── cdar_00.tzt │ ├── cdar_01.tzt │ ├── cmpeq_00.tzt │ ├── diip_00.tzt │ ├── dupn_00.tzt │ ├── dupn_01.tzt │ ├── duup_00.tzt │ ├── duup_01.tzt │ ├── ifcmpeq.tzt │ ├── ifright_orintstring_00.tzt │ ├── ifright_orstringint_00.tzt │ ├── ifsome_optionint_00.tzt │ ├── ifsome_optionint_01.tzt │ ├── mapcdar_00.tzt │ ├── mapcdar_01.tzt │ ├── pair_00.tzt │ ├── setcdar_00.tzt │ ├── setcdar_01.tzt │ └── unpair_00.tzt ├── multi │ ├── include_00.tzt │ ├── include_01.tzt │ ├── include_02.tzt │ ├── include_03.tzt │ ├── simple_00.tzt │ ├── simple_01.tzt │ ├── simple_02.tzt │ └── simple_03.fail.tzt ├── obsolete │ ├── dip.m │ ├── dip.m.expected │ ├── entry_example.tz │ ├── failwith.m │ ├── failwith.m.expected │ ├── iffalse.m │ ├── iffalse.m.expected │ ├── iftrue.m │ ├── iftrue.m.expected │ ├── list-to-n.tz │ ├── loopfalse.m │ ├── loopfalse.m.expected │ ├── loopleftleft.m │ ├── loopleftleft.m.expected │ ├── looptrue.m │ ├── looptrue.m.expected │ ├── pairs_example.tz │ ├── sum-list.tz │ ├── sum-map.tz │ ├── sum-set.tz │ ├── sum-to-n.tz │ ├── template.m │ ├── updatefalse.m │ ├── updatefalse.m.expected │ ├── updatetrue.m │ └── updatetrue.m.expected ├── proofs │ ├── add-spec.k │ ├── dexter │ │ ├── dexter-compiled.md │ │ ├── dexter-properties.md │ │ ├── dexter-spec.md │ │ └── dexter.md │ ├── lemmas.md │ ├── liquidity-baking │ │ ├── README.md │ │ ├── build-docs │ │ ├── lb-compiled.md │ │ ├── lb-properties.md │ │ ├── lb-spec.md │ │ ├── lb.md │ │ ├── rv-logo.png │ │ ├── template.tex │ │ └── title-image.png │ ├── listsum-spec.k │ ├── lqt │ │ ├── lqt-compiled.md │ │ ├── lqt-properties.md │ │ ├── lqt-spec.md │ │ └── lqt.md │ ├── multisig-spec.md │ ├── pretty-spec.md │ ├── return-spec.k │ ├── sum-simple-spec.k │ ├── sum-to-n-2-spec.k │ ├── sum-to-n-spec.k │ └── vote-spec.k ├── symbolic │ ├── add-parity.tzt │ ├── compare │ │ ├── address.tzt │ │ ├── bool.tzt │ │ ├── bytes.tzt │ │ ├── int.tzt │ │ ├── key_hash.tzt │ │ ├── mutez.tzt │ │ ├── nat.tzt │ │ ├── pair.tzt │ │ ├── string.tzt │ │ └── timestamp.tzt │ ├── count-wrong.fail.tzt │ ├── count.tzt │ ├── illtyped.stuck.tzt │ ├── lambda-deterministic.fail.tzt │ ├── lambda-deterministic.tzt │ ├── loop-parity.tzt │ ├── map_update_00.tzt │ ├── map_update_01.tzt │ ├── match │ │ ├── address.tzt │ │ ├── big_map.tzt │ │ ├── bool.tzt │ │ ├── bytes.tzt │ │ ├── chain_id.tzt │ │ ├── contract.tzt │ │ ├── int.tzt │ │ ├── key.tzt │ │ ├── key_hash.tzt │ │ ├── lambda.tzt │ │ ├── list.tzt │ │ ├── map.tzt │ │ ├── mutez.tzt │ │ ├── nat.tzt │ │ ├── operation.tzt │ │ ├── option.tzt │ │ ├── or.tzt │ │ ├── pair.tzt │ │ ├── set.tzt │ │ ├── signature.tzt │ │ ├── string.tzt │ │ ├── timestamp.tzt │ │ └── unit.tzt │ ├── more.tzt │ ├── mul-zero.tzt │ ├── option-no-match.stuck.tzt │ ├── option.tzt │ ├── pair-deconstruct.tzt │ ├── pair.tzt │ ├── set_update_00.tzt │ ├── set_update_01.tzt │ ├── simple-wrong.fail.tzt │ ├── simple.tzt │ ├── small-loop.tzt │ ├── stop.stuck.tzt │ ├── sum-to-n-2.tzt │ ├── sum-to-n.tzt │ ├── times2.tzt │ ├── union.tzt │ └── vote │ │ ├── vote_int.tzt │ │ ├── vote_int_alt.tzt │ │ └── vote_string.tzt └── unit │ ├── abs_00.tzt │ ├── abs_01.tzt │ ├── abs_02.tzt │ ├── add_int-int_00.tzt │ ├── add_int-nat_00.tzt │ ├── add_int-nat_01.tzt │ ├── add_int-timestamp_00.tzt │ ├── add_mutez-mutez_00.tzt │ ├── add_mutez-mutez_01.tzt │ ├── add_nat-int_00.tzt │ ├── add_nat-nat_00.tzt │ ├── add_timestamp-int_00.tzt │ ├── add_timestamp-int_01.tzt │ ├── add_timestamp-int_02.tzt │ ├── add_timestamp-int_03.tzt │ ├── address_00.tzt │ ├── address_01.tzt │ ├── address_02.tzt │ ├── amount_00.tzt │ ├── and_bool-bool_00.tzt │ ├── and_bool-bool_01.tzt │ ├── and_bool-bool_02.tzt │ ├── and_bool-bool_03.tzt │ ├── and_nat-nat_00.tzt │ ├── and_nat-nat_01.tzt │ ├── and_nat-nat_02.tzt │ ├── and_nat-nat_03.tzt │ ├── and_nat-nat_04.tzt │ ├── apply_00.tzt │ ├── balance_00.tzt │ ├── car_00.tzt │ ├── car_01.tzt │ ├── cdr_00.tzt │ ├── cdr_01.tzt │ ├── chain_id_00.tzt │ ├── chain_id_01.tzt │ ├── compare_bool_00.tzt │ ├── compare_bool_01.tzt │ ├── compare_bool_02.tzt │ ├── compare_bool_03.tzt │ ├── compare_bytes_00.tzt │ ├── compare_bytes_01.tzt │ ├── compare_bytes_02.tzt │ ├── compare_bytes_03.tzt │ ├── compare_bytes_04.tzt │ ├── compare_int_00.tzt │ ├── compare_int_01.tzt │ ├── compare_int_02.tzt │ ├── compare_int_03.tzt │ ├── compare_int_04.tzt │ ├── compare_keyhash_00.tzt │ ├── compare_keyhash_01.tzt │ ├── compare_keyhash_02.tzt │ ├── compare_mutez_00.tzt │ ├── compare_mutez_01.tzt │ ├── compare_mutez_02.tzt │ ├── compare_mutez_03.tzt │ ├── compare_mutez_04.tzt │ ├── compare_mutez_05.tzt │ ├── compare_nat_00.tzt │ ├── compare_nat_01.tzt │ ├── compare_nat_02.tzt │ ├── compare_nat_03.tzt │ ├── compare_nat_04.tzt │ ├── compare_nat_05.tzt │ ├── compare_pairintint_00.tzt │ ├── compare_pairintint_01.tzt │ ├── compare_pairintint_02.tzt │ ├── compare_pairintint_03.tzt │ ├── compare_string_00.tzt │ ├── compare_string_01.tzt │ ├── compare_string_02.tzt │ ├── compare_string_03.tzt │ ├── compare_string_04.tzt │ ├── compare_timestamp_00.tzt │ ├── compare_timestamp_01.tzt │ ├── compare_timestamp_02.tzt │ ├── compare_timestamp_03.tzt │ ├── compare_timestamp_04.tzt │ ├── compare_timestamp_05.tzt │ ├── concat_bytes_00.tzt │ ├── concat_bytes_01.tzt │ ├── concat_listbytes_00.tzt │ ├── concat_listbytes_01.tzt │ ├── concat_listbytes_02.tzt │ ├── concat_liststring_00.tzt │ ├── concat_liststring_01.tzt │ ├── concat_liststring_02.tzt │ ├── concat_liststring_03.tzt │ ├── concat_liststring_04.tzt │ ├── concat_string_00.tzt │ ├── concat_string_01.tzt │ ├── concat_string_02.tzt │ ├── cons_int_00.tzt │ ├── cons_int_01.tzt │ ├── cons_int_02.tzt │ ├── cons_string_00.tzt │ ├── contract_00.tzt │ ├── contract_01.tzt │ ├── contract_02.tzt │ ├── contract_03.tzt │ ├── contract_04.tzt │ ├── contract_05.tzt │ ├── contract_06.tzt │ ├── contract_07.tzt │ ├── contract_08.tzt │ ├── createcontract_00.tzt │ ├── createcontract_01.tzt │ ├── dig_00.tzt │ ├── dig_01.tzt │ ├── dig_02.tzt │ ├── dig_03.tzt │ ├── dig_04.tzt │ ├── dip_00.tzt │ ├── dip_01.tzt │ ├── dip_02.tzt │ ├── dipn_00.tzt │ ├── drop_00.tzt │ ├── dropn_00.tzt │ ├── dropn_01.tzt │ ├── dugn_00.tzt │ ├── ediv_int-int_00.tzt │ ├── ediv_int-int_01.tzt │ ├── ediv_int-int_02.tzt │ ├── ediv_int-int_03.tzt │ ├── ediv_mutez-mutez_00.tzt │ ├── ediv_mutez-mutez_01.tzt │ ├── ediv_mutez-mutez_02.tzt │ ├── ediv_mutez-mutez_03.tzt │ ├── ediv_mutez-nat_00.tzt │ ├── ediv_mutez-nat_01.tzt │ ├── ediv_mutez-nat_02.tzt │ ├── ediv_mutez-nat_03.tzt │ ├── ediv_mutez-nat_04.tzt │ ├── ediv_mutez-nat_05.tzt │ ├── ediv_mutez-nat_06.tzt │ ├── emptybigmap_nat-nat_00.tzt │ ├── emptymap_nat-nat_00.tzt │ ├── emptymap_string-string_00.tzt │ ├── emptyset_nat_00.tzt │ ├── eq_00.tzt │ ├── eq_01.tzt │ ├── eq_02.tzt │ ├── eq_03.tzt │ ├── eq_04.tzt │ ├── exec_00.tzt │ ├── exec_01.tzt │ ├── exec_02.tzt │ ├── exec_03.tzt │ ├── failwith_00.tzt │ ├── ge_00.tzt │ ├── ge_01.tzt │ ├── ge_02.tzt │ ├── ge_03.tzt │ ├── ge_04.tzt │ ├── get_bigmapstringstring_00.tzt │ ├── get_bigmapstringstring_01.tzt │ ├── get_bigmapstringstring_02.tzt │ ├── get_mapintint_00.tzt │ ├── get_mapintint_01.tzt │ ├── get_mapstringstring_00.tzt │ ├── get_mapstringstring_01.tzt │ ├── get_mapstringstring_02.tzt │ ├── gt_00.tzt │ ├── gt_01.tzt │ ├── gt_02.tzt │ ├── gt_03.tzt │ ├── gt_04.tzt │ ├── if_00.tzt │ ├── if_01.tzt │ ├── ifcons_listint_00.tzt │ ├── ifcons_listint_01.tzt │ ├── ifcons_listnat_00.tzt │ ├── ifcons_listnat_01.tzt │ ├── ifleft_orintstring_00.tzt │ ├── ifleft_orstringint_00.tzt │ ├── ifnone_optionint_00.tzt │ ├── ifnone_optionnat_00.tzt │ ├── implicitaccount_00.tzt │ ├── int_nat_00.tzt │ ├── int_nat_01.tzt │ ├── isnat_00.tzt │ ├── isnat_01.tzt │ ├── iter_listint_00.tzt │ ├── iter_listint_01.tzt │ ├── iter_listint_02.tzt │ ├── iter_listint_03.tzt │ ├── iter_liststring_00.tzt │ ├── iter_liststring_01.tzt │ ├── iter_mapintint_00.tzt │ ├── iter_mapintint_01.tzt │ ├── iter_mapintint_02.tzt │ ├── iter_mapintint_03.tzt │ ├── iter_mapintint_04.tzt │ ├── iter_mapstringstring_00.tzt │ ├── iter_setint_00.tzt │ ├── iter_setint_01.tzt │ ├── iter_setint_02.tzt │ ├── iter_setstring_00.tzt │ ├── iter_setstring_01.tzt │ ├── iter_setstring_02.tzt │ ├── join_tickets_00.tzt │ ├── join_tickets_01.tzt │ ├── join_tickets_02.tzt │ ├── le_00.tzt │ ├── le_01.tzt │ ├── le_02.tzt │ ├── le_03.tzt │ ├── le_04.tzt │ ├── left_int-nat_00.tzt │ ├── loop_00.tzt │ ├── loop_01.tzt │ ├── loop_02.tzt │ ├── loopleft_00.tzt │ ├── loopleft_01.tzt │ ├── loopleft_02.tzt │ ├── loopleft_03.tzt │ ├── loopleft_04.tzt │ ├── lsl_00.tzt │ ├── lsl_01.tzt │ ├── lsl_02.tzt │ ├── lsl_03.tzt │ ├── lsl_04.tzt │ ├── lsl_05.tzt │ ├── lsl_06.tzt │ ├── lsr_00.tzt │ ├── lsr_01.tzt │ ├── lsr_02.tzt │ ├── lsr_03.tzt │ ├── lsr_04.tzt │ ├── lsr_05.tzt │ ├── lt_00.tzt │ ├── lt_01.tzt │ ├── lt_02.tzt │ ├── lt_03.tzt │ ├── lt_04.tzt │ ├── map_listint_00.tzt │ ├── map_listint_01.tzt │ ├── map_listint_02.tzt │ ├── map_listint_03.tzt │ ├── map_listint_04.tzt │ ├── map_listint_05.tzt │ ├── map_listint_06.tzt │ ├── map_liststring_00.tzt │ ├── map_liststring_01.tzt │ ├── map_liststring_02.tzt │ ├── map_liststring_04.tzt │ ├── map_liststring_05.tzt │ ├── map_liststring_06.tzt │ ├── map_liststring_07.tzt │ ├── map_liststring_08.tzt │ ├── map_mapintint_00.tzt │ ├── map_mapintint_01.tzt │ ├── map_mapintstring_00.tzt │ ├── map_mapintstring_01.tzt │ ├── map_mapstringnat_00.tzt │ ├── map_mapstringnat_01.tzt │ ├── map_mapstringnat_02.tzt │ ├── mem_bigmapnatnat_00.tzt │ ├── mem_bigmapnatnat_01.tzt │ ├── mem_bigmapnatnat_02.tzt │ ├── mem_bigmapnatnat_03.tzt │ ├── mem_bigmapnatnat_04.tzt │ ├── mem_bigmapnatnat_05.tzt │ ├── mem_bigmapstringnat_00.tzt │ ├── mem_bigmapstringnat_01.tzt │ ├── mem_bigmapstringnat_02.tzt │ ├── mem_bigmapstringnat_03.tzt │ ├── mem_bigmapstringnat_04.tzt │ ├── mem_bigmapstringnat_05.tzt │ ├── mem_mapintint_00.tzt │ ├── mem_mapnatnat_00.tzt │ ├── mem_mapnatnat_01.tzt │ ├── mem_mapnatnat_02.tzt │ ├── mem_mapnatnat_03.tzt │ ├── mem_mapnatnat_04.tzt │ ├── mem_mapnatnat_05.tzt │ ├── mem_mapstringnat_00.tzt │ ├── mem_mapstringnat_01.tzt │ ├── mem_mapstringnat_02.tzt │ ├── mem_mapstringnat_03.tzt │ ├── mem_mapstringnat_04.tzt │ ├── mem_mapstringnat_05.tzt │ ├── mem_setint_00.tzt │ ├── mem_setint_01.tzt │ ├── mem_setstring_00.tzt │ ├── mem_setstring_01.tzt │ ├── mem_setstring_02.tzt │ ├── mul_int-int_00.tzt │ ├── mul_int-nat_00.tzt │ ├── mul_mutez-nat_00.tzt │ ├── mul_mutez-nat_01.tzt │ ├── mul_nat-int_00.tzt │ ├── mul_nat-mutez_00.tzt │ ├── mul_nat-mutez_01.tzt │ ├── mul_nat-nat_00.tzt │ ├── neg_int_00.tzt │ ├── neg_int_01.tzt │ ├── neg_int_02.tzt │ ├── neg_nat_00.tzt │ ├── neg_nat_01.tzt │ ├── neq_00.tzt │ ├── neq_01.tzt │ ├── neq_02.tzt │ ├── neq_03.tzt │ ├── neq_04.tzt │ ├── nil_nat_00.tzt │ ├── none_int_00.tzt │ ├── none_pair-nat-string.tzt │ ├── not_bool_00.tzt │ ├── not_bool_01.tzt │ ├── not_int_00.tzt │ ├── not_nat_00.tzt │ ├── not_nat_01.tzt │ ├── not_nat_02.tzt │ ├── not_nat_03.tzt │ ├── not_nat_04.tzt │ ├── not_nat_05.tzt │ ├── not_nat_06.tzt │ ├── not_nat_07.tzt │ ├── now_00.tzt │ ├── or_bool-bool_00.tzt │ ├── or_bool-bool_01.tzt │ ├── or_bool-bool_02.tzt │ ├── or_bool-bool_03.tzt │ ├── or_nat-nat_00.tzt │ ├── or_nat-nat_01.tzt │ ├── or_nat-nat_02.tzt │ ├── or_nat-nat_03.tzt │ ├── or_nat-nat_04.tzt │ ├── or_nat-nat_05.tzt │ ├── or_nat-nat_06.tzt │ ├── packunpack_address_00.tzt │ ├── packunpack_bool_00.tzt │ ├── packunpack_bytes_00.tzt │ ├── packunpack_int_00.tzt │ ├── packunpack_keyhash_00.tzt │ ├── packunpack_mutez_00.tzt │ ├── packunpack_nat_00.tzt │ ├── packunpack_string_00.tzt │ ├── packunpack_timestamp_00.tzt │ ├── pair_int-int_00.tzt │ ├── pair_nat-string_00.tzt │ ├── pair_pair-nat-string-pair-string-nat_00.tzt │ ├── push_int_00.tzt │ ├── push_pair_00.tzt │ ├── push_pair_01.tzt │ ├── push_pair_02.tzt │ ├── push_pair_03.tzt │ ├── push_pair_04.tzt │ ├── push_string_00.tzt │ ├── read_ticket_00.tzt │ ├── right_nat-int_00.tzt │ ├── self_00.tzt │ ├── self_01.tzt │ ├── self_02.tzt │ ├── self_03.tzt │ ├── sender_00.tzt │ ├── setdelegate_00.tzt │ ├── size_bytes_00.tzt │ ├── size_listint_00.tzt │ ├── size_listint_01.tzt │ ├── size_listint_02.tzt │ ├── size_listint_03.tzt │ ├── size_mapintint_00.tzt │ ├── size_mapstringnat_00.tzt │ ├── size_mapstringnat_01.tzt │ ├── size_mapstringnat_02.tzt │ ├── size_mapstringnat_03.tzt │ ├── size_setint_00.tzt │ ├── size_setint_01.tzt │ ├── size_setint_02.tzt │ ├── size_setint_03.tzt │ ├── size_setstring_00.tzt │ ├── size_string_00.tzt │ ├── slice_bytes_00.tzt │ ├── slice_bytes_01.tzt │ ├── slice_bytes_02.tzt │ ├── slice_bytes_03.tzt │ ├── slice_bytes_04.tzt │ ├── slice_string_00.tzt │ ├── slice_string_01.tzt │ ├── slice_string_02.tzt │ ├── slice_string_03.tzt │ ├── slice_string_04.tzt │ ├── slice_string_05.tzt │ ├── some_int_00.tzt │ ├── some_pairintint_00.tzt │ ├── some_string_00.tzt │ ├── source_00.tzt │ ├── split_ticket_00.tzt │ ├── split_ticket_01.tzt │ ├── sub_int-int_00.tzt │ ├── sub_int-int_01.tzt │ ├── sub_mutez-mutez_00.tzt │ ├── sub_mutez-mutez_01.tzt │ ├── sub_timestamp-int_00.tzt │ ├── sub_timestamp-int_01.tzt │ ├── sub_timestamp-int_02.tzt │ ├── sub_timestamp-int_03.tzt │ ├── sub_timestamp-int_04.tzt │ ├── sub_timestamp-timestamp_00.tzt │ ├── sub_timestamp-timestamp_01.tzt │ ├── sub_timestamp-timestamp_02.tzt │ ├── sub_timestamp-timestamp_03.tzt │ ├── ticket_00.tzt │ ├── transfertokens_00.tzt │ ├── transfertokens_01.tzt │ ├── unit_00.tzt │ ├── unpair_pairstringstring_00.tzt │ ├── update_bigmapstringstring_00.tzt │ ├── update_bigmapstringstring_01.tzt │ ├── update_bigmapstringstring_02.tzt │ ├── update_bigmapstringstring_03.tzt │ ├── update_bigmapstringstring_04.tzt │ ├── update_bigmapstringstring_05.tzt │ ├── update_bigmapstringstring_06.tzt │ ├── update_bigmapstringstring_07.tzt │ ├── update_mapintint_00.tzt │ ├── update_mapintint_01.tzt │ ├── update_setint_00.tzt │ ├── update_setint_01.tzt │ ├── update_setint_02.tzt │ ├── xor_bool-bool_00.tzt │ ├── xor_bool-bool_01.tzt │ ├── xor_bool-bool_02.tzt │ ├── xor_bool-bool_03.tzt │ ├── xor_nat-nat_00.tzt │ ├── xor_nat-nat_01.tzt │ ├── xor_nat-nat_02.tzt │ ├── xor_nat-nat_03.tzt │ ├── xor_nat-nat_04.tzt │ ├── xor_nat-nat_05.tzt │ └── xor_nat-nat_06.tzt ├── types.md └── web ├── .gitignore ├── README.md ├── build-html.js ├── package-lock.json ├── package.json ├── public_content ├── .gitignore └── assets │ └── img │ ├── 404.png │ ├── 500.png │ ├── favicon.ico │ ├── hero │ ├── kerc20-hero-image.png │ ├── test-coverage-hero-image.png │ └── test-runner-hero-image.png │ ├── rv-logo-dark.png │ └── rv-logo.png ├── sitemap └── build-sitemap.js └── static_content └── html ├── 404.html ├── 500.html ├── include ├── footer.html ├── head.html ├── header.html └── sidebar.html └── page_template.html /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/.gitmodules -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/Dockerfile -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/INSTALL.md -------------------------------------------------------------------------------- /Jenkinsfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/Jenkinsfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/README.md -------------------------------------------------------------------------------- /USER_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/USER_GUIDE.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/_config.yml -------------------------------------------------------------------------------- /common.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/common.md -------------------------------------------------------------------------------- /compat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/compat.md -------------------------------------------------------------------------------- /coverage.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/coverage.xml -------------------------------------------------------------------------------- /ext/tezos-utils/.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__/ 2 | *.dotout 3 | -------------------------------------------------------------------------------- /ext/tezos-utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/README.md -------------------------------------------------------------------------------- /ext/tezos-utils/scripts/build-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/scripts/build-tests.sh -------------------------------------------------------------------------------- /ext/tezos-utils/tests/if.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/if.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/input/if.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/input/if.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/input/nested_if.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/input/nested_if.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/input/simple.tz: -------------------------------------------------------------------------------- 1 | DUP ; IF { ADD } { SUB } 2 | -------------------------------------------------------------------------------- /ext/tezos-utils/tests/input/test.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/input/test.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/input/unit.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/input/unit.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/nested_if.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/nested_if.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/output/if.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/output/if.dot -------------------------------------------------------------------------------- /ext/tezos-utils/tests/output/nested_if.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/output/nested_if.dot -------------------------------------------------------------------------------- /ext/tezos-utils/tests/output/simple.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/output/simple.dot -------------------------------------------------------------------------------- /ext/tezos-utils/tests/output/test.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/output/test.dot -------------------------------------------------------------------------------- /ext/tezos-utils/tests/output/unit.dot: -------------------------------------------------------------------------------- 1 | digraph Michelson { 2 | node [shape=rectangle] 3 | 0 [label="DROP 4 | UNIT 5 | NIL operation 6 | PAIR"] 7 | } 8 | -------------------------------------------------------------------------------- /ext/tezos-utils/tests/simple.tz: -------------------------------------------------------------------------------- 1 | DUP ; IF { ADD } { SUB } 2 | -------------------------------------------------------------------------------- /ext/tezos-utils/tests/test.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/test.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tests/unit.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tests/unit.tz -------------------------------------------------------------------------------- /ext/tezos-utils/tezos-utils: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/ext/tezos-utils/tezos-utils -------------------------------------------------------------------------------- /hooks/time.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/hooks/time.cpp -------------------------------------------------------------------------------- /kmich: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/kmich -------------------------------------------------------------------------------- /lib/addresses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/addresses.txt -------------------------------------------------------------------------------- /lib/check-exit-code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/check-exit-code -------------------------------------------------------------------------------- /lib/combine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/combine.py -------------------------------------------------------------------------------- /lib/decode-michelson-operation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/decode-michelson-operation.py -------------------------------------------------------------------------------- /lib/driver.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/driver.md -------------------------------------------------------------------------------- /lib/extract-group.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/extract-group.py -------------------------------------------------------------------------------- /lib/kast-dexter.kscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/kast-dexter.kscript -------------------------------------------------------------------------------- /lib/kast-lb.kscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/kast-lb.kscript -------------------------------------------------------------------------------- /lib/kast-prove.kscript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/kast-prove.kscript -------------------------------------------------------------------------------- /lib/originate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/originate.py -------------------------------------------------------------------------------- /lib/run-tezos.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/run-tezos.sh -------------------------------------------------------------------------------- /lib/tezos-client-unit-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/lib/tezos-client-unit-test -------------------------------------------------------------------------------- /loop-invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/loop-invariants.md -------------------------------------------------------------------------------- /media/201911-presentation-michelson-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/201911-presentation-michelson-semantics.md -------------------------------------------------------------------------------- /media/citations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/citations.md -------------------------------------------------------------------------------- /media/ieee.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/ieee.csl -------------------------------------------------------------------------------- /media/img/github-verified-contracts-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/img/github-verified-contracts-screenshot.png -------------------------------------------------------------------------------- /media/img/k-overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/img/k-overview.png -------------------------------------------------------------------------------- /media/img/michelson-spec-complex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/img/michelson-spec-complex.png -------------------------------------------------------------------------------- /media/img/michelson-spec-simple.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/media/img/michelson-spec-simple.png -------------------------------------------------------------------------------- /michelson.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/michelson.md -------------------------------------------------------------------------------- /pretty-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/pretty-syntax.md -------------------------------------------------------------------------------- /syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/syntax.md -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/contracts/sum-to-n.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/contracts/sum-to-n.tzt -------------------------------------------------------------------------------- /tests/coverage/bigmap_empty.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/bigmap_empty.tzt -------------------------------------------------------------------------------- /tests/coverage/blake2bdrop.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/blake2bdrop.tzt -------------------------------------------------------------------------------- /tests/coverage/dropn_toomuch.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/dropn_toomuch.tzt -------------------------------------------------------------------------------- /tests/coverage/empty_bigmap.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/empty_bigmap.tzt -------------------------------------------------------------------------------- /tests/coverage/empty_others.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/empty_others.tzt -------------------------------------------------------------------------------- /tests/coverage/hash_key.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/hash_key.tzt -------------------------------------------------------------------------------- /tests/coverage/id_sig.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/id_sig.tzt -------------------------------------------------------------------------------- /tests/coverage/id_unit_semicolon.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/id_unit_semicolon.tzt -------------------------------------------------------------------------------- /tests/coverage/iter_typeerror.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/iter_typeerror.tzt -------------------------------------------------------------------------------- /tests/coverage/loopleft_inconsistent.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/loopleft_inconsistent.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-1.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-1.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-10.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-10.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-11.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-11.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-12.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-12.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-2.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-2.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-3.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-3.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-4.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-4.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-5.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-5.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-6.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-6.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-7.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-7.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-8.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-8.tzt -------------------------------------------------------------------------------- /tests/coverage/macro-9.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/macro-9.tzt -------------------------------------------------------------------------------- /tests/coverage/malformed_twocodes.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/malformed_twocodes.tzt -------------------------------------------------------------------------------- /tests/coverage/malformed_twocontracts.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/malformed_twocontracts.tzt -------------------------------------------------------------------------------- /tests/coverage/map_contents_typeerror.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/map_contents_typeerror.tzt -------------------------------------------------------------------------------- /tests/coverage/map_typeerror.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/map_typeerror.tzt -------------------------------------------------------------------------------- /tests/coverage/packunpack.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/packunpack.tzt -------------------------------------------------------------------------------- /tests/coverage/setdelegate_wrongtype.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/setdelegate_wrongtype.tzt -------------------------------------------------------------------------------- /tests/coverage/sha256drop.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/sha256drop.tzt -------------------------------------------------------------------------------- /tests/coverage/sha512drop.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/sha512drop.tzt -------------------------------------------------------------------------------- /tests/coverage/timestamp_illtyped.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/coverage/timestamp_illtyped.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v1.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v1.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v2.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v2.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v3.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v3.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v4.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v4.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v5.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v5.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v6.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v6.tzt -------------------------------------------------------------------------------- /tests/examples/simple_v7.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/examples/simple_v7.tzt -------------------------------------------------------------------------------- /tests/failing.cross: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/failing.cross -------------------------------------------------------------------------------- /tests/failing.prove: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/failing.prove -------------------------------------------------------------------------------- /tests/failing.symbolic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/failing.symbolic -------------------------------------------------------------------------------- /tests/failing.unit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/failing.unit -------------------------------------------------------------------------------- /tests/lib/abs.tzt: -------------------------------------------------------------------------------- 1 | code { ABS } 2 | -------------------------------------------------------------------------------- /tests/macros/cdar_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/cdar_00.tzt -------------------------------------------------------------------------------- /tests/macros/cdar_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/cdar_01.tzt -------------------------------------------------------------------------------- /tests/macros/cmpeq_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/cmpeq_00.tzt -------------------------------------------------------------------------------- /tests/macros/diip_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/diip_00.tzt -------------------------------------------------------------------------------- /tests/macros/dupn_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/dupn_00.tzt -------------------------------------------------------------------------------- /tests/macros/dupn_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/dupn_01.tzt -------------------------------------------------------------------------------- /tests/macros/duup_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/duup_00.tzt -------------------------------------------------------------------------------- /tests/macros/duup_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/duup_01.tzt -------------------------------------------------------------------------------- /tests/macros/ifcmpeq.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/ifcmpeq.tzt -------------------------------------------------------------------------------- /tests/macros/ifright_orintstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/ifright_orintstring_00.tzt -------------------------------------------------------------------------------- /tests/macros/ifright_orstringint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/ifright_orstringint_00.tzt -------------------------------------------------------------------------------- /tests/macros/ifsome_optionint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/ifsome_optionint_00.tzt -------------------------------------------------------------------------------- /tests/macros/ifsome_optionint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/ifsome_optionint_01.tzt -------------------------------------------------------------------------------- /tests/macros/mapcdar_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/mapcdar_00.tzt -------------------------------------------------------------------------------- /tests/macros/mapcdar_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/mapcdar_01.tzt -------------------------------------------------------------------------------- /tests/macros/pair_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/pair_00.tzt -------------------------------------------------------------------------------- /tests/macros/setcdar_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/setcdar_00.tzt -------------------------------------------------------------------------------- /tests/macros/setcdar_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/setcdar_01.tzt -------------------------------------------------------------------------------- /tests/macros/unpair_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/macros/unpair_00.tzt -------------------------------------------------------------------------------- /tests/multi/include_00.tzt: -------------------------------------------------------------------------------- 1 | include-file "../unit/abs_00.tzt" 2 | -------------------------------------------------------------------------------- /tests/multi/include_01.tzt: -------------------------------------------------------------------------------- 1 | test "ABS" { 2 | include-file "../unit/abs_00.tzt" 3 | } 4 | -------------------------------------------------------------------------------- /tests/multi/include_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/include_02.tzt -------------------------------------------------------------------------------- /tests/multi/include_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/include_03.tzt -------------------------------------------------------------------------------- /tests/multi/simple_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/simple_00.tzt -------------------------------------------------------------------------------- /tests/multi/simple_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/simple_01.tzt -------------------------------------------------------------------------------- /tests/multi/simple_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/simple_02.tzt -------------------------------------------------------------------------------- /tests/multi/simple_03.fail.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/multi/simple_03.fail.tzt -------------------------------------------------------------------------------- /tests/obsolete/dip.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/dip.m -------------------------------------------------------------------------------- /tests/obsolete/dip.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/dip.m.expected -------------------------------------------------------------------------------- /tests/obsolete/entry_example.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/entry_example.tz -------------------------------------------------------------------------------- /tests/obsolete/failwith.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/failwith.m -------------------------------------------------------------------------------- /tests/obsolete/failwith.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/failwith.m.expected -------------------------------------------------------------------------------- /tests/obsolete/iffalse.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/iffalse.m -------------------------------------------------------------------------------- /tests/obsolete/iffalse.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/iffalse.m.expected -------------------------------------------------------------------------------- /tests/obsolete/iftrue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/iftrue.m -------------------------------------------------------------------------------- /tests/obsolete/iftrue.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/iftrue.m.expected -------------------------------------------------------------------------------- /tests/obsolete/list-to-n.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/list-to-n.tz -------------------------------------------------------------------------------- /tests/obsolete/loopfalse.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/loopfalse.m -------------------------------------------------------------------------------- /tests/obsolete/loopfalse.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/loopfalse.m.expected -------------------------------------------------------------------------------- /tests/obsolete/loopleftleft.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/loopleftleft.m -------------------------------------------------------------------------------- /tests/obsolete/loopleftleft.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/loopleftleft.m.expected -------------------------------------------------------------------------------- /tests/obsolete/looptrue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/looptrue.m -------------------------------------------------------------------------------- /tests/obsolete/looptrue.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/looptrue.m.expected -------------------------------------------------------------------------------- /tests/obsolete/pairs_example.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/pairs_example.tz -------------------------------------------------------------------------------- /tests/obsolete/sum-list.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/sum-list.tz -------------------------------------------------------------------------------- /tests/obsolete/sum-map.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/sum-map.tz -------------------------------------------------------------------------------- /tests/obsolete/sum-set.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/sum-set.tz -------------------------------------------------------------------------------- /tests/obsolete/sum-to-n.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/sum-to-n.tz -------------------------------------------------------------------------------- /tests/obsolete/template.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/template.m -------------------------------------------------------------------------------- /tests/obsolete/updatefalse.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/updatefalse.m -------------------------------------------------------------------------------- /tests/obsolete/updatefalse.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/updatefalse.m.expected -------------------------------------------------------------------------------- /tests/obsolete/updatetrue.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/updatetrue.m -------------------------------------------------------------------------------- /tests/obsolete/updatetrue.m.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/obsolete/updatetrue.m.expected -------------------------------------------------------------------------------- /tests/proofs/add-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/add-spec.k -------------------------------------------------------------------------------- /tests/proofs/dexter/dexter-compiled.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/dexter/dexter-compiled.md -------------------------------------------------------------------------------- /tests/proofs/dexter/dexter-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/dexter/dexter-properties.md -------------------------------------------------------------------------------- /tests/proofs/dexter/dexter-spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/dexter/dexter-spec.md -------------------------------------------------------------------------------- /tests/proofs/dexter/dexter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/dexter/dexter.md -------------------------------------------------------------------------------- /tests/proofs/lemmas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/lemmas.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/README.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/build-docs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/build-docs -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/lb-compiled.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/lb-compiled.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/lb-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/lb-properties.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/lb-spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/lb-spec.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/lb.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/lb.md -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/rv-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/rv-logo.png -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/template.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/template.tex -------------------------------------------------------------------------------- /tests/proofs/liquidity-baking/title-image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/liquidity-baking/title-image.png -------------------------------------------------------------------------------- /tests/proofs/listsum-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/listsum-spec.k -------------------------------------------------------------------------------- /tests/proofs/lqt/lqt-compiled.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/lqt/lqt-compiled.md -------------------------------------------------------------------------------- /tests/proofs/lqt/lqt-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/lqt/lqt-properties.md -------------------------------------------------------------------------------- /tests/proofs/lqt/lqt-spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/lqt/lqt-spec.md -------------------------------------------------------------------------------- /tests/proofs/lqt/lqt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/lqt/lqt.md -------------------------------------------------------------------------------- /tests/proofs/multisig-spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/multisig-spec.md -------------------------------------------------------------------------------- /tests/proofs/pretty-spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/pretty-spec.md -------------------------------------------------------------------------------- /tests/proofs/return-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/return-spec.k -------------------------------------------------------------------------------- /tests/proofs/sum-simple-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/sum-simple-spec.k -------------------------------------------------------------------------------- /tests/proofs/sum-to-n-2-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/sum-to-n-2-spec.k -------------------------------------------------------------------------------- /tests/proofs/sum-to-n-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/sum-to-n-spec.k -------------------------------------------------------------------------------- /tests/proofs/vote-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/proofs/vote-spec.k -------------------------------------------------------------------------------- /tests/symbolic/add-parity.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/add-parity.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/address.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/address.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/bool.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/bool.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/bytes.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/bytes.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/int.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/int.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/key_hash.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/key_hash.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/mutez.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/mutez.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/nat.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/nat.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/pair.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/pair.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/string.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/string.tzt -------------------------------------------------------------------------------- /tests/symbolic/compare/timestamp.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/compare/timestamp.tzt -------------------------------------------------------------------------------- /tests/symbolic/count-wrong.fail.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/count-wrong.fail.tzt -------------------------------------------------------------------------------- /tests/symbolic/count.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/count.tzt -------------------------------------------------------------------------------- /tests/symbolic/illtyped.stuck.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/illtyped.stuck.tzt -------------------------------------------------------------------------------- /tests/symbolic/lambda-deterministic.fail.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/lambda-deterministic.fail.tzt -------------------------------------------------------------------------------- /tests/symbolic/lambda-deterministic.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/lambda-deterministic.tzt -------------------------------------------------------------------------------- /tests/symbolic/loop-parity.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/loop-parity.tzt -------------------------------------------------------------------------------- /tests/symbolic/map_update_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/map_update_00.tzt -------------------------------------------------------------------------------- /tests/symbolic/map_update_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/map_update_01.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/address.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/address.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/big_map.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/big_map.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/bool.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/bool.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/bytes.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/bytes.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/chain_id.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/chain_id.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/contract.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/contract.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/int.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/int.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/key.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/key.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/key_hash.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/key_hash.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/lambda.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/lambda.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/list.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/list.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/map.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/map.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/mutez.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/mutez.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/nat.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/nat.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/operation.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/operation.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/option.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/option.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/or.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/or.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/pair.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/pair.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/set.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/set.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/signature.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/signature.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/string.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/string.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/timestamp.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/timestamp.tzt -------------------------------------------------------------------------------- /tests/symbolic/match/unit.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/match/unit.tzt -------------------------------------------------------------------------------- /tests/symbolic/more.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/more.tzt -------------------------------------------------------------------------------- /tests/symbolic/mul-zero.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/mul-zero.tzt -------------------------------------------------------------------------------- /tests/symbolic/option-no-match.stuck.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/option-no-match.stuck.tzt -------------------------------------------------------------------------------- /tests/symbolic/option.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/option.tzt -------------------------------------------------------------------------------- /tests/symbolic/pair-deconstruct.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/pair-deconstruct.tzt -------------------------------------------------------------------------------- /tests/symbolic/pair.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/pair.tzt -------------------------------------------------------------------------------- /tests/symbolic/set_update_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/set_update_00.tzt -------------------------------------------------------------------------------- /tests/symbolic/set_update_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/set_update_01.tzt -------------------------------------------------------------------------------- /tests/symbolic/simple-wrong.fail.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/simple-wrong.fail.tzt -------------------------------------------------------------------------------- /tests/symbolic/simple.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/simple.tzt -------------------------------------------------------------------------------- /tests/symbolic/small-loop.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/small-loop.tzt -------------------------------------------------------------------------------- /tests/symbolic/stop.stuck.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/stop.stuck.tzt -------------------------------------------------------------------------------- /tests/symbolic/sum-to-n-2.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/sum-to-n-2.tzt -------------------------------------------------------------------------------- /tests/symbolic/sum-to-n.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/sum-to-n.tzt -------------------------------------------------------------------------------- /tests/symbolic/times2.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/times2.tzt -------------------------------------------------------------------------------- /tests/symbolic/union.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/union.tzt -------------------------------------------------------------------------------- /tests/symbolic/vote/vote_int.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/vote/vote_int.tzt -------------------------------------------------------------------------------- /tests/symbolic/vote/vote_int_alt.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/vote/vote_int_alt.tzt -------------------------------------------------------------------------------- /tests/symbolic/vote/vote_string.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/symbolic/vote/vote_string.tzt -------------------------------------------------------------------------------- /tests/unit/abs_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/abs_00.tzt -------------------------------------------------------------------------------- /tests/unit/abs_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/abs_01.tzt -------------------------------------------------------------------------------- /tests/unit/abs_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/abs_02.tzt -------------------------------------------------------------------------------- /tests/unit/add_int-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_int-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_int-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_int-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_int-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_int-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/add_int-timestamp_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_int-timestamp_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_mutez-mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_mutez-mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_mutez-mutez_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_mutez-mutez_01.tzt -------------------------------------------------------------------------------- /tests/unit/add_nat-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_nat-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_timestamp-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_timestamp-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/add_timestamp-int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_timestamp-int_01.tzt -------------------------------------------------------------------------------- /tests/unit/add_timestamp-int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_timestamp-int_02.tzt -------------------------------------------------------------------------------- /tests/unit/add_timestamp-int_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/add_timestamp-int_03.tzt -------------------------------------------------------------------------------- /tests/unit/address_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/address_00.tzt -------------------------------------------------------------------------------- /tests/unit/address_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/address_01.tzt -------------------------------------------------------------------------------- /tests/unit/address_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/address_02.tzt -------------------------------------------------------------------------------- /tests/unit/amount_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/amount_00.tzt -------------------------------------------------------------------------------- /tests/unit/and_bool-bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_bool-bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/and_bool-bool_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_bool-bool_01.tzt -------------------------------------------------------------------------------- /tests/unit/and_bool-bool_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_bool-bool_02.tzt -------------------------------------------------------------------------------- /tests/unit/and_bool-bool_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_bool-bool_03.tzt -------------------------------------------------------------------------------- /tests/unit/and_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/and_nat-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_nat-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/and_nat-nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_nat-nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/and_nat-nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_nat-nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/and_nat-nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/and_nat-nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/apply_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/apply_00.tzt -------------------------------------------------------------------------------- /tests/unit/balance_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/balance_00.tzt -------------------------------------------------------------------------------- /tests/unit/car_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/car_00.tzt -------------------------------------------------------------------------------- /tests/unit/car_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/car_01.tzt -------------------------------------------------------------------------------- /tests/unit/cdr_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cdr_00.tzt -------------------------------------------------------------------------------- /tests/unit/cdr_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cdr_01.tzt -------------------------------------------------------------------------------- /tests/unit/chain_id_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/chain_id_00.tzt -------------------------------------------------------------------------------- /tests/unit/chain_id_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/chain_id_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bool_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bool_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bool_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bool_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bool_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bool_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bytes_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bytes_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bytes_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bytes_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bytes_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bytes_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_bytes_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_bytes_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_int_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_int_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_int_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_int_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_int_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_int_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_keyhash_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_keyhash_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_keyhash_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_keyhash_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_keyhash_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_keyhash_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_mutez_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_mutez_05.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_nat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_nat_05.tzt -------------------------------------------------------------------------------- /tests/unit/compare_pairintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_pairintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_pairintint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_pairintint_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_pairintint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_pairintint_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_pairintint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_pairintint_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_string_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_string_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_string_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_string_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_string_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_string_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_string_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_string_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_00.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_01.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_02.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_03.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_04.tzt -------------------------------------------------------------------------------- /tests/unit/compare_timestamp_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/compare_timestamp_05.tzt -------------------------------------------------------------------------------- /tests/unit/concat_bytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_bytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/concat_bytes_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_bytes_01.tzt -------------------------------------------------------------------------------- /tests/unit/concat_listbytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_listbytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/concat_listbytes_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_listbytes_01.tzt -------------------------------------------------------------------------------- /tests/unit/concat_listbytes_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_listbytes_02.tzt -------------------------------------------------------------------------------- /tests/unit/concat_liststring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_liststring_00.tzt -------------------------------------------------------------------------------- /tests/unit/concat_liststring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_liststring_01.tzt -------------------------------------------------------------------------------- /tests/unit/concat_liststring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_liststring_02.tzt -------------------------------------------------------------------------------- /tests/unit/concat_liststring_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_liststring_03.tzt -------------------------------------------------------------------------------- /tests/unit/concat_liststring_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_liststring_04.tzt -------------------------------------------------------------------------------- /tests/unit/concat_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/concat_string_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_string_01.tzt -------------------------------------------------------------------------------- /tests/unit/concat_string_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/concat_string_02.tzt -------------------------------------------------------------------------------- /tests/unit/cons_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cons_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/cons_int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cons_int_01.tzt -------------------------------------------------------------------------------- /tests/unit/cons_int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cons_int_02.tzt -------------------------------------------------------------------------------- /tests/unit/cons_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/cons_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/contract_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_00.tzt -------------------------------------------------------------------------------- /tests/unit/contract_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_01.tzt -------------------------------------------------------------------------------- /tests/unit/contract_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_02.tzt -------------------------------------------------------------------------------- /tests/unit/contract_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_03.tzt -------------------------------------------------------------------------------- /tests/unit/contract_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_04.tzt -------------------------------------------------------------------------------- /tests/unit/contract_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_05.tzt -------------------------------------------------------------------------------- /tests/unit/contract_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_06.tzt -------------------------------------------------------------------------------- /tests/unit/contract_07.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_07.tzt -------------------------------------------------------------------------------- /tests/unit/contract_08.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/contract_08.tzt -------------------------------------------------------------------------------- /tests/unit/createcontract_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/createcontract_00.tzt -------------------------------------------------------------------------------- /tests/unit/createcontract_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/createcontract_01.tzt -------------------------------------------------------------------------------- /tests/unit/dig_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dig_00.tzt -------------------------------------------------------------------------------- /tests/unit/dig_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dig_01.tzt -------------------------------------------------------------------------------- /tests/unit/dig_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dig_02.tzt -------------------------------------------------------------------------------- /tests/unit/dig_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dig_03.tzt -------------------------------------------------------------------------------- /tests/unit/dig_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dig_04.tzt -------------------------------------------------------------------------------- /tests/unit/dip_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dip_00.tzt -------------------------------------------------------------------------------- /tests/unit/dip_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dip_01.tzt -------------------------------------------------------------------------------- /tests/unit/dip_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dip_02.tzt -------------------------------------------------------------------------------- /tests/unit/dipn_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dipn_00.tzt -------------------------------------------------------------------------------- /tests/unit/drop_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/drop_00.tzt -------------------------------------------------------------------------------- /tests/unit/dropn_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dropn_00.tzt -------------------------------------------------------------------------------- /tests/unit/dropn_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dropn_01.tzt -------------------------------------------------------------------------------- /tests/unit/dugn_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/dugn_00.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_int-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_int-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_int-int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_int-int_01.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_int-int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_int-int_02.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_int-int_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_int-int_03.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-mutez_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-mutez_01.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-mutez_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-mutez_02.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-mutez_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-mutez_03.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_05.tzt -------------------------------------------------------------------------------- /tests/unit/ediv_mutez-nat_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ediv_mutez-nat_06.tzt -------------------------------------------------------------------------------- /tests/unit/emptybigmap_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/emptybigmap_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/emptymap_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/emptymap_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/emptymap_string-string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/emptymap_string-string_00.tzt -------------------------------------------------------------------------------- /tests/unit/emptyset_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/emptyset_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/eq_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/eq_00.tzt -------------------------------------------------------------------------------- /tests/unit/eq_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/eq_01.tzt -------------------------------------------------------------------------------- /tests/unit/eq_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/eq_02.tzt -------------------------------------------------------------------------------- /tests/unit/eq_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/eq_03.tzt -------------------------------------------------------------------------------- /tests/unit/eq_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/eq_04.tzt -------------------------------------------------------------------------------- /tests/unit/exec_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/exec_00.tzt -------------------------------------------------------------------------------- /tests/unit/exec_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/exec_01.tzt -------------------------------------------------------------------------------- /tests/unit/exec_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/exec_02.tzt -------------------------------------------------------------------------------- /tests/unit/exec_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/exec_03.tzt -------------------------------------------------------------------------------- /tests/unit/failwith_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/failwith_00.tzt -------------------------------------------------------------------------------- /tests/unit/ge_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ge_00.tzt -------------------------------------------------------------------------------- /tests/unit/ge_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ge_01.tzt -------------------------------------------------------------------------------- /tests/unit/ge_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ge_02.tzt -------------------------------------------------------------------------------- /tests/unit/ge_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ge_03.tzt -------------------------------------------------------------------------------- /tests/unit/ge_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ge_04.tzt -------------------------------------------------------------------------------- /tests/unit/get_bigmapstringstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_bigmapstringstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/get_bigmapstringstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_bigmapstringstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/get_bigmapstringstring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_bigmapstringstring_02.tzt -------------------------------------------------------------------------------- /tests/unit/get_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/get_mapintint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_mapintint_01.tzt -------------------------------------------------------------------------------- /tests/unit/get_mapstringstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_mapstringstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/get_mapstringstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_mapstringstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/get_mapstringstring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/get_mapstringstring_02.tzt -------------------------------------------------------------------------------- /tests/unit/gt_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/gt_00.tzt -------------------------------------------------------------------------------- /tests/unit/gt_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/gt_01.tzt -------------------------------------------------------------------------------- /tests/unit/gt_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/gt_02.tzt -------------------------------------------------------------------------------- /tests/unit/gt_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/gt_03.tzt -------------------------------------------------------------------------------- /tests/unit/gt_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/gt_04.tzt -------------------------------------------------------------------------------- /tests/unit/if_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/if_00.tzt -------------------------------------------------------------------------------- /tests/unit/if_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/if_01.tzt -------------------------------------------------------------------------------- /tests/unit/ifcons_listint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifcons_listint_00.tzt -------------------------------------------------------------------------------- /tests/unit/ifcons_listint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifcons_listint_01.tzt -------------------------------------------------------------------------------- /tests/unit/ifcons_listnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifcons_listnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/ifcons_listnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifcons_listnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/ifleft_orintstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifleft_orintstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/ifleft_orstringint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifleft_orstringint_00.tzt -------------------------------------------------------------------------------- /tests/unit/ifnone_optionint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifnone_optionint_00.tzt -------------------------------------------------------------------------------- /tests/unit/ifnone_optionnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ifnone_optionnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/implicitaccount_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/implicitaccount_00.tzt -------------------------------------------------------------------------------- /tests/unit/int_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/int_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/int_nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/int_nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/isnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/isnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/isnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/isnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_listint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_listint_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_listint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_listint_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_listint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_listint_02.tzt -------------------------------------------------------------------------------- /tests/unit/iter_listint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_listint_03.tzt -------------------------------------------------------------------------------- /tests/unit/iter_liststring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_liststring_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_liststring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_liststring_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapintint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapintint_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapintint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapintint_02.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapintint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapintint_03.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapintint_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapintint_04.tzt -------------------------------------------------------------------------------- /tests/unit/iter_mapstringstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_mapstringstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setint_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setint_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setint_02.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/iter_setstring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/iter_setstring_02.tzt -------------------------------------------------------------------------------- /tests/unit/join_tickets_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/join_tickets_00.tzt -------------------------------------------------------------------------------- /tests/unit/join_tickets_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/join_tickets_01.tzt -------------------------------------------------------------------------------- /tests/unit/join_tickets_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/join_tickets_02.tzt -------------------------------------------------------------------------------- /tests/unit/le_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/le_00.tzt -------------------------------------------------------------------------------- /tests/unit/le_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/le_01.tzt -------------------------------------------------------------------------------- /tests/unit/le_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/le_02.tzt -------------------------------------------------------------------------------- /tests/unit/le_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/le_03.tzt -------------------------------------------------------------------------------- /tests/unit/le_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/le_04.tzt -------------------------------------------------------------------------------- /tests/unit/left_int-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/left_int-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/loop_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loop_00.tzt -------------------------------------------------------------------------------- /tests/unit/loop_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loop_01.tzt -------------------------------------------------------------------------------- /tests/unit/loop_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loop_02.tzt -------------------------------------------------------------------------------- /tests/unit/loopleft_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loopleft_00.tzt -------------------------------------------------------------------------------- /tests/unit/loopleft_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loopleft_01.tzt -------------------------------------------------------------------------------- /tests/unit/loopleft_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loopleft_02.tzt -------------------------------------------------------------------------------- /tests/unit/loopleft_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loopleft_03.tzt -------------------------------------------------------------------------------- /tests/unit/loopleft_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/loopleft_04.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_00.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_01.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_02.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_03.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_04.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_05.tzt -------------------------------------------------------------------------------- /tests/unit/lsl_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsl_06.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_00.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_01.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_02.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_03.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_04.tzt -------------------------------------------------------------------------------- /tests/unit/lsr_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lsr_05.tzt -------------------------------------------------------------------------------- /tests/unit/lt_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lt_00.tzt -------------------------------------------------------------------------------- /tests/unit/lt_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lt_01.tzt -------------------------------------------------------------------------------- /tests/unit/lt_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lt_02.tzt -------------------------------------------------------------------------------- /tests/unit/lt_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lt_03.tzt -------------------------------------------------------------------------------- /tests/unit/lt_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/lt_04.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_00.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_01.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_02.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_03.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_04.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_05.tzt -------------------------------------------------------------------------------- /tests/unit/map_listint_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_listint_06.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_00.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_01.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_02.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_04.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_05.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_06.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_07.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_07.tzt -------------------------------------------------------------------------------- /tests/unit/map_liststring_08.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_liststring_08.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapintint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapintint_01.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapintstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapintstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapintstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapintstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapstringnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapstringnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapstringnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapstringnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/map_mapstringnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/map_mapstringnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_03.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_04.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapnatnat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapnatnat_05.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_03.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_04.tzt -------------------------------------------------------------------------------- /tests/unit/mem_bigmapstringnat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_bigmapstringnat_05.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_03.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_04.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapnatnat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapnatnat_05.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_03.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_04.tzt -------------------------------------------------------------------------------- /tests/unit/mem_mapstringnat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_mapstringnat_05.tzt -------------------------------------------------------------------------------- /tests/unit/mem_setint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_setint_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_setint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_setint_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_setstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_setstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/mem_setstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_setstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/mem_setstring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mem_setstring_02.tzt -------------------------------------------------------------------------------- /tests/unit/mul_int-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_int-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/mul_int-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_int-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mul_mutez-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_mutez-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/mul_mutez-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_mutez-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/mul_nat-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_nat-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/mul_nat-mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_nat-mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/mul_nat-mutez_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_nat-mutez_01.tzt -------------------------------------------------------------------------------- /tests/unit/mul_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/mul_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/neg_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neg_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/neg_int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neg_int_01.tzt -------------------------------------------------------------------------------- /tests/unit/neg_int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neg_int_02.tzt -------------------------------------------------------------------------------- /tests/unit/neg_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neg_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/neg_nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neg_nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/neq_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neq_00.tzt -------------------------------------------------------------------------------- /tests/unit/neq_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neq_01.tzt -------------------------------------------------------------------------------- /tests/unit/neq_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neq_02.tzt -------------------------------------------------------------------------------- /tests/unit/neq_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neq_03.tzt -------------------------------------------------------------------------------- /tests/unit/neq_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/neq_04.tzt -------------------------------------------------------------------------------- /tests/unit/nil_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/nil_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/none_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/none_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/none_pair-nat-string.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/none_pair-nat-string.tzt -------------------------------------------------------------------------------- /tests/unit/not_bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/not_bool_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_bool_01.tzt -------------------------------------------------------------------------------- /tests/unit/not_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_05.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_06.tzt -------------------------------------------------------------------------------- /tests/unit/not_nat_07.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/not_nat_07.tzt -------------------------------------------------------------------------------- /tests/unit/now_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/now_00.tzt -------------------------------------------------------------------------------- /tests/unit/or_bool-bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_bool-bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/or_bool-bool_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_bool-bool_01.tzt -------------------------------------------------------------------------------- /tests/unit/or_bool-bool_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_bool-bool_02.tzt -------------------------------------------------------------------------------- /tests/unit/or_bool-bool_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_bool-bool_03.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_05.tzt -------------------------------------------------------------------------------- /tests/unit/or_nat-nat_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/or_nat-nat_06.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_address_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_address_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_bytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_bytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_keyhash_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_keyhash_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/packunpack_timestamp_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/packunpack_timestamp_00.tzt -------------------------------------------------------------------------------- /tests/unit/pair_int-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/pair_int-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/pair_nat-string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/pair_nat-string_00.tzt -------------------------------------------------------------------------------- /tests/unit/pair_pair-nat-string-pair-string-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/pair_pair-nat-string-pair-string-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/push_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/push_pair_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_pair_00.tzt -------------------------------------------------------------------------------- /tests/unit/push_pair_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_pair_01.tzt -------------------------------------------------------------------------------- /tests/unit/push_pair_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_pair_02.tzt -------------------------------------------------------------------------------- /tests/unit/push_pair_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_pair_03.tzt -------------------------------------------------------------------------------- /tests/unit/push_pair_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_pair_04.tzt -------------------------------------------------------------------------------- /tests/unit/push_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/push_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/read_ticket_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/read_ticket_00.tzt -------------------------------------------------------------------------------- /tests/unit/right_nat-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/right_nat-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/self_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/self_00.tzt -------------------------------------------------------------------------------- /tests/unit/self_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/self_01.tzt -------------------------------------------------------------------------------- /tests/unit/self_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/self_02.tzt -------------------------------------------------------------------------------- /tests/unit/self_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/self_03.tzt -------------------------------------------------------------------------------- /tests/unit/sender_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sender_00.tzt -------------------------------------------------------------------------------- /tests/unit/setdelegate_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/setdelegate_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_bytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_bytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_listint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_listint_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_listint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_listint_01.tzt -------------------------------------------------------------------------------- /tests/unit/size_listint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_listint_02.tzt -------------------------------------------------------------------------------- /tests/unit/size_listint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_listint_03.tzt -------------------------------------------------------------------------------- /tests/unit/size_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_mapstringnat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_mapstringnat_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_mapstringnat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_mapstringnat_01.tzt -------------------------------------------------------------------------------- /tests/unit/size_mapstringnat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_mapstringnat_02.tzt -------------------------------------------------------------------------------- /tests/unit/size_mapstringnat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_mapstringnat_03.tzt -------------------------------------------------------------------------------- /tests/unit/size_setint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_setint_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_setint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_setint_01.tzt -------------------------------------------------------------------------------- /tests/unit/size_setint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_setint_02.tzt -------------------------------------------------------------------------------- /tests/unit/size_setint_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_setint_03.tzt -------------------------------------------------------------------------------- /tests/unit/size_setstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_setstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/size_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/size_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/slice_bytes_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_bytes_00.tzt -------------------------------------------------------------------------------- /tests/unit/slice_bytes_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_bytes_01.tzt -------------------------------------------------------------------------------- /tests/unit/slice_bytes_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_bytes_02.tzt -------------------------------------------------------------------------------- /tests/unit/slice_bytes_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_bytes_03.tzt -------------------------------------------------------------------------------- /tests/unit/slice_bytes_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_bytes_04.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_01.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_02.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_03.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_04.tzt -------------------------------------------------------------------------------- /tests/unit/slice_string_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/slice_string_05.tzt -------------------------------------------------------------------------------- /tests/unit/some_int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/some_int_00.tzt -------------------------------------------------------------------------------- /tests/unit/some_pairintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/some_pairintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/some_string_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/some_string_00.tzt -------------------------------------------------------------------------------- /tests/unit/source_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/source_00.tzt -------------------------------------------------------------------------------- /tests/unit/split_ticket_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/split_ticket_00.tzt -------------------------------------------------------------------------------- /tests/unit/split_ticket_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/split_ticket_01.tzt -------------------------------------------------------------------------------- /tests/unit/sub_int-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_int-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/sub_int-int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_int-int_01.tzt -------------------------------------------------------------------------------- /tests/unit/sub_mutez-mutez_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_mutez-mutez_00.tzt -------------------------------------------------------------------------------- /tests/unit/sub_mutez-mutez_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_mutez-mutez_01.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-int_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-int_00.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-int_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-int_01.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-int_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-int_02.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-int_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-int_03.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-int_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-int_04.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-timestamp_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-timestamp_00.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-timestamp_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-timestamp_01.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-timestamp_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-timestamp_02.tzt -------------------------------------------------------------------------------- /tests/unit/sub_timestamp-timestamp_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/sub_timestamp-timestamp_03.tzt -------------------------------------------------------------------------------- /tests/unit/ticket_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/ticket_00.tzt -------------------------------------------------------------------------------- /tests/unit/transfertokens_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/transfertokens_00.tzt -------------------------------------------------------------------------------- /tests/unit/transfertokens_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/transfertokens_01.tzt -------------------------------------------------------------------------------- /tests/unit/unit_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/unit_00.tzt -------------------------------------------------------------------------------- /tests/unit/unpair_pairstringstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/unpair_pairstringstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_00.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_01.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_02.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_03.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_04.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_05.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_06.tzt -------------------------------------------------------------------------------- /tests/unit/update_bigmapstringstring_07.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_bigmapstringstring_07.tzt -------------------------------------------------------------------------------- /tests/unit/update_mapintint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_mapintint_00.tzt -------------------------------------------------------------------------------- /tests/unit/update_mapintint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_mapintint_01.tzt -------------------------------------------------------------------------------- /tests/unit/update_setint_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_setint_00.tzt -------------------------------------------------------------------------------- /tests/unit/update_setint_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_setint_01.tzt -------------------------------------------------------------------------------- /tests/unit/update_setint_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/update_setint_02.tzt -------------------------------------------------------------------------------- /tests/unit/xor_bool-bool_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_bool-bool_00.tzt -------------------------------------------------------------------------------- /tests/unit/xor_bool-bool_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_bool-bool_01.tzt -------------------------------------------------------------------------------- /tests/unit/xor_bool-bool_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_bool-bool_02.tzt -------------------------------------------------------------------------------- /tests/unit/xor_bool-bool_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_bool-bool_03.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_00.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_00.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_01.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_01.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_02.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_02.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_03.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_03.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_04.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_04.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_05.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_05.tzt -------------------------------------------------------------------------------- /tests/unit/xor_nat-nat_06.tzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/tests/unit/xor_nat-nat_06.tzt -------------------------------------------------------------------------------- /types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/types.md -------------------------------------------------------------------------------- /web/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | .cache -------------------------------------------------------------------------------- /web/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/README.md -------------------------------------------------------------------------------- /web/build-html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/build-html.js -------------------------------------------------------------------------------- /web/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/package-lock.json -------------------------------------------------------------------------------- /web/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/package.json -------------------------------------------------------------------------------- /web/public_content/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/.gitignore -------------------------------------------------------------------------------- /web/public_content/assets/img/404.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/404.png -------------------------------------------------------------------------------- /web/public_content/assets/img/500.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/500.png -------------------------------------------------------------------------------- /web/public_content/assets/img/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/favicon.ico -------------------------------------------------------------------------------- /web/public_content/assets/img/hero/kerc20-hero-image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/hero/kerc20-hero-image.png -------------------------------------------------------------------------------- /web/public_content/assets/img/hero/test-coverage-hero-image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/hero/test-coverage-hero-image.png -------------------------------------------------------------------------------- /web/public_content/assets/img/hero/test-runner-hero-image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/hero/test-runner-hero-image.png -------------------------------------------------------------------------------- /web/public_content/assets/img/rv-logo-dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/rv-logo-dark.png -------------------------------------------------------------------------------- /web/public_content/assets/img/rv-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/public_content/assets/img/rv-logo.png -------------------------------------------------------------------------------- /web/sitemap/build-sitemap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/sitemap/build-sitemap.js -------------------------------------------------------------------------------- /web/static_content/html/404.html: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /web/static_content/html/500.html: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /web/static_content/html/include/footer.html: -------------------------------------------------------------------------------- 1 | {{$WEBSITE_FOOTER}} -------------------------------------------------------------------------------- /web/static_content/html/include/head.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/static_content/html/include/head.html -------------------------------------------------------------------------------- /web/static_content/html/include/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/static_content/html/include/header.html -------------------------------------------------------------------------------- /web/static_content/html/include/sidebar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/static_content/html/include/sidebar.html -------------------------------------------------------------------------------- /web/static_content/html/page_template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/michelson-semantics/HEAD/web/static_content/html/page_template.html --------------------------------------------------------------------------------