Sprints
Sprint 8
2022-10-17 - 2022-10-28
Done: 0/0
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #589 | ? 💪 | 🔴 | Verify Sc_rollups.v | |
| Issue #590 | ? 💪 | 🔴 | Verify Script_big_map.v | |
| Issue #591 | ? 💪 | 🔴 | Verify Script_cache.v | |
| Issue #592 | ? 💪 | 🔴 | Verify Script_comparable.v | |
| Issue #593 | ? 💪 | 🟢 | Verify Script_expr_hash.v | |
| Issue #594 | ? 💪 | 🔴 | Verify Script_int.v | |
| Issue #595 | ? 💪 | 🔴 | Verify Script_interpreter.v | |
| Issue #596 | ? 💪 | 🔴 | Verify Script_interpreter_defs.v | |
| Issue #597 | ? 💪 | 🔴 | Verify Script_interpreter_logging.v | |
| Issue #598 | ? 💪 | 🔴 | Verify Script_ir_annot.v | |
| Issue #599 | ? 💪 | 🔴 | Verify Script_ir_translator.v | |
| Issue #600 | ? 💪 | 🟢 | Verify Script_ir_translator_config.v | |
| Issue #601 | ? 💪 | 🔴 | Verify Script_ir_unparser.v | |
| Issue #602 | ? 💪 | 🟢 | Verify Script_list.v | |
| Issue #603 | EM | ? 💪 | 🟢 | Verify Script_map.v |
| Issue #604 | ? 💪 | 🟢 | Verify Script_repr.v | |
| Issue #605 | ? 💪 | 🟢 | Verify Script_set.v | |
| Issue #606 | EM | ? 💪 | 🟢 | Verify Script_string.v |
| Issue #607 | ? 💪 | 🔴 | Verify Script_tc_context.v | |
| Issue #608 | ? 💪 | 🟢 | Verify Script_tc_errors.v | |
| Issue #609 | ? 💪 | 🟢 | Verify Script_tc_errors_registration.v | |
| Issue #610 | ? 💪 | 🔴 | Verify Script_timestamp.v | |
| Issue #611 | EM | ? 💪 | 🟢 | Verify Script_typed_ir.v |
| Issue #612 | ? 💪 | 🔴 | Verify Script_typed_ir_size.v | |
| Issue #613 | ? 💪 | 🟢 | Verify Script_typed_ir_size_costs.v | |
| Issue #614 | ? 💪 | 🟢 | Verify Seed_repr.v | |
| Issue #615 | DH | ? 💪 | 🟢 | Verify Seed_storage.v |
| Issue #616 | ? 💪 | 🟢 | Verify Services_registration.v | |
| Issue #617 | ? 💪 | 🟢 | Verify Skip_list_repr.v | |
| Issue #618 | AK | ? 💪 | 🔴 | Verify Slot_repr.v |
| Issue #619 | AK | ? 💪 | 🔴 | Verify Stake_storage.v |
| Issue #620 | ? 💪 | 🟢 | Verify State_hash.v | |
| Issue #621 | ? 💪 | 🟢 | Verify Storage.v | |
| Issue #622 | ? 💪 | 🟢 | Verify Storage_costs.v | |
| Issue #623 | ? 💪 | 🟢 | Verify Storage_description.v | |
| Issue #624 | ? 💪 | 🟢 | Verify Storage_functors.v | |
| Issue #625 | ? 💪 | 🟢 | Verify Storage_sigs.v | |
| Issue #626 | ? 💪 | 🟢 | Verify Tez_repr.v | |
| Issue #627 | GC | ? 💪 | 🟢 | Verify Ticket_accounting.v |
| Issue #628 | GC | ? 💪 | 🟢 | Verify Ticket_balance_key.v |
| Issue #629 | GC | ? 💪 | 🟢 | Verify Ticket_costs.v |
| Issue #630 | GC | ? 💪 | 🟢 | Verify Ticket_hash_builder.v |
| Issue #631 | ? 💪 | 🟢 | Verify Ticket_hash_repr.v | |
| Issue #632 | GC | ? 💪 | 🟢 | Verify Ticket_lazy_storage_diff.v |
| Issue #633 | GC | ? 💪 | 🟢 | Verify Ticket_operations_diff.v |
| Issue #634 | GC | ? 💪 | 🟢 | Verify Ticket_scanner.v |
| Issue #635 | GC | ? 💪 | 🟢 | Verify Ticket_storage.v |
| Issue #636 | GC | ? 💪 | 🟢 | Verify Ticket_token.v |
| Issue #637 | GC | ? 💪 | 🟢 | Verify Ticket_token_map.v |
| Issue #638 | ? 💪 | 🟢 | Verify Time_repr.v | |
| Issue #639 | NK | ? 💪 | 🟢 | Verify Token.v |
| Issue #640 | ? 💪 | 🟢 | Verify Tx_rollup_commitment_repr.v | |
| Issue #641 | GC | ? 💪 | 🟢 | Verify Tx_rollup_commitment_storage.v |
| Issue #642 | ? 💪 | 🟢 | Verify Tx_rollup_errors_repr.v | |
| Issue #643 | EM | ? 💪 | 🟢 | Verify Tx_rollup_gas.v |
| Issue #644 | AK | ? 💪 | 🔴 | Verify Tx_rollup_hash_builder.v |
| Issue #645 | ? 💪 | 🟢 | Verify Tx_rollup_inbox_repr.v | |
| Issue #646 | GC | ? 💪 | 🟢 | Verify Tx_rollup_inbox_storage.v |
| Issue #647 | AK | ? 💪 | 🟢 | Verify Tx_rollup_l2_address.v |
| Issue #648 | ? 💪 | 🟢 | Verify Tx_rollup_l2_apply.v | |
| Issue #649 | ? 💪 | 🟢 | Verify Tx_rollup_l2_batch.v | |
| Issue #650 | GC | ? 💪 | 🟢 | Verify Tx_rollup_l2_context.v |
| Issue #651 | ? 💪 | 🟢 | Verify Tx_rollup_l2_context_hash.v | |
| Issue #652 | GC | ? 💪 | 🟢 | Verify Tx_rollup_l2_context_sig.v |
| Issue #653 | ? 💪 | 🟢 | Verify Tx_rollup_l2_proof.v | |
| Issue #654 | ? 💪 | 🟢 | Verify Tx_rollup_l2_qty.v | |
| Issue #655 | GC | ? 💪 | 🟢 | Verify Tx_rollup_l2_storage_sig.v |
| Issue #656 | EM | ? 💪 | 🟢 | Verify Tx_rollup_l2_verifier.v |
| Issue #657 | ? 💪 | 🟢 | Verify Tx_rollup_level_repr.v | |
| Issue #658 | ? 💪 | 🟢 | Verify Tx_rollup_message_hash_repr.v | |
| Issue #659 | ? 💪 | 🟢 | Verify Tx_rollup_message_repr.v | |
| Issue #660 | ? 💪 | 🟢 | Verify Tx_rollup_message_result_hash_repr.v | |
| Issue #661 | ? 💪 | 🟢 | Verify Tx_rollup_message_result_repr.v | |
| Issue #662 | GC | ? 💪 | 🟢 | Verify Tx_rollup_parameters.v |
| Issue #663 | NK | ? 💪 | 🟢 | Verify Tx_rollup_prefixes.v |
| Issue #664 | ? 💪 | 🟢 | Verify Tx_rollup_repr.v | |
| Issue #665 | ? 💪 | 🟢 | Verify Tx_rollup_reveal_repr.v | |
| Issue #666 | GC | ? 💪 | 🟢 | Verify Tx_rollup_reveal_storage.v |
| Issue #667 | ? 💪 | 🟢 | Verify Tx_rollup_services.v | |
| Issue #668 | ? 💪 | 🟢 | Verify Tx_rollup_state_repr.v | |
| Issue #669 | ? 💪 | 🟢 | Verify Tx_rollup_state_storage.v | |
| Issue #670 | GC | ? 💪 | 🟢 | Verify Tx_rollup_storage.v |
| Issue #671 | EM | ? 💪 | 🟢 | Verify Tx_rollup_ticket.v |
| Issue #672 | ? 💪 | 🟢 | Verify Tx_rollup_withdraw_list_hash_repr.v | |
| Issue #673 | ? 💪 | 🟢 | Verify Tx_rollup_withdraw_repr.v | |
| Issue #674 | ? 💪 | 🔴 | Verify Validate.v | |
| Issue #675 | ? 💪 | 🟢 | Verify Validate_errors.v | |
| Issue #676 | ? 💪 | 🟢 | Verify Vote_repr.v | |
| Issue #677 | GC | ? 💪 | 🟢 | Verify Vote_storage.v |
| Issue #678 | ? 💪 | 🟢 | Verify Voting_period_repr.v | |
| Issue #679 | GC | ? 💪 | 🟢 | Verify Voting_period_storage.v |
| Issue #680 | ? 💪 | 🟢 | Verify Voting_services.v | |
| Issue #681 | ? 💪 | 🟢 | Verify Zk_rollup_account_repr.v | |
| Issue #682 | NK | ? 💪 | 🟢 | Verify Zk_rollup_apply.v |
| Issue #683 | ? 💪 | 🟢 | Verify Zk_rollup_operation_repr.v | |
| Issue #684 | ? 💪 | 🟢 | Verify Zk_rollup_repr.v | |
| Issue #685 | NK | ? 💪 | 🟢 | Verify Zk_rollup_scalar.v |
| Issue #686 | ? 💪 | 🟢 | Verify Zk_rollup_state_repr.v | |
| Issue #687 | GC | ? 💪 | 🟢 | Verify Zk_rollup_storage.v |
| Issue #688 | DH | ? 💪 | 🟢 | Verify Amendment |
Sprint 7
2022-08-22 - 2022-08-26
Done: 90/119
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #210 | 8 💪 | 🔴 | Have complete translation of the protocol K | |
| Issue #212 | GC | 13 💪 | 🟢 | Merge fork branches |
| Issue #247 | ? 💪 | 🟢 | Verify set | |
| Issue #248 | ? 💪 | 🟢 | Verify map | |
| Issue #249 | NK | ? 💪 | 🟢 | Verify big_map |
| Issue #250 | ? 💪 | 🟢 | Verify string | |
| Issue #251 | ? 💪 | 🟢 | Verify bytes | |
| Issue #252 | GC | ? 💪 | 🟢 | Verify tez |
| Issue #253 | DH | ? 💪 | 🟢 | Verify arith |
| Issue #254 | DH | ? 💪 | 🟢 | Verify bool arith |
| Issue #255 | ? 💪 | 🟢 | Verify compare | |
| Issue #257 | ? 💪 | 🔴 | Verify view | |
| Issue #258 | ? 💪 | 🔴 | Verify transfer | |
| Issue #259 | DH | ? 💪 | 🟢 | Verify create contract |
| Issue #263 | ? 💪 | 🟢 | Verify unpack | |
| Issue #265 | ? 💪 | 🔴 | Verify dig | |
| Issue #266 | ? 💪 | 🟢 | Verify voting | |
| Issue #267 | BK | ? 💪 | 🟢 | Verify comb |
| Issue #268 | ? 💪 | 🟢 | Verify ticket | |
| Issue #269 | ? 💪 | 🟢 | Verify continuation | |
| Issue #296 | AK | 2 💪 | 🟢 | Verify Block_header_repr.v |
| Issue #309 | AK | 2 💪 | 🟢 | Verify Entrypoint_repr.v |
| Issue #317 | AK | 2 💪 | 🟢 | Verify Operation_repr.v |
| Issue #328 | SK | 2 💪 | 🟢 | Verify Sc_rollup_game_repr.v |
| Issue #363 | EM | 8 💪 | 🟢 | Verify backward-compatibility instructions (2/14) |
| Issue #366 | BK | 8 💪 | 🟢 | Verify backward-compatibility instructions (5/14) |
| Issue #367 | SK, BK | 8 💪 | 🟢 | Verify backward-compatibility instructions (6/14) |
| Issue #368 | AK | 13 💪 | 🔴 | Verify backward-compatibility instructions (7/14) |
| Issue #369 | DH | 13 💪 | 🟢 | Verify backward-compatibility instructions (8/14) |
| Issue #370 | DH | 8 💪 | 🟢 | Verify backward-compatibility instructions (9/14) |
| Issue #371 | BK | ? 💪 | 🟢 | Verify backward-compatibility instructions (10/14) |
| Issue #372 | AK | 8 💪 | 🔴 | Verify backward-compatibility instructions (11/14) |
| Issue #373 | NK | 8 💪 | 🟢 | Verify backward-compatibility instructions (12/14) |
| Issue #374 | DH | 8 💪 | 🟢 | Verify backward-compatibility instructions (13/14) |
| Issue #375 | DH | 8 💪 | 🟢 | Verify backward-compatibility instructions (14/14) |
| Issue #380 | GC | ? 💪 | 🔴 | State lemma for backward compatibility on the interpreter with gas cost |
| Issue #381 | GC | ? 💪 | 🔴 | Finish porting the proofs to proto K |
Sprint 6
2022-08-03 - 2022-08-19
Done: 156/156
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #286 | EM | 3 💪 | 🟢 | Fix proofs in Script_comparable.v |
| Issue #287 | EM | 1 💪 | 🟢 | Fix proofs in Script_family.v |
| Issue #288 | EM | 5 💪 | 🟢 | Fix proofs in Script_interpreter_defs.v |
| Issue #289 | DH | 5 💪 | 🟢 | Fix proofs in Script_interpreter.v |
| Issue #291 | DH | 2 💪 | 🟢 | Fix proofs in Script_map.v |
| Issue #295 | DH | 3 💪 | 🟢 | Fix proofs in Script_typed_ir.v |
| Issue #296 | AK | 2 💪 | 🟢 | Verify Block_header_repr.v |
| Issue #297 | 2 💪 | 🟢 | Verify Block_payload_repr.v | |
| Issue #298 | AK | 2 💪 | 🟢 | Verify Bond_id_repr.v |
| Issue #299 | 2 💪 | 🟢 | Verify Cache_repr.v | |
| Issue #300 | 2 💪 | 🟢 | Verify Commitment_repr.v | |
| Issue #301 | AK | 2 💪 | 🟢 | Verify Constants_parametric_previous_repr.v |
| Issue #305 | 2 💪 | 🟢 | Verify Cycle_repr.v | |
| Issue #308 | AK | 2 💪 | 🟢 | Verify Destination_repr.v |
| Issue #309 | AK | 2 💪 | 🟢 | Verify Entrypoint_repr.v |
| Issue #310 | AK | 2 💪 | 🟢 | Verify Fitness_repr.v |
| Issue #311 | AK | 2 💪 | 🟢 | Verify Fixed_point_repr.v |
| Issue #312 | AK | 2 💪 | 🟢 | Verify Gas_limit_repr.v |
| Issue #313 | AK | 2 💪 | 🟢 | Verify Level_repr.v |
| Issue #314 | 2 💪 | 🟢 | Verify Liquidity_baking_repr.v | |
| Issue #315 | 2 💪 | 🟢 | Verify Manager_repr.v | |
| Issue #316 | 2 💪 | 🟢 | Verify Migration_repr.v | |
| Issue #317 | AK | 2 💪 | 🟢 | Verify Operation_repr.v |
| Issue #318 | SK | 2 💪 | 🟢 | Verify Parameters_repr.v |
| Issue #319 | 2 💪 | 🟢 | Verify Period_repr.v | |
| Issue #320 | SK | 2 💪 | 🟢 | Verify Ratio_repr.v |
| Issue #321 | 2 💪 | 🟢 | Verify Raw_level_repr.v | |
| Issue #322 | 2 💪 | 🟢 | Verify Receipt_repr.v | |
| Issue #323 | 2 💪 | 🟢 | Verify Round_repr.v | |
| Issue #324 | 2 💪 | 🟢 | Verify Sapling_repr.v | |
| Issue #325 | 2 💪 | 🟢 | Verify Saturation_repr.v | |
| Issue #326 | 2 💪 | 🟢 | Verify Script_repr.v | |
| Issue #327 | 2 💪 | 🟢 | Verify Sc_rollup_commitment_repr.v | |
| Issue #328 | SK | 2 💪 | 🟢 | Verify Sc_rollup_game_repr.v |
| Issue #329 | SK | 2 💪 | 🟢 | Verify Sc_rollup_inbox_message_repr.v |
| Issue #330 | DH | 2 💪 | 🟢 | Verify Sc_rollup_inbox_repr.v |
| Issue #331 | DH | 2 💪 | 🟢 | Verify Sc_rollup_outbox_message_repr.v |
| Issue #332 | DH | 2 💪 | 🟢 | Verify Sc_rollup_proof_repr.v |
| Issue #333 | 2 💪 | 🟢 | Verify Sc_rollup_repr.v | |
| Issue #334 | 2 💪 | 🟢 | Verify Sc_rollup_tick_repr.v | |
| Issue #335 | 2 💪 | 🟢 | Verify Seed_repr.v | |
| Issue #336 | SK | 2 💪 | 🟢 | Verify Skip_list_repr.v |
| Issue #337 | 2 💪 | 🟢 | Verify Slot_repr.v | |
| Issue #338 | 2 💪 | 🟢 | Verify Tez_repr.v | |
| Issue #339 | 2 💪 | 🟢 | Verify Ticket_hash_repr.v | |
| Issue #341 | 2 💪 | 🟢 | Verify Tx_rollup_commitment_repr.v | |
| Issue #342 | 2 💪 | 🟢 | Verify Tx_rollup_errors_repr.v | |
| Issue #343 | 2 💪 | 🟢 | Verify Tx_rollup_inbox_repr.v | |
| Issue #344 | 2 💪 | 🟢 | Verify Tx_rollup_level_repr.v | |
| Issue #345 | SK | 2 💪 | 🟢 | Verify Tx_rollup_message_hash_repr.v |
| Issue #346 | SK | 2 💪 | 🟢 | Verify Tx_rollup_message_repr.v |
| Issue #347 | SK | 2 💪 | 🟢 | Verify Tx_rollup_message_result_hash_repr.v |
| Issue #348 | SK | 2 💪 | 🟢 | Verify Tx_rollup_message_result_repr.v |
| Issue #349 | SK | 2 💪 | 🟢 | Verify Tx_rollup_repr.v |
| Issue #350 | SK | 2 💪 | 🟢 | Verify Tx_rollup_reveal_repr.v |
| Issue #351 | SK | 2 💪 | 🟢 | Verify Tx_rollup_state_repr.v |
| Issue #359 | GC | 8 💪 | 🟢 | Write migration for kinstr |
| Issue #360 | GC | 3 💪 | 🟢 | Write migration for continuation |
| Issue #361 | GC | 2 💪 | 🟢 | Write statement for backward-compatibility on continutations |
| Issue #362 | EM | 8 💪 | 🟢 | Verify backward-compatibility instructions (1/14) |
| Issue #363 | EM | 8 💪 | 🟢 | Verify backward-compatibility instructions (2/14) |
| Issue #364 | GC | 8 💪 | 🟢 | Verify backward-compatibility instructions (3/14) |
Sprint 5
2022-06-20 - 2022-08-01
Done: 85/117
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #98 | 3 💪 | 🔴 | Encodings in 🗂️ Indexable.v | |
| Issue #208 | EM | 5 💪 | 🟢 | Fix OCaml compilation of the K branch for the protocol |
| Issue #209 | AK, EM | 8 💪 | 🟢 | Fix translation to Coq of the K branch for the protocol |
| Issue #210 | 8 💪 | 🔴 | Have complete translation of the protocol K | |
| Issue #211 | DH | 8 💪 | 🟢 | Have complete translation of the protocol J |
| Issue #212 | GC | 13 💪 | 🟢 | Merge fork branches |
| Issue #213 | GC | 13 💪 | 🟢 | Have a shared environment |
| Issue #214 | SK | 3 💪 | 🟢 | Definition simulation for dep_well_formed_entrypoints |
| Issue #215 | AK, NK, SK | 13 💪 | 🟢 | Define simulation for parse_instr_aux |
| Issue #216 | AK | 3 💪 | 🟢 | Define simulation for parse_view_returning |
| Issue #218 | RY | 1 💪 | 🟢 | Define simulation for diff_of_big_map |
| Issue #219 | AK | 5 💪 | 🟢 | Define simulation for parse_returning |
| Issue #220 | DH | 5 💪 | 🟢 | Verify simulation for diff_of_big_map |
| Issue #221 | SK | 5 💪 | 🔴 | Verify simulation for parse_returning |
| Issue #222 | SK | 3 💪 | 🔴 | Verify simulation for parse_view_returning |
| Issue #223 | 13 💪 | 🔴 | Verify simulation for parse_instr_aux | |
| Issue #224 | SK | 8 💪 | 🟢 | Verify simulation for dep_well_formed_entrypoints |
Sprint 4
2022-05-06 - 2022-06-17
Done: 48/140
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #90 | 13 💪 | 🟢 | Verify back_path_is_valid for skip lists | |
| Issue #98 | 3 💪 | 🔴 | Encodings in 🗂️ Indexable.v | |
| Issue #100 | NK | 5 💪 | 🟢 | Encodings in ⚗️ Liquidity_baking_repr.v |
| Issue #101 | NK | 3 💪 | 🟢 | Encodings in 🧑 Main.v |
| Issue #102 | NK | 3 💪 | 🟢 | Encodings in 🖼️ Raw_context.v |
| Issue #117 | GC | 13 💪 | 🔴 | Define all remaining cases for dep_step |
| Issue #118 | 13 💪 | 🔴 | Terminate the proof of dep_step_eq | |
| Issue #127 | EM | 8 💪 | 🟢 | Verify carbonated maps (3/3) |
| Issue #135 | 8 💪 | 🔴 | Translator simulations 20-29 | |
| Issue #137 | AK | 13 💪 | 🔴 | Translator simulations 40-49 |
| Issue #138 | KH | 13 💪 | 🔴 | Translator simulations 50-59 |
| Issue #139 | AK | 13 💪 | 🔴 | Translator simulations 60-69 |
| Issue #140 | RY | 8 💪 | 🔴 | Translator simulations 70-79 |
| Issue #141 | 8 💪 | 🔴 | Translator simulations 80-89 | |
| Issue #161 | GC | 13 💪 | 🟢 | Verify the simulations in Script_set.v |
| Issue #173 | GC | 3 💪 | 🟢 | Fix definition of arb_tez_sizes in test of Tez_repr |
Sprint 3
2022-05-06 - 2022-06-03
Done: 90/179
| Issue | Assigned | Weight | Done | Title |
|---|---|---|---|---|
| Issue #83 | NK | 5 💪 | 🟢 | Verify encoding for skip lists |
| Issue #90 | 13 💪 | 🟢 | Verify back_path_is_valid for skip lists | |
| Issue #117 | GC | 13 💪 | 🔴 | Define all remaining cases for dep_step |
| Issue #118 | 13 💪 | 🔴 | Terminate the proof of dep_step_eq | |
| Issue #122 | DH | 8 💪 | 🟢 | Express predicate for internal errors |
| Issue #125 | EM | 3 💪 | 🟢 | Verify carbonated maps (1/3) |
| Issue #126 | EM | 5 💪 | 🟢 | Verify carbonated maps (2/3) |
| Issue #127 | EM | 8 💪 | 🟢 | Verify carbonated maps (3/3) |
| Issue #130 | SK | 2 💪 | 🟢 | Inline dep_step auxiliary functions |
| Issue #133 | GC | ? 💪 | 🟢 | Remove abstract-large-number warnings from Proofs/Script_ir_translator.v |
| Issue #134 | KH | 5 💪 | 🟢 | Translator simulations 10-19 |
| Issue #135 | 8 💪 | 🔴 | Translator simulations 20-29 | |
| Issue #136 | KH | 8 💪 | 🟢 | Translator simulations 30-39 |
| Issue #137 | AK | 13 💪 | 🔴 | Translator simulations 40-49 |
| Issue #138 | KH | 13 💪 | 🔴 | Translator simulations 50-59 |
| Issue #139 | AK | 13 💪 | 🔴 | Translator simulations 60-69 |
| Issue #140 | RY | 8 💪 | 🔴 | Translator simulations 70-79 |
| Issue #141 | 8 💪 | 🔴 | Translator simulations 80-89 | |
| Issue #142 | GC | 5 💪 | 🟢 | Translator simulations 90-99 |
| Issue #161 | GC | 13 💪 | 🟢 | Verify the simulations in Script_set.v |
| Issue #162 | GC | 13 💪 | 🟢 | Verify the simulations in Script_map.v |
| Issue #170 | GC | 2 💪 | 🟢 | Have a predicate over the instructions |