├── .cargo └── config.toml ├── .claude └── commands │ ├── commit.md │ ├── issue.md │ ├── maintainer.md │ └── pr.md ├── .gitattributes ├── .github └── workflows │ ├── benchmark-prover.yml │ ├── benchmark-runner.yml │ ├── claude-code-review.yml │ ├── claude.yml │ ├── examples-tests.yml │ ├── rust-tests.yml │ └── trunk-check.yml ├── .gitignore ├── .gitmodules ├── .trunk ├── .gitignore ├── configs │ ├── .markdownlint.yaml │ ├── .prettierrc.json │ ├── .rustfmt.toml │ ├── .yamllint.yaml │ └── osv-scanner.toml └── trunk.yaml ├── .vscode └── settings.json ├── CLAUDE.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── LICENSE-APACHE ├── LICENSE-MIT ├── Makefile ├── README.md ├── crates ├── cairo-m-ls │ ├── Cargo.toml │ ├── src │ │ ├── backend.rs │ │ ├── db │ │ │ ├── mod.rs │ │ │ └── swapper.rs │ │ ├── diagnostics │ │ │ ├── controller.rs │ │ │ ├── mod.rs │ │ │ └── state.rs │ │ ├── lib.rs │ │ ├── lsp_ext.rs │ │ ├── lsp_tracing.rs │ │ ├── main.rs │ │ ├── project │ │ │ ├── controller.rs │ │ │ ├── mod.rs │ │ │ └── model.rs │ │ └── utils.rs │ └── tests │ │ └── e2e │ │ ├── diagnostics_test.rs │ │ ├── formatting_test.rs │ │ ├── goto_definition │ │ ├── cross_file_definitions.rs │ │ ├── local_definitions.rs │ │ ├── mod.rs │ │ └── snapshots │ │ │ ├── e2e__goto_definition__cross_file_definitions__goto_imported_function_definition.snap │ │ │ ├── e2e__goto_definition__cross_file_definitions__goto_module_definition.snap │ │ │ ├── e2e__goto_definition__cross_file_definitions__no_definition_cross_file_unresolved.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_field_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_function_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_function_in_call_chain.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_local_in_block.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_loop_variable.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_nested_function_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_parameter_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_shadowed_variable.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_type_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__goto_variable_definition.snap │ │ │ ├── e2e__goto_definition__local_definitions__no_definition_for_keyword.snap │ │ │ └── e2e__goto_definition__local_definitions__no_definition_for_literal.snap │ │ ├── hover │ │ ├── cross_file_hover.rs │ │ ├── mod.rs │ │ ├── snapshots │ │ │ ├── e2e__hover__cross_file_hover__hover_on_imported_constant.snap │ │ │ ├── e2e__hover__cross_file_hover__hover_on_imported_function.snap │ │ │ ├── e2e__hover__cross_file_hover__hover_on_module_name.snap │ │ │ ├── e2e__hover__type_hover__function_signature_hover.snap │ │ │ ├── e2e__hover__type_hover__hover_no_info.snap │ │ │ ├── e2e__hover__type_hover__hover_on_binary_expression.snap │ │ │ ├── e2e__hover__type_hover__hover_on_function_call_result.snap │ │ │ ├── e2e__hover__type_hover__hover_on_struct_field.snap │ │ │ ├── e2e__hover__type_hover__hover_on_type_annotation.snap │ │ │ ├── e2e__hover__type_hover__parameter_type_hover.snap │ │ │ ├── e2e__hover__type_hover__return_type_hover.snap │ │ │ └── e2e__hover__type_hover__variable_type_hover.snap │ │ └── type_hover.rs │ │ ├── main.rs │ │ ├── simple_test.rs │ │ ├── snapshots │ │ ├── e2e__diagnostics_test__basic_diagnostics.snap │ │ └── e2e__diagnostics_test__no_errors.snap │ │ └── support │ │ ├── barrier.rs │ │ ├── cursor.rs │ │ ├── fixture.rs │ │ ├── insta.rs │ │ ├── mock_client.rs │ │ ├── mod.rs │ │ ├── notification.rs │ │ └── transform.rs ├── cargo-cairo-m │ ├── Cargo.toml │ ├── src │ │ └── main.rs │ └── templates │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── cairom.toml │ │ ├── cargo-config.toml │ │ ├── fibonacci.cm │ │ ├── gitignore │ │ ├── integration_test.rs │ │ ├── lib.rs │ │ └── rust-toolchain.toml ├── common │ ├── Cargo.toml │ ├── src │ │ ├── abi_codec.rs │ │ ├── execution.rs │ │ ├── instruction.rs │ │ ├── lib.rs │ │ ├── program.rs │ │ └── state.rs │ └── tests │ │ └── instruction_tests.rs ├── compiler │ ├── Cargo.toml │ ├── cairo-m-project │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── discovery.rs │ │ │ ├── lib.rs │ │ │ ├── manifest.rs │ │ │ └── model.rs │ ├── codegen │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── proptest-regressions │ │ │ ├── builder.txt │ │ │ └── builder │ │ │ │ ├── aggregates.txt │ │ │ │ ├── felt.txt │ │ │ │ ├── store.txt │ │ │ │ └── u32_ops.txt │ │ ├── src │ │ │ ├── backend.rs │ │ │ ├── builder.rs │ │ │ ├── builder │ │ │ │ ├── aggregates.rs │ │ │ │ ├── asserts.rs │ │ │ │ ├── calls.rs │ │ │ │ ├── ctrlflow.rs │ │ │ │ ├── emit.rs │ │ │ │ ├── felt.rs │ │ │ │ ├── normalize.rs │ │ │ │ ├── store.rs │ │ │ │ └── u32_ops.rs │ │ │ ├── db.rs │ │ │ ├── generator.rs │ │ │ ├── layout.rs │ │ │ ├── lib.rs │ │ │ ├── mir_passes │ │ │ │ ├── legalize.rs │ │ │ │ └── mod.rs │ │ │ ├── passes │ │ │ │ └── mod.rs │ │ │ └── test_support.rs │ │ └── tests │ │ │ ├── common │ │ │ └── mod.rs │ │ │ ├── label_resolution_tests.rs │ │ │ ├── mdtest_snapshots.rs │ │ │ ├── multi_file_integration.rs │ │ │ └── snapshots │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_access_with_variable_index.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_as_function_parameter.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_as_function_parameter_2.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_bounds_and_memory_safety.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_element_assignment.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_in_structs_and_tuples.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_iteration_pattern.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___array_repetition_syntax.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types_2.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types_3.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___basic_array_creation.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___basic_array_creation_2.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___constant_arrays.snap │ │ │ ├── mdtest_codegen_snapshots@arrays_in_cairo_m___constant_arrays_2.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_and.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_and_2.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_or.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_or_2.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_xor.snap │ │ │ ├── mdtest_codegen_snapshots@bitwise_operations___bitwise_xor_2.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___control_flow_operations___conditional_jumps___jnzfpimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___control_flow_operations___function_calls___callabsimm_and_ret.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___control_flow_operations___unconditional_jumps___jmpabsimm_and_jmprelimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___addition___storeaddfpfp_and_storeaddfpimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___division___storedivfpfp_and_storedivfpimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___multiplication___storemulfpfp_and_storemulfpimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___subtraction___storesubfpfp_and_storesubfpimm.snap │ │ │ ├── mdtest_codegen_snapshots@cairo_m_assembly_opcodes___memory_operations___immediate_store___storeimm.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___assertions.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___binary_operations.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___comparison_operations.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___compound_expressions.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___expression_evaluation_order.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___expression_side_effects.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___logical_operations.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___nested_function_calls_in_expressions.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___operator_precedence.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___unary_operations___logical_not.snap │ │ │ ├── mdtest_codegen_snapshots@complex_expressions_in_cairo_m___unary_operations___negation.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___complex_expression_edge_cases.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___field_boundary_values.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___infinite_loop_with_break_condition.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___memory_and_stack_edge_cases.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___negative_number_wraparound.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___u32_overflow_behavior.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___unreachable_code_after_return.snap │ │ │ ├── mdtest_codegen_snapshots@error_handling_and_edge_cases_in_cairo_m___zero_conditions_and_truthiness.snap │ │ │ ├── mdtest_codegen_snapshots@example_programs___comprehensive_rpg_combat_system.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___associativity_and_commutativity.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___basic_arithmetic_operations.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___complex_expressions.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___division_in_field.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___division_in_field_2.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___field_wraparound.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___field_wraparound_2.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___field_wraparound_3.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___negative_numbers.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___overflow_behavior.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___powers_and_exponentiation.snap │ │ │ ├── mdtest_codegen_snapshots@field_arithmetic_in_cairo_m___zero_and_one.snap │ │ │ ├── mdtest_codegen_snapshots@functions_in_cairo_m___function_calls.snap │ │ │ ├── mdtest_codegen_snapshots@functions_in_cairo_m___function_with_parameters.snap │ │ │ ├── mdtest_codegen_snapshots@functions_in_cairo_m___function_with_return_values.snap │ │ │ ├── mdtest_codegen_snapshots@functions_in_cairo_m___simple_function.snap │ │ │ ├── mdtest_codegen_snapshots@functions_in_cairo_m___simple_function_2.snap │ │ │ ├── mdtest_codegen_snapshots@if_else_statements_in_cairo_m___if_else.snap │ │ │ ├── mdtest_codegen_snapshots@if_else_statements_in_cairo_m___nested_if.snap │ │ │ ├── mdtest_codegen_snapshots@if_else_statements_in_cairo_m___simple_if.snap │ │ │ ├── mdtest_codegen_snapshots@if_else_statements_in_cairo_m___simple_if_2.snap │ │ │ ├── mdtest_codegen_snapshots@literals_in_cairo_m___integer_literals.snap │ │ │ ├── mdtest_codegen_snapshots@literals_in_cairo_m___negative_numbers.snap │ │ │ ├── mdtest_codegen_snapshots@loops_in_cairo_m___continue_in_loops.snap │ │ │ ├── mdtest_codegen_snapshots@loops_in_cairo_m___for_loop.snap │ │ │ ├── mdtest_codegen_snapshots@loops_in_cairo_m___loop_with_break.snap │ │ │ ├── mdtest_codegen_snapshots@loops_in_cairo_m___nested_loops.snap │ │ │ ├── mdtest_codegen_snapshots@loops_in_cairo_m___while_loop.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___basic_multiple_functions.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___complex_call_patterns.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___function_call_chain.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___helper_functions.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___mathematical_operations.snap │ │ │ ├── mdtest_codegen_snapshots@multiple_functions_in_cairo_m___mutual_recursion.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___argument_order_optimization.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___dead_code_elimination.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___in_place_updates.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___loop_optimization.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___single_argument_optimization.snap │ │ │ ├── mdtest_codegen_snapshots@optimization_patterns_in_cairo_m___unused_variable_elimination.snap │ │ │ ├── mdtest_codegen_snapshots@pointers_and_heap_allocation__new____allocate_felt_and_read_back.snap │ │ │ ├── mdtest_codegen_snapshots@pointers_and_heap_allocation__new____allocate_struct_pointer_and_access_fields.snap │ │ │ ├── mdtest_codegen_snapshots@pointers_and_heap_allocation__new____allocate_u32_with_dynamic_size.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___felt_type.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___type_inference.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_addition.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_division.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_multiplication.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_remainder.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_subtraction.snap │ │ │ ├── mdtest_codegen_snapshots@primitive_types_in_cairo_m___u32_type___u32_subtraction_2.snap │ │ │ ├── mdtest_codegen_snapshots@recursion_in_cairo_m___fibonacci_sequence.snap │ │ │ ├── mdtest_codegen_snapshots@recursion_in_cairo_m___simple_recursion.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___basic_struct_definition.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___basic_struct_definition_2.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___multi_slot_aggregate_store.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___nested_structs.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___struct_as_function_parameter.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___struct_field_access.snap │ │ │ ├── mdtest_codegen_snapshots@structs_in_cairo_m___struct_field_access_2.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___basic_tuple_creation.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___basic_tuple_creation___tuple_with_a_single_element.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___nested_tuples.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___tuple_destructuring.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___tuple_member_access.snap │ │ │ ├── mdtest_codegen_snapshots@tuples_in_cairo_m___tuple_member_assignment.snap │ │ │ ├── mdtest_codegen_snapshots@type_casts___casting_a_u32_that_doesn_t_fit_in_a_felt_2.snap │ │ │ ├── mdtest_codegen_snapshots@type_casts___casting_from_u32_to_felt.snap │ │ │ ├── mdtest_codegen_snapshots@type_casts___casting_from_u32_to_felt_2.snap │ │ │ ├── mdtest_codegen_snapshots@variables_in_cairo_m___constants.snap │ │ │ ├── mdtest_codegen_snapshots@variables_in_cairo_m___multiple_variables.snap │ │ │ ├── mdtest_codegen_snapshots@variables_in_cairo_m___variable_declaration.snap │ │ │ ├── mdtest_codegen_snapshots@variables_in_cairo_m___variable_mutation.snap │ │ │ └── mdtest_codegen_snapshots@variables_in_cairo_m___variable_shadowing.snap │ ├── diagnostics │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── diagnostics.rs │ │ │ ├── lib.rs │ │ │ └── reporting.rs │ ├── formatter │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ ├── api.rs │ │ │ ├── comment_attachment.rs │ │ │ ├── comment_preserver.rs │ │ │ ├── config.rs │ │ │ ├── context.rs │ │ │ ├── doc.rs │ │ │ ├── lib.rs │ │ │ ├── rules │ │ │ │ ├── expressions.rs │ │ │ │ ├── items.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── patterns.rs │ │ │ │ ├── statements.rs │ │ │ │ └── types.rs │ │ │ ├── simple_comment_preserver.rs │ │ │ ├── trivia.rs │ │ │ └── utils.rs │ │ └── tests │ │ │ ├── comment_tests.rs │ │ │ ├── docstring_attachment_tests.rs │ │ │ ├── formatter_tests.rs │ │ │ └── snapshots │ │ │ ├── formatter_tests__fn test(x:felt)->felt{if x==0{return 1;}else{return x;}}.snap │ │ │ ├── formatter_tests__format_const.snap │ │ │ ├── formatter_tests__format_simple_function.snap │ │ │ ├── formatter_tests__format_struct.snap │ │ │ ├── formatter_tests__format_use_statement.snap │ │ │ ├── formatter_tests__format_while_statement_with_parens.snap │ │ │ └── formatter_tests__format_while_statement_without_parens.snap │ ├── mir │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ ├── aggregate_instruction_tests.rs │ │ │ ├── basic_block.rs │ │ │ ├── builder │ │ │ │ ├── cfg_builder.rs │ │ │ │ ├── instr_builder.rs │ │ │ │ └── mod.rs │ │ │ ├── cfg.rs │ │ │ ├── db.rs │ │ │ ├── function.rs │ │ │ ├── function_tests.rs │ │ │ ├── insert_instructions_test.rs │ │ │ ├── instruction.rs │ │ │ ├── instruction_tests.rs │ │ │ ├── layout.rs │ │ │ ├── lib.rs │ │ │ ├── lowering │ │ │ │ ├── array_load_store_tests.rs │ │ │ │ ├── array_memory_tests.rs │ │ │ │ ├── builder.rs │ │ │ │ ├── expr.rs │ │ │ │ ├── function.rs │ │ │ │ ├── member_access_array_index_tests.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── stmt.rs │ │ │ │ ├── utils.rs │ │ │ │ └── value_based_tests.rs │ │ │ ├── mir_types.rs │ │ │ ├── module.rs │ │ │ ├── passes.rs │ │ │ ├── passes │ │ │ │ ├── arithmetic_simplify.rs │ │ │ │ ├── const_eval.rs │ │ │ │ ├── constant_folding.rs │ │ │ │ ├── constant_propagation.rs │ │ │ │ ├── copy_propagation.rs │ │ │ │ ├── dead_code_elimination.rs │ │ │ │ ├── fuse_cmp.rs │ │ │ │ ├── local_cse.rs │ │ │ │ ├── phi_elimination.rs │ │ │ │ ├── simplify_branches.rs │ │ │ │ ├── sroa.rs │ │ │ │ └── sroa_tests.rs │ │ │ ├── passes_tests.rs │ │ │ ├── pipeline.rs │ │ │ ├── pipeline_tests.rs │ │ │ ├── pretty_print_tests.rs │ │ │ ├── terminator.rs │ │ │ ├── testing.rs │ │ │ ├── value.rs │ │ │ └── value_visitor.rs │ │ └── tests │ │ │ ├── aggregate_offset_tests.rs │ │ │ ├── aggregate_patterns.rs │ │ │ ├── common │ │ │ └── mod.rs │ │ │ ├── file_id_collision_test.rs │ │ │ ├── mdtest_snapshots.rs │ │ │ ├── multi_file_integration.rs │ │ │ ├── phi_elimination_tests.rs │ │ │ ├── snapshots │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_access_with_variable_index.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_as_function_parameter.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_as_function_parameter_2.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_bounds_and_memory_safety.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_element_assignment.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_in_structs_and_tuples.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_iteration_pattern.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___array_repetition_syntax.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types_2.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___arrays_with_aggregate_types_3.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation_2.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays.snap │ │ │ ├── mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays_2.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_and.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_and_2.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_or.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_or_2.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_xor.snap │ │ │ ├── mdtest_mir_snapshots@bitwise_operations___bitwise_xor_2.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___control_flow_operations___conditional_jumps___jnzfpimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___control_flow_operations___function_calls___callabsimm_and_ret.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___control_flow_operations___unconditional_jumps___jmpabsimm_and_jmprelimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___addition___storeaddfpfp_and_storeaddfpimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___division___storedivfpfp_and_storedivfpimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___multiplication___storemulfpfp_and_storemulfpimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___felt_arithmetic_operations___subtraction___storesubfpfp_and_storesubfpimm.snap │ │ │ ├── mdtest_mir_snapshots@cairo_m_assembly_opcodes___memory_operations___immediate_store___storeimm.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___assertions.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___binary_operations.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___comparison_operations.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___compound_expressions.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___expression_evaluation_order.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___expression_side_effects.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___logical_operations.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___nested_function_calls_in_expressions.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___operator_precedence.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___unary_operations___logical_not.snap │ │ │ ├── mdtest_mir_snapshots@complex_expressions_in_cairo_m___unary_operations___negation.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___complex_expression_edge_cases.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___field_boundary_values.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___infinite_loop_with_break_condition.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___memory_and_stack_edge_cases.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___negative_number_wraparound.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___u32_overflow_behavior.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___unreachable_code_after_return.snap │ │ │ ├── mdtest_mir_snapshots@error_handling_and_edge_cases_in_cairo_m___zero_conditions_and_truthiness.snap │ │ │ ├── mdtest_mir_snapshots@example_programs___comprehensive_rpg_combat_system.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___associativity_and_commutativity.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___basic_arithmetic_operations.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___complex_expressions.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___division_in_field.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___division_in_field_2.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___field_wraparound.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___field_wraparound_2.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___field_wraparound_3.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___negative_numbers.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___overflow_behavior.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___powers_and_exponentiation.snap │ │ │ ├── mdtest_mir_snapshots@field_arithmetic_in_cairo_m___zero_and_one.snap │ │ │ ├── mdtest_mir_snapshots@functions_in_cairo_m___function_calls.snap │ │ │ ├── mdtest_mir_snapshots@functions_in_cairo_m___function_with_parameters.snap │ │ │ ├── mdtest_mir_snapshots@functions_in_cairo_m___function_with_return_values.snap │ │ │ ├── mdtest_mir_snapshots@functions_in_cairo_m___simple_function.snap │ │ │ ├── mdtest_mir_snapshots@functions_in_cairo_m___simple_function_2.snap │ │ │ ├── mdtest_mir_snapshots@if_else_statements_in_cairo_m___if_else.snap │ │ │ ├── mdtest_mir_snapshots@if_else_statements_in_cairo_m___nested_if.snap │ │ │ ├── mdtest_mir_snapshots@if_else_statements_in_cairo_m___simple_if.snap │ │ │ ├── mdtest_mir_snapshots@if_else_statements_in_cairo_m___simple_if_2.snap │ │ │ ├── mdtest_mir_snapshots@literals_in_cairo_m___integer_literals.snap │ │ │ ├── mdtest_mir_snapshots@literals_in_cairo_m___negative_numbers.snap │ │ │ ├── mdtest_mir_snapshots@loops_in_cairo_m___continue_in_loops.snap │ │ │ ├── mdtest_mir_snapshots@loops_in_cairo_m___for_loop.snap │ │ │ ├── mdtest_mir_snapshots@loops_in_cairo_m___loop_with_break.snap │ │ │ ├── mdtest_mir_snapshots@loops_in_cairo_m___nested_loops.snap │ │ │ ├── mdtest_mir_snapshots@loops_in_cairo_m___while_loop.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___basic_multiple_functions.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___complex_call_patterns.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___function_call_chain.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___helper_functions.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___mathematical_operations.snap │ │ │ ├── mdtest_mir_snapshots@multiple_functions_in_cairo_m___mutual_recursion.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___argument_order_optimization.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___dead_code_elimination.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___in_place_updates.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___loop_optimization.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___single_argument_optimization.snap │ │ │ ├── mdtest_mir_snapshots@optimization_patterns_in_cairo_m___unused_variable_elimination.snap │ │ │ ├── mdtest_mir_snapshots@pointers_and_heap_allocation__new____allocate_felt_and_read_back.snap │ │ │ ├── mdtest_mir_snapshots@pointers_and_heap_allocation__new____allocate_struct_pointer_and_access_fields.snap │ │ │ ├── mdtest_mir_snapshots@pointers_and_heap_allocation__new____allocate_u32_with_dynamic_size.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___felt_type.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___type_inference.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_addition.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_division.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_multiplication.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_remainder.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_subtraction.snap │ │ │ ├── mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type___u32_subtraction_2.snap │ │ │ ├── mdtest_mir_snapshots@recursion_in_cairo_m___fibonacci_sequence.snap │ │ │ ├── mdtest_mir_snapshots@recursion_in_cairo_m___simple_recursion.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___basic_struct_definition.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___basic_struct_definition_2.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___multi_slot_aggregate_store.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___nested_structs.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___struct_as_function_parameter.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___struct_field_access.snap │ │ │ ├── mdtest_mir_snapshots@structs_in_cairo_m___struct_field_access_2.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___basic_tuple_creation.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___basic_tuple_creation___tuple_with_a_single_element.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___nested_tuples.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___tuple_destructuring.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___tuple_member_access.snap │ │ │ ├── mdtest_mir_snapshots@tuples_in_cairo_m___tuple_member_assignment.snap │ │ │ ├── mdtest_mir_snapshots@type_casts___casting_a_u32_that_doesn_t_fit_in_a_felt_2.snap │ │ │ ├── mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt.snap │ │ │ ├── mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt_2.snap │ │ │ ├── mdtest_mir_snapshots@variables_in_cairo_m___constants.snap │ │ │ ├── mdtest_mir_snapshots@variables_in_cairo_m___multiple_variables.snap │ │ │ ├── mdtest_mir_snapshots@variables_in_cairo_m___variable_declaration.snap │ │ │ ├── mdtest_mir_snapshots@variables_in_cairo_m___variable_mutation.snap │ │ │ └── mdtest_mir_snapshots@variables_in_cairo_m___variable_shadowing.snap │ │ │ └── test_cases │ │ │ └── cast_u32_to_felt.cm │ ├── parser │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ ├── db.rs │ │ │ ├── lexer.rs │ │ │ ├── lib.rs │ │ │ └── parser.rs │ │ └── tests │ │ │ ├── common.rs │ │ │ ├── mod.rs │ │ │ ├── parser │ │ │ ├── expressions.rs │ │ │ ├── integration.rs │ │ │ ├── mod.rs │ │ │ ├── statements.rs │ │ │ ├── toplevel.rs │ │ │ └── types.rs │ │ │ ├── snapshots │ │ │ ├── diagnostics__file__mod::parser::integration::test_cases_files__tuple_destructuring.cm.snap │ │ │ ├── diagnostics__toplevel::mixed_valid_invalid.snap │ │ │ ├── diagnostics__toplevel::multiple_syntax_errors.snap │ │ │ ├── expressions::bitwise_precedence.snap │ │ │ ├── expressions::bitwise_vs_comparison.snap │ │ │ ├── expressions::bitwise_vs_logical_precedence.snap │ │ │ ├── expressions::comparison_and_logical.snap │ │ │ ├── expressions::complex_expression_precedence.snap │ │ │ ├── expressions::complex_precedence.snap │ │ │ ├── expressions::multiplication_precedence.snap │ │ │ ├── expressions::precedence_chain.snap │ │ │ ├── expressions::unary_neg.snap │ │ │ ├── expressions::unary_not.snap │ │ │ ├── file__mod::parser::integration::test_cases_control_flow__loop_with_breaks.cm.snap │ │ │ ├── file__mod::parser::integration::test_cases_control_flow__nested_loops.cm.snap │ │ │ ├── file__mod::parser::integration::test_cases_control_flow__simple_loop.cm.snap │ │ │ ├── file__mod::parser::integration::test_cases_files__control_flow_loop_with_breaks.cm.snap │ │ │ ├── file__mod::parser::integration::test_cases_files__control_flow_nested_loops.cm.snap │ │ │ ├── file__mod::parser::integration::test_cases_files__control_flow_simple_loop.cm.snap │ │ │ ├── parameterized__expressions::array_indexing_parameterized_ok.snap │ │ │ ├── parameterized__expressions::binary_operations_parameterized_err.snap │ │ │ ├── parameterized__expressions::binary_operations_parameterized_ok.snap │ │ │ ├── parameterized__expressions::cast_expressions_parameterized_err.snap │ │ │ ├── parameterized__expressions::cast_expressions_parameterized_ok.snap │ │ │ ├── parameterized__expressions::cast_precedence_err.snap │ │ │ ├── parameterized__expressions::cast_precedence_ok.snap │ │ │ ├── parameterized__expressions::function_call_parameterized_err.snap │ │ │ ├── parameterized__expressions::function_call_parameterized_ok.snap │ │ │ ├── parameterized__expressions::heap_allocation_new_parameterized_err.snap │ │ │ ├── parameterized__expressions::heap_allocation_new_parameterized_ok.snap │ │ │ ├── parameterized__expressions::identifier_parameterized_err.snap │ │ │ ├── parameterized__expressions::identifier_parameterized_ok.snap │ │ │ ├── parameterized__expressions::member_access_parameterized_ok.snap │ │ │ ├── parameterized__expressions::number_literals_parameterized_err.snap │ │ │ ├── parameterized__expressions::number_literals_parameterized_ok.snap │ │ │ ├── parameterized__expressions::parenthesized_expr_parameterized_ok.snap │ │ │ ├── parameterized__expressions::struct_literal_parameterized_err.snap │ │ │ ├── parameterized__expressions::struct_literal_parameterized_ok.snap │ │ │ ├── parameterized__expressions::tuple_indexing_parameterized_err.snap │ │ │ ├── parameterized__expressions::tuple_indexing_parameterized_ok.snap │ │ │ ├── parameterized__expressions::tuple_parameterized_err.snap │ │ │ ├── parameterized__expressions::tuple_parameterized_ok.snap │ │ │ ├── parameterized__statements::array_creation_parameterized_err.snap │ │ │ ├── parameterized__statements::array_creation_parameterized_ok.snap │ │ │ ├── parameterized__statements::assignment_statements_parameterized_err.snap │ │ │ ├── parameterized__statements::assignment_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::block_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::expression_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::if_statements_parameterized_err.snap │ │ │ ├── parameterized__statements::if_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::let_statements_parameterized_err.snap │ │ │ ├── parameterized__statements::let_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::loop_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::return_statements_parameterized_ok.snap │ │ │ ├── parameterized__statements::test_array_repeat_syntax_ok.snap │ │ │ ├── parameterized__statements::tuple_destructuring_parameterized_ok.snap │ │ │ ├── parameterized__toplevel::function_definitions_parameterized_err.snap │ │ │ ├── parameterized__toplevel::function_definitions_parameterized_ok.snap │ │ │ ├── parameterized__toplevel::invalid_toplevel_parameterized_err.snap │ │ │ ├── parameterized__toplevel::struct_definitions_parameterized_err.snap │ │ │ ├── parameterized__toplevel::struct_definitions_parameterized_ok.snap │ │ │ ├── parameterized__toplevel::toplevel_const_parameterized_ok.snap │ │ │ ├── parameterized__toplevel::use_statements_parameterized_err.snap │ │ │ ├── parameterized__toplevel::use_statements_parameterized_ok.snap │ │ │ ├── toplevel::complete_program.snap │ │ │ ├── toplevel::empty_program.snap │ │ │ ├── toplevel::function_with_loops.snap │ │ │ ├── toplevel::imports_and_functions.snap │ │ │ ├── toplevel::whitespace_only.snap │ │ │ ├── types::complex_tuple_type.snap │ │ │ ├── types::custom_type.snap │ │ │ ├── types::deeply_nested_types.snap │ │ │ ├── types::fixed_size_array_type_custom_type.snap │ │ │ ├── types::fixed_size_array_type_felt.snap │ │ │ ├── types::fixed_size_array_type_u32.snap │ │ │ ├── types::named_type.snap │ │ │ ├── types::nested_pointer.snap │ │ │ ├── types::nested_tuple_type.snap │ │ │ ├── types::pointer_to_custom_type.snap │ │ │ ├── types::pointer_to_tuple.snap │ │ │ ├── types::pointer_type.snap │ │ │ ├── types::single_element_tuple_type.snap │ │ │ ├── types::tuple_of_pointers.snap │ │ │ └── types::tuple_type.snap │ │ │ └── test_cases │ │ │ ├── control_flow │ │ │ ├── loop_with_breaks.cm │ │ │ ├── nested_loops.cm │ │ │ └── simple_loop.cm │ │ │ └── tuple_destructuring.cm │ ├── semantic │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ ├── builtins.rs │ │ │ ├── db.rs │ │ │ ├── definition.rs │ │ │ ├── delta_diagnostics.rs │ │ │ ├── lib.rs │ │ │ ├── place.rs │ │ │ ├── semantic_errors.rs │ │ │ ├── semantic_index.rs │ │ │ ├── semantic_index_tests.rs │ │ │ ├── type_resolution.rs │ │ │ ├── type_resolution_tests.rs │ │ │ ├── types.rs │ │ │ ├── validation │ │ │ │ ├── control_flow_validator.rs │ │ │ │ ├── literal_validator.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── scope_check.rs │ │ │ │ ├── shared.rs │ │ │ │ ├── structural_validator.rs │ │ │ │ ├── type_validator.rs │ │ │ │ └── validator.rs │ │ │ └── visitor.rs │ │ └── tests │ │ │ ├── arrays │ │ │ ├── array_indexing.rs │ │ │ ├── array_literals.rs │ │ │ ├── array_types.rs │ │ │ ├── const_arrays.rs │ │ │ └── mod.rs │ │ │ ├── common │ │ │ ├── mod.rs │ │ │ └── snapshots │ │ │ │ ├── diagnostics__expressions::binary_expressions::test_bitwise_operator_precedence_type_checking.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_assignment_type_mismatch_with_context.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_bool_felt_addition_error.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_comparison_type_mismatch_with_context.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_function_argument_type_mismatch_with_param_name.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_function_not_called_error.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_if_condition_type_error.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_multiple_type_errors_with_suggestions.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_return_type_mismatch_with_function_context.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_struct_with_numeric_field_suggestion.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_tuple_in_arithmetic_operation.snap │ │ │ │ ├── diagnostics__expressions::type_errors::test_unary_op_type_error.snap │ │ │ │ ├── diagnostics__integration::test_comprehensive_error_detection.snap │ │ │ │ ├── diagnostics__integration::test_error_combination_undeclared_and_unused.snap │ │ │ │ ├── parameterized__arrays::array_indexing::test_array_indexing_bounds.snap │ │ │ │ ├── parameterized__arrays::array_indexing::test_array_indexing_type_propagation.snap │ │ │ │ ├── parameterized__arrays::array_indexing::test_compile_time_bounds_checking.snap │ │ │ │ ├── parameterized__arrays::array_literals::test_array_literal_in_expressions.snap │ │ │ │ ├── parameterized__arrays::array_literals::test_array_literal_type_inference.snap │ │ │ │ ├── parameterized__arrays::array_types::test_array_type_compatibility.snap │ │ │ │ ├── parameterized__arrays::array_types::test_array_type_declarations.snap │ │ │ │ ├── parameterized__arrays::const_arrays::test_const_arrays_blocked_in_calls_and_aggregates.snap │ │ │ │ ├── parameterized__arrays::const_arrays::test_const_arrays_cant_be_written_to.snap │ │ │ │ ├── parameterized__arrays::const_arrays::test_const_arrays_cross_module_via_use.snap │ │ │ │ ├── parameterized__control_flow::for_loops::test_for_loops.snap │ │ │ │ ├── parameterized__control_flow::loop_scoping::test_loop_scoping.snap │ │ │ │ ├── parameterized__control_flow::loop_type_checking::test_loop_condition_type_checking.snap │ │ │ │ ├── parameterized__control_flow::loop_validation::test_break_continue_validation.snap │ │ │ │ ├── parameterized__control_flow::missing_returns::test_return_path_analysis.snap │ │ │ │ ├── parameterized__control_flow::unreachable_code::test_unreachable_code_detection.snap │ │ │ │ ├── parameterized__expressions::binary_expressions::test_arithmetic_operator_types.snap │ │ │ │ ├── parameterized__expressions::binary_expressions::test_bitwise_operators.snap │ │ │ │ ├── parameterized__expressions::binary_expressions::test_comparison_operator_type_errors.snap │ │ │ │ ├── parameterized__expressions::binary_expressions::test_comparison_operator_types.snap │ │ │ │ ├── parameterized__expressions::binary_expressions::test_logical_operator_types.snap │ │ │ │ ├── parameterized__expressions::new_expr::test_new_expression_semantics.snap │ │ │ │ ├── parameterized__expressions::pointer_expr::test_new_expression_semantics.snap │ │ │ │ ├── parameterized__expressions::tuple_index::test_tuple_index_expressions.snap │ │ │ │ ├── parameterized__expressions::unary_expressions::test_unary_operator_types.snap │ │ │ │ ├── parameterized__functions::builtins::test_assert_built_in_parameterized.snap │ │ │ │ ├── parameterized__functions::function_calls::test_function_calls.snap │ │ │ │ ├── parameterized__functions::parameter_validation::test_function_parameters.snap │ │ │ │ ├── parameterized__functions::parameter_validation::test_unused_parameters.snap │ │ │ │ ├── parameterized__functions::return_types::test_return_type_validation.snap │ │ │ │ ├── parameterized__functions::tuples::test_nested_tuples.snap │ │ │ │ ├── parameterized__functions::tuples::test_tuple_destructuring.snap │ │ │ │ ├── parameterized__functions::tuples::test_tuple_indexing.snap │ │ │ │ ├── parameterized__integration::multi_file::test_circular_dependencies.snap │ │ │ │ ├── parameterized__integration::multi_file::test_cross_module_imports.snap │ │ │ │ ├── parameterized__integration::multi_file::test_cross_module_type_checking.snap │ │ │ │ ├── parameterized__integration::multi_file::test_cross_module_type_references.snap │ │ │ │ ├── parameterized__integration::multi_file::test_import_conflicts.snap │ │ │ │ ├── parameterized__scoping::duplicate_definitions::test_duplicate_definitions_and_shadowing.snap │ │ │ │ ├── parameterized__scoping::nested_scopes::test_nested_scopes_and_visibility.snap │ │ │ │ ├── parameterized__scoping::undeclared_types::test_undeclared_types_parameterized.snap │ │ │ │ ├── parameterized__scoping::undeclared_variables::test_undeclared_variables_parameterized.snap │ │ │ │ ├── parameterized__scoping::unused_variables::test_unused_variable_detection.snap │ │ │ │ ├── parameterized__statements::assignments::test_assignments.snap │ │ │ │ ├── parameterized__statements::assignments::test_const_assignment.snap │ │ │ │ ├── parameterized__statements::expression_statements::test_expression_statements.snap │ │ │ │ ├── parameterized__statements::let_local_statements::test_let_statements.snap │ │ │ │ ├── parameterized__statements::let_local_statements::test_let_statements_with_type_annotation.snap │ │ │ │ ├── parameterized__structures::literals::test_struct_literals.snap │ │ │ │ ├── parameterized__structures::member_access::test_struct_member_access.snap │ │ │ │ ├── parameterized__types::literal_range_validation_tests::test_felt_literals.snap │ │ │ │ ├── parameterized__types::literal_range_validation_tests::test_u32_literals.snap │ │ │ │ ├── parameterized__types::literal_type_inference_tests::literal_type_inference_suite.snap │ │ │ │ ├── parameterized__types::type_compatibility_tests::test_type_compatibility.snap │ │ │ │ └── parameterized__types::u32_type_tests::test_u32_type_checking.snap │ │ │ ├── control_flow │ │ │ ├── for_loops.rs │ │ │ ├── loop_scoping.rs │ │ │ ├── loop_type_checking.rs │ │ │ ├── loop_validation.rs │ │ │ ├── missing_returns.rs │ │ │ ├── mod.rs │ │ │ └── unreachable_code.rs │ │ │ ├── expressions │ │ │ ├── binary_expressions.rs │ │ │ ├── casts.rs │ │ │ ├── mod.rs │ │ │ ├── pointer_expr.rs │ │ │ ├── tuple_index.rs │ │ │ ├── type_errors.rs │ │ │ └── unary_expressions.rs │ │ │ ├── functions │ │ │ ├── builtins.rs │ │ │ ├── function_calls.rs │ │ │ ├── mod.rs │ │ │ ├── parameter_validation.rs │ │ │ ├── return_types.rs │ │ │ └── tuples.rs │ │ │ ├── integration │ │ │ ├── mod.rs │ │ │ └── multi_file.rs │ │ │ ├── mod.rs │ │ │ ├── scoping │ │ │ ├── duplicate_definitions.rs │ │ │ ├── mod.rs │ │ │ ├── nested_scopes.rs │ │ │ ├── undeclared_types.rs │ │ │ ├── undeclared_variables.rs │ │ │ └── unused_variables.rs │ │ │ ├── semantic_model │ │ │ └── mod.rs │ │ │ ├── statements │ │ │ ├── assignments.rs │ │ │ ├── expression_statements.rs │ │ │ ├── let_local_statements.rs │ │ │ └── mod.rs │ │ │ ├── structures │ │ │ ├── literals.rs │ │ │ ├── member_access.rs │ │ │ └── mod.rs │ │ │ └── types │ │ │ ├── definition_type_tests.rs │ │ │ ├── expression_type_tests.rs │ │ │ ├── fixed_array_tests.rs │ │ │ ├── function_signature_tests.rs │ │ │ ├── literal_range_validation_tests.rs │ │ │ ├── literal_type_inference_tests.rs │ │ │ ├── mod.rs │ │ │ ├── pointer_type_tests.rs │ │ │ ├── query_integration_tests.rs │ │ │ ├── recursive_and_error_types_tests.rs │ │ │ ├── return_type_inference.rs │ │ │ ├── struct_type_tests.rs │ │ │ ├── type_compatibility_tests.rs │ │ │ ├── type_resolution_tests.rs │ │ │ └── u32_type_tests.rs │ ├── src │ │ ├── db.rs │ │ ├── lib.rs │ │ └── main.rs │ └── tests │ │ └── mod.rs ├── prover │ ├── Cargo.toml │ ├── benches │ │ ├── prover_memory_benchmark.rs │ │ ├── prover_speed_benchmark.rs │ │ └── sha_bench_utils.rs │ ├── build.rs │ ├── src │ │ ├── adapter │ │ │ ├── io.rs │ │ │ ├── memory.rs │ │ │ ├── merkle.rs │ │ │ └── mod.rs │ │ ├── components │ │ │ ├── README.md │ │ │ ├── clock_update.rs │ │ │ ├── memory.rs │ │ │ ├── merkle.rs │ │ │ ├── mod.rs │ │ │ ├── opcodes │ │ │ │ ├── assert_eq_fp_imm.rs │ │ │ │ ├── call_abs_imm.rs │ │ │ │ ├── double_deref_fp_fp.rs │ │ │ │ ├── double_deref_fp_imm.rs │ │ │ │ ├── jmp_imm.rs │ │ │ │ ├── jnz_fp_imm.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── ret.rs │ │ │ │ ├── store_fp_fp.rs │ │ │ │ ├── store_fp_imm.rs │ │ │ │ ├── store_frame_pointer.rs │ │ │ │ ├── store_imm.rs │ │ │ │ ├── store_le_fp_imm.rs │ │ │ │ ├── u32_store_add_fp_fp.rs │ │ │ │ ├── u32_store_add_fp_imm.rs │ │ │ │ ├── u32_store_bitwise_fp_fp.rs │ │ │ │ ├── u32_store_bitwise_fp_imm.rs │ │ │ │ ├── u32_store_div_fp_fp.rs │ │ │ │ ├── u32_store_div_fp_imm.rs │ │ │ │ ├── u32_store_eq_fp_fp.rs │ │ │ │ ├── u32_store_eq_fp_imm.rs │ │ │ │ ├── u32_store_imm.rs │ │ │ │ ├── u32_store_lt_fp_fp.rs │ │ │ │ ├── u32_store_lt_fp_imm.rs │ │ │ │ ├── u32_store_mul_fp_fp.rs │ │ │ │ ├── u32_store_mul_fp_imm.rs │ │ │ │ └── u32_store_sub_fp_fp.rs │ │ │ └── poseidon2.rs │ │ ├── debug_tools │ │ │ ├── assert_constraints.rs │ │ │ ├── mod.rs │ │ │ └── relation_tracker.rs │ │ ├── errors.rs │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── poseidon2.rs │ │ ├── preprocessed │ │ │ ├── bitwise.rs │ │ │ ├── mod.rs │ │ │ └── range_check │ │ │ │ ├── mod.rs │ │ │ │ └── range_check_macro.rs │ │ ├── prover.rs │ │ ├── prover_config.rs │ │ ├── public_data.rs │ │ ├── relations.rs │ │ ├── utils │ │ │ ├── data_accesses.rs │ │ │ ├── enabler.rs │ │ │ ├── execution_bundle.rs │ │ │ └── mod.rs │ │ └── verifier.rs │ └── tests │ │ ├── poseidon2.rs │ │ ├── prover.rs │ │ └── serialization.rs ├── runner │ ├── CLAUDE.md │ ├── Cargo.toml │ ├── benches │ │ ├── fibonacci_loop.cm │ │ └── vm_benchmark.rs │ ├── build.rs │ ├── proptest-regressions │ │ └── vm │ │ │ └── instructions │ │ │ └── store_tests.txt │ ├── src │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── memory │ │ │ └── mod.rs │ │ └── vm │ │ │ ├── instructions │ │ │ ├── assert.rs │ │ │ ├── call.rs │ │ │ ├── call_tests.rs │ │ │ ├── jnz.rs │ │ │ ├── jnz_tests.rs │ │ │ ├── jump.rs │ │ │ ├── jump_tests.rs │ │ │ ├── mod.rs │ │ │ ├── print.rs │ │ │ ├── print_tests.rs │ │ │ ├── store.rs │ │ │ └── store_tests.rs │ │ │ ├── mod.rs │ │ │ ├── state.rs │ │ │ └── vm_tests.rs │ └── tests │ │ ├── abi_codec_tests.rs │ │ ├── common │ │ └── mod.rs │ │ ├── diff_tests.rs │ │ ├── mdtest_generated.rs │ │ └── opt_equivalence.rs ├── test_utils │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── mdtest │ │ ├── config.rs │ │ ├── mod.rs │ │ ├── parser.rs │ │ └── runner.rs └── wasm │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── sample-programs │ ├── ackermann │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── fib │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs │ ├── src │ ├── lib.rs │ ├── loader.rs │ ├── lowering │ │ ├── cfg.rs │ │ ├── context.rs │ │ ├── mod.rs │ │ └── ops.rs │ └── main.rs │ └── tests │ ├── diff_tests.proptest-regressions │ ├── diff_tests.rs │ ├── snapshots │ ├── wasm_to_mir_tests__convert_fib_wasm.snap │ ├── wasm_to_mir_tests__convert_func_call_wasm.snap │ ├── wasm_to_mir_tests__convert_i32_arithmetic_wasm.snap │ ├── wasm_to_mir_tests__convert_i32_bitwise_wasm.snap │ ├── wasm_to_mir_tests__convert_if_statement_wasm.snap │ ├── wasm_to_mir_tests__convert_load_store_wasm.snap │ ├── wasm_to_mir_tests__convert_locals_wasm.snap │ ├── wasm_to_mir_tests__convert_nested_loop_wasm.snap │ ├── wasm_to_mir_tests__convert_simple_if_wasm.snap │ └── wasm_to_mir_tests__convert_simple_loop_wasm.snap │ ├── test_cases │ ├── fib.wat │ ├── func_call.wat │ ├── i32_arithmetic.wat │ ├── i32_bitwise.wat │ ├── if_statement.wat │ ├── load_store.wat │ ├── locals.wat │ ├── nested_loop.wat │ ├── simple_if.wat │ └── simple_loop.wat │ ├── test_utils.rs │ └── wasm_to_mir_tests.rs ├── cspell.yaml ├── docs ├── design.md ├── design.pdf ├── fibrace │ ├── NOTEBOOK_SETUP.md │ ├── performance-report.ipynb │ ├── performance-report.pdf │ ├── pyproject.toml │ ├── snapshot_09_30_2025 │ │ ├── crashLogs │ │ │ └── documents.jsonl │ │ ├── devices │ │ │ ├── documents.jsonl │ │ │ └── specs.csv │ │ ├── mintedItems │ │ │ └── documents.jsonl │ │ └── players │ │ │ └── documents.jsonl │ └── uv.lock ├── filters │ └── links-to-references.lua ├── getting-started.md ├── lang │ └── project-structure.md ├── pandoc-header.tex ├── pandoc.yaml └── stwo-debug.md ├── examples └── sha256-cairo-m │ ├── .cargo │ └── config.toml │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── cairom.toml │ ├── osv-scanner.toml │ ├── rust-toolchain.toml │ ├── src │ ├── lib.rs │ └── sha256.cm │ └── tests │ └── integration_test.rs ├── mdtest ├── 01-basics │ ├── 01-literals.md │ ├── 02-variables.md │ ├── 03-functions.md │ ├── 03-primitive-types.md │ ├── 04-arithmetic.md │ ├── 05-arrays.md │ ├── 06-expressions.md │ ├── 07-bitwise.md │ └── 08-type-casts.md ├── 02-control-flow │ ├── 01-if-else.md │ └── 02-loops.md ├── 03-types │ ├── 01-tuples.md │ ├── 02-structs.md │ └── 03-pointers-and-heap.md ├── 04-advanced │ ├── 01-recursion.md │ ├── 02-multiple-functions.md │ ├── 03-mutual-recursion.md │ └── 04-optimization.md ├── 05-edge-cases │ └── 01-error-handling.md ├── 07-example-programs │ └── example-00.md └── README.md ├── rust-toolchain.toml ├── test_data └── functions │ ├── ackermann.cm │ ├── all_opcodes.cm │ ├── assign_to_binop.cm │ ├── assignment.cm │ ├── call_as_statement.cm │ ├── call_with_return.cm │ ├── combination.cm │ ├── dead_code.cm │ ├── double_factorial.cm │ ├── factorial.cm │ ├── fib.cm │ ├── fib_loop.cm │ ├── fibonacci.cm │ ├── fibonacci_loop.cm │ ├── function_simple.cm │ ├── function_with_let.cm │ ├── function_with_params.cm │ ├── loops_with_break_continue.cm │ ├── multiple_functions.cm │ ├── mutual_recursion.cm │ ├── nested_calls.cm │ ├── nested_while_loops.cm │ ├── power.cm │ ├── reassignment_from_var.cm │ ├── return_values.cm │ ├── simple_call.cm │ ├── sum_n.cm │ ├── triangular.cm │ ├── u32_operations.cm │ ├── u32_type.cm │ ├── unused_variable_elimination.cm │ └── zero_conditions.cm ├── tutorials └── cairomlings │ ├── .cairomlings-state.txt │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── exercises │ ├── 00_intro │ │ ├── README.md │ │ ├── intro1.cm │ │ └── intro2.cm │ ├── 01_variables │ │ ├── README.md │ │ ├── variables1.cm │ │ ├── variables2.cm │ │ ├── variables3.cm │ │ ├── variables4.cm │ │ ├── variables5.cm │ │ └── variables6.cm │ ├── 02_functions │ │ ├── README.md │ │ ├── functions1.cm │ │ ├── functions2.cm │ │ ├── functions3.cm │ │ ├── functions4.cm │ │ └── functions5.cm │ ├── 03_if │ │ ├── README.md │ │ └── if1.cm │ ├── 04_primitive_types │ │ ├── README.md │ │ ├── primitive_types1.cm │ │ ├── primitive_types2.cm │ │ ├── primitive_types3.cm │ │ ├── primitive_types4.cm │ │ ├── primitive_types5.cm │ │ └── primitive_types6.cm │ ├── 05_structs │ │ ├── README.md │ │ ├── structs1.cm │ │ └── structs2.cm │ ├── 06_pointers │ │ ├── README.md │ │ ├── pointers1.cm │ │ └── pointers2.cm │ ├── 07_loops │ │ ├── README.md │ │ ├── loops1.cm │ │ ├── loops2.cm │ │ └── loops3.cm │ └── README.md │ ├── info.toml │ ├── internal-macros │ ├── Cargo.toml │ ├── info.toml │ └── src │ │ └── lib.rs │ ├── solutions │ ├── 00_intro │ │ ├── README.md │ │ ├── intro1.cm │ │ └── intro2.cm │ ├── 01_variables │ │ ├── README.md │ │ ├── variables1.cm │ │ ├── variables2.cm │ │ ├── variables3.cm │ │ ├── variables4.cm │ │ ├── variables5.cm │ │ └── variables6.cm │ ├── 02_functions │ │ ├── README.md │ │ ├── functions1.cm │ │ ├── functions2.cm │ │ ├── functions3.cm │ │ ├── functions4.cm │ │ └── functions5.cm │ ├── 03_if │ │ ├── README.md │ │ └── if1.cm │ ├── 04_primitive_types │ │ ├── README.md │ │ ├── primitive_types1.cm │ │ ├── primitive_types2.cm │ │ ├── primitive_types3.cm │ │ ├── primitive_types4.cm │ │ ├── primitive_types5.cm │ │ └── primitive_types6.cm │ ├── 05_structs │ │ ├── README.md │ │ ├── structs1.cm │ │ └── structs2.cm │ ├── 06_pointers │ │ ├── README.md │ │ ├── pointers1.cm │ │ ├── pointers2.cm │ │ └── structs2.cm │ ├── 07_loops │ │ ├── README.md │ │ ├── loops1.cm │ │ ├── loops2.cm │ │ └── loops3.cm │ └── README.md │ └── src │ ├── app_state.rs │ ├── cargo_toml.rs │ ├── cmd.rs │ ├── dev.rs │ ├── dev │ ├── check.rs │ ├── new.rs │ └── update.rs │ ├── embedded.rs │ ├── exercise.rs │ ├── info_file.rs │ ├── init.rs │ ├── list.rs │ ├── list │ ├── scroll_state.rs │ └── state.rs │ ├── main.rs │ ├── run.rs │ ├── term.rs │ ├── watch.rs │ └── watch │ ├── notify_event.rs │ ├── state.rs │ └── terminal_event.rs └── vscode-cairo-m ├── .gitignore ├── .vscodeignore ├── README.md ├── language-configuration.json ├── package.json ├── src └── extension.ts ├── syntaxes └── cairo-m.tmLanguage.json └── tsconfig.json /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.claude/commands/commit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.claude/commands/commit.md -------------------------------------------------------------------------------- /.claude/commands/issue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.claude/commands/issue.md -------------------------------------------------------------------------------- /.claude/commands/maintainer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.claude/commands/maintainer.md -------------------------------------------------------------------------------- /.claude/commands/pr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.claude/commands/pr.md -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/benchmark-prover.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/benchmark-prover.yml -------------------------------------------------------------------------------- /.github/workflows/benchmark-runner.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/benchmark-runner.yml -------------------------------------------------------------------------------- /.github/workflows/claude-code-review.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/claude-code-review.yml -------------------------------------------------------------------------------- /.github/workflows/claude.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/claude.yml -------------------------------------------------------------------------------- /.github/workflows/examples-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/examples-tests.yml -------------------------------------------------------------------------------- /.github/workflows/rust-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/rust-tests.yml -------------------------------------------------------------------------------- /.github/workflows/trunk-check.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.github/workflows/trunk-check.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.gitmodules -------------------------------------------------------------------------------- /.trunk/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/.gitignore -------------------------------------------------------------------------------- /.trunk/configs/.markdownlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/configs/.markdownlint.yaml -------------------------------------------------------------------------------- /.trunk/configs/.prettierrc.json: -------------------------------------------------------------------------------- 1 | { 2 | "proseWrap": "always" 3 | } 4 | -------------------------------------------------------------------------------- /.trunk/configs/.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/configs/.rustfmt.toml -------------------------------------------------------------------------------- /.trunk/configs/.yamllint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/configs/.yamllint.yaml -------------------------------------------------------------------------------- /.trunk/configs/osv-scanner.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/configs/osv-scanner.toml -------------------------------------------------------------------------------- /.trunk/trunk.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.trunk/trunk.yaml -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/CLAUDE.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/README.md -------------------------------------------------------------------------------- /crates/cairo-m-ls/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/Cargo.toml -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/backend.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/db/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/db/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/db/swapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/db/swapper.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/diagnostics/controller.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/diagnostics/controller.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/diagnostics/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/diagnostics/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/diagnostics/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/diagnostics/state.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/lib.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/lsp_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/lsp_ext.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/lsp_tracing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/lsp_tracing.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/main.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/project/controller.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/project/controller.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/project/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/project/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/project/model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/project/model.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/src/utils.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/diagnostics_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/diagnostics_test.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/formatting_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/formatting_test.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/goto_definition/cross_file_definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/goto_definition/cross_file_definitions.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/goto_definition/local_definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/goto_definition/local_definitions.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/goto_definition/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/goto_definition/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/cross_file_hover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/cross_file_hover.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_imported_constant.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_imported_constant.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_imported_function.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_imported_function.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_module_name.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__cross_file_hover__hover_on_module_name.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__function_signature_hover.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__function_signature_hover.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_no_info.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_no_info.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_binary_expression.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_binary_expression.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_function_call_result.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_function_call_result.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_struct_field.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_struct_field.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_type_annotation.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__hover_on_type_annotation.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__parameter_type_hover.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__parameter_type_hover.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__return_type_hover.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__return_type_hover.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__variable_type_hover.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/snapshots/e2e__hover__type_hover__variable_type_hover.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/hover/type_hover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/hover/type_hover.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/main.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/simple_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/simple_test.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/snapshots/e2e__diagnostics_test__basic_diagnostics.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/snapshots/e2e__diagnostics_test__basic_diagnostics.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/snapshots/e2e__diagnostics_test__no_errors.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/snapshots/e2e__diagnostics_test__no_errors.snap -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/barrier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/barrier.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/cursor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/cursor.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/fixture.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/fixture.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/insta.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/insta.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/mock_client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/mock_client.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/mod.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/notification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/notification.rs -------------------------------------------------------------------------------- /crates/cairo-m-ls/tests/e2e/support/transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cairo-m-ls/tests/e2e/support/transform.rs -------------------------------------------------------------------------------- /crates/cargo-cairo-m/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/Cargo.toml -------------------------------------------------------------------------------- /crates/cargo-cairo-m/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/src/main.rs -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/Cargo.toml -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/README.md -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/cairom.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/cairom.toml -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/cargo-config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/cargo-config.toml -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/fibonacci.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/fibonacci.cm -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/gitignore -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/integration_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/integration_test.rs -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/cargo-cairo-m/templates/lib.rs -------------------------------------------------------------------------------- /crates/cargo-cairo-m/templates/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2025-04-06" 3 | -------------------------------------------------------------------------------- /crates/common/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/Cargo.toml -------------------------------------------------------------------------------- /crates/common/src/abi_codec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/abi_codec.rs -------------------------------------------------------------------------------- /crates/common/src/execution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/execution.rs -------------------------------------------------------------------------------- /crates/common/src/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/instruction.rs -------------------------------------------------------------------------------- /crates/common/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/lib.rs -------------------------------------------------------------------------------- /crates/common/src/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/program.rs -------------------------------------------------------------------------------- /crates/common/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/src/state.rs -------------------------------------------------------------------------------- /crates/common/tests/instruction_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/common/tests/instruction_tests.rs -------------------------------------------------------------------------------- /crates/compiler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/cairo-m-project/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/cairo-m-project/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/cairo-m-project/src/discovery.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/cairo-m-project/src/discovery.rs -------------------------------------------------------------------------------- /crates/compiler/cairo-m-project/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/cairo-m-project/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/cairo-m-project/src/manifest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/cairo-m-project/src/manifest.rs -------------------------------------------------------------------------------- /crates/compiler/cairo-m-project/src/model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/cairo-m-project/src/model.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/codegen/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/README.md -------------------------------------------------------------------------------- /crates/compiler/codegen/proptest-regressions/builder.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/proptest-regressions/builder.txt -------------------------------------------------------------------------------- /crates/compiler/codegen/proptest-regressions/builder/aggregates.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/proptest-regressions/builder/aggregates.txt -------------------------------------------------------------------------------- /crates/compiler/codegen/proptest-regressions/builder/felt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/proptest-regressions/builder/felt.txt -------------------------------------------------------------------------------- /crates/compiler/codegen/proptest-regressions/builder/store.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/proptest-regressions/builder/store.txt -------------------------------------------------------------------------------- /crates/compiler/codegen/proptest-regressions/builder/u32_ops.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/proptest-regressions/builder/u32_ops.txt -------------------------------------------------------------------------------- /crates/compiler/codegen/src/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/backend.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/aggregates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/aggregates.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/asserts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/asserts.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/calls.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/ctrlflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/ctrlflow.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/emit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/emit.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/felt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/felt.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/normalize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/normalize.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/store.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/builder/u32_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/builder/u32_ops.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/db.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/generator.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/layout.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/mir_passes/legalize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/mir_passes/legalize.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/mir_passes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/mir_passes/mod.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/passes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/passes/mod.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/src/test_support.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/src/test_support.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/common/mod.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/label_resolution_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/label_resolution_tests.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/mdtest_snapshots.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/mdtest_snapshots.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/multi_file_integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/multi_file_integration.rs -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@arrays_in_cairo_m___constant_arrays.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@arrays_in_cairo_m___constant_arrays.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_and.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_and.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_and_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_and_2.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_or.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_or.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_or_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_or_2.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_xor.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_xor.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_xor_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@bitwise_operations___bitwise_xor_2.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___for_loop.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___for_loop.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___loop_with_break.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___loop_with_break.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___nested_loops.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___nested_loops.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___while_loop.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@loops_in_cairo_m___while_loop.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@structs_in_cairo_m___nested_structs.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@structs_in_cairo_m___nested_structs.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@tuples_in_cairo_m___nested_tuples.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@tuples_in_cairo_m___nested_tuples.snap -------------------------------------------------------------------------------- /crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@variables_in_cairo_m___constants.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/codegen/tests/snapshots/mdtest_codegen_snapshots@variables_in_cairo_m___constants.snap -------------------------------------------------------------------------------- /crates/compiler/diagnostics/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/diagnostics/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/diagnostics/src/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/diagnostics/src/diagnostics.rs -------------------------------------------------------------------------------- /crates/compiler/diagnostics/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/diagnostics/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/diagnostics/src/reporting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/diagnostics/src/reporting.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/formatter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/README.md -------------------------------------------------------------------------------- /crates/compiler/formatter/src/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/api.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/comment_attachment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/comment_attachment.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/comment_preserver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/comment_preserver.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/config.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/context.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/doc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/doc.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/expressions.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/items.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/items.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/mod.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/patterns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/patterns.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/statements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/statements.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/rules/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/rules/types.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/simple_comment_preserver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/simple_comment_preserver.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/trivia.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/trivia.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/src/utils.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/comment_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/comment_tests.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/docstring_attachment_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/docstring_attachment_tests.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/formatter_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/formatter_tests.rs -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_const.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_const.snap -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_simple_function.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_simple_function.snap -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_struct.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_struct.snap -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_use_statement.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_use_statement.snap -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_while_statement_with_parens.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_while_statement_with_parens.snap -------------------------------------------------------------------------------- /crates/compiler/formatter/tests/snapshots/formatter_tests__format_while_statement_without_parens.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/formatter/tests/snapshots/formatter_tests__format_while_statement_without_parens.snap -------------------------------------------------------------------------------- /crates/compiler/mir/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/mir/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/README.md -------------------------------------------------------------------------------- /crates/compiler/mir/src/aggregate_instruction_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/aggregate_instruction_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/basic_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/basic_block.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/builder/cfg_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/builder/cfg_builder.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/builder/instr_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/builder/instr_builder.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/builder/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/builder/mod.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/cfg.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/db.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/function.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/function_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/function_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/insert_instructions_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/insert_instructions_test.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/instruction.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/instruction_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/instruction_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/layout.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/array_load_store_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/array_load_store_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/array_memory_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/array_memory_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/builder.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/expr.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/function.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/member_access_array_index_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/member_access_array_index_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/mod.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/stmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/stmt.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/utils.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/lowering/value_based_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/lowering/value_based_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/mir_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/mir_types.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/module.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/arithmetic_simplify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/arithmetic_simplify.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/const_eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/const_eval.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/constant_folding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/constant_folding.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/constant_propagation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/constant_propagation.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/copy_propagation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/copy_propagation.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/dead_code_elimination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/dead_code_elimination.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/fuse_cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/fuse_cmp.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/local_cse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/local_cse.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/phi_elimination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/phi_elimination.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/simplify_branches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/simplify_branches.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/sroa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/sroa.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes/sroa_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes/sroa_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/passes_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/passes_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/pipeline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/pipeline.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/pipeline_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/pipeline_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/pretty_print_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/pretty_print_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/terminator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/terminator.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/testing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/testing.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/value.rs -------------------------------------------------------------------------------- /crates/compiler/mir/src/value_visitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/src/value_visitor.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/aggregate_offset_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/aggregate_offset_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/aggregate_patterns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/aggregate_patterns.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/common/mod.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/file_id_collision_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/file_id_collision_test.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/mdtest_snapshots.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/mdtest_snapshots.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/multi_file_integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/multi_file_integration.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/phi_elimination_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/phi_elimination_tests.rs -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___array_iteration_pattern.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___array_iteration_pattern.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___array_repetition_syntax.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___array_repetition_syntax.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___basic_array_creation_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@arrays_in_cairo_m___constant_arrays_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_and.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_and.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_and_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_and_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_or.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_or.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_or_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_or_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_xor.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_xor.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_xor_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@bitwise_operations___bitwise_xor_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@complex_expressions_in_cairo_m___assertions.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@complex_expressions_in_cairo_m___assertions.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@field_arithmetic_in_cairo_m___zero_and_one.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@field_arithmetic_in_cairo_m___zero_and_one.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___function_calls.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___function_calls.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___simple_function.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___simple_function.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___simple_function_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@functions_in_cairo_m___simple_function_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___if_else.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___if_else.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___nested_if.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___nested_if.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___simple_if.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@if_else_statements_in_cairo_m___simple_if.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@literals_in_cairo_m___integer_literals.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@literals_in_cairo_m___integer_literals.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@literals_in_cairo_m___negative_numbers.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@literals_in_cairo_m___negative_numbers.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___continue_in_loops.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___continue_in_loops.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___for_loop.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___for_loop.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___loop_with_break.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___loop_with_break.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___nested_loops.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___nested_loops.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___while_loop.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@loops_in_cairo_m___while_loop.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@primitive_types_in_cairo_m___felt_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@primitive_types_in_cairo_m___felt_type.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@primitive_types_in_cairo_m___u32_type.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@recursion_in_cairo_m___simple_recursion.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@recursion_in_cairo_m___simple_recursion.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@structs_in_cairo_m___nested_structs.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@structs_in_cairo_m___nested_structs.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@structs_in_cairo_m___struct_field_access.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@structs_in_cairo_m___struct_field_access.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___basic_tuple_creation.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___basic_tuple_creation.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___nested_tuples.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___nested_tuples.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___tuple_destructuring.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___tuple_destructuring.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___tuple_member_access.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@tuples_in_cairo_m___tuple_member_access.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt_2.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@type_casts___casting_from_u32_to_felt_2.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@variables_in_cairo_m___constants.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@variables_in_cairo_m___constants.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@variables_in_cairo_m___variable_mutation.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/snapshots/mdtest_mir_snapshots@variables_in_cairo_m___variable_mutation.snap -------------------------------------------------------------------------------- /crates/compiler/mir/tests/test_cases/cast_u32_to_felt.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/mir/tests/test_cases/cast_u32_to_felt.cm -------------------------------------------------------------------------------- /crates/compiler/parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/README.md -------------------------------------------------------------------------------- /crates/compiler/parser/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/src/db.rs -------------------------------------------------------------------------------- /crates/compiler/parser/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/src/lexer.rs -------------------------------------------------------------------------------- /crates/compiler/parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/parser/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/src/parser.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/common.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/mod.rs: -------------------------------------------------------------------------------- 1 | mod common; 2 | mod parser; 3 | -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/expressions.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/integration.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/mod.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/statements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/statements.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/toplevel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/toplevel.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/parser/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/parser/types.rs -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/diagnostics__toplevel::mixed_valid_invalid.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/diagnostics__toplevel::mixed_valid_invalid.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/diagnostics__toplevel::multiple_syntax_errors.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/diagnostics__toplevel::multiple_syntax_errors.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::bitwise_precedence.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::bitwise_precedence.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::bitwise_vs_comparison.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::bitwise_vs_comparison.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::bitwise_vs_logical_precedence.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::bitwise_vs_logical_precedence.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::comparison_and_logical.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::comparison_and_logical.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::complex_expression_precedence.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::complex_expression_precedence.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::complex_precedence.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::complex_precedence.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::multiplication_precedence.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::multiplication_precedence.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::precedence_chain.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::precedence_chain.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::unary_neg.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::unary_neg.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/expressions::unary_not.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/expressions::unary_not.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::cast_precedence_err.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::cast_precedence_err.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::cast_precedence_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::cast_precedence_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::function_call_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::function_call_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::identifier_parameterized_err.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::identifier_parameterized_err.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::identifier_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::identifier_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::member_access_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::member_access_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::tuple_parameterized_err.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::tuple_parameterized_err.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__expressions::tuple_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__expressions::tuple_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__statements::array_creation_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__statements::array_creation_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__statements::if_statements_parameterized_err.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__statements::if_statements_parameterized_err.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__statements::if_statements_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__statements::if_statements_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__statements::let_statements_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__statements::let_statements_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__statements::test_array_repeat_syntax_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__statements::test_array_repeat_syntax_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__toplevel::toplevel_const_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__toplevel::toplevel_const_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__toplevel::use_statements_parameterized_err.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__toplevel::use_statements_parameterized_err.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/parameterized__toplevel::use_statements_parameterized_ok.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/parameterized__toplevel::use_statements_parameterized_ok.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/toplevel::complete_program.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/toplevel::complete_program.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/toplevel::empty_program.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/toplevel::empty_program.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/toplevel::function_with_loops.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/toplevel::function_with_loops.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/toplevel::imports_and_functions.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/toplevel::imports_and_functions.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/toplevel::whitespace_only.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/toplevel::whitespace_only.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::complex_tuple_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::complex_tuple_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::custom_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::custom_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::deeply_nested_types.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::deeply_nested_types.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_custom_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_custom_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_felt.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_felt.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_u32.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::fixed_size_array_type_u32.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::named_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::named_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::nested_pointer.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::nested_pointer.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::nested_tuple_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::nested_tuple_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::pointer_to_custom_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::pointer_to_custom_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::pointer_to_tuple.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::pointer_to_tuple.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::pointer_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::pointer_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::single_element_tuple_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::single_element_tuple_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::tuple_of_pointers.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::tuple_of_pointers.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/snapshots/types::tuple_type.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/snapshots/types::tuple_type.snap -------------------------------------------------------------------------------- /crates/compiler/parser/tests/test_cases/control_flow/loop_with_breaks.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/test_cases/control_flow/loop_with_breaks.cm -------------------------------------------------------------------------------- /crates/compiler/parser/tests/test_cases/control_flow/nested_loops.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/test_cases/control_flow/nested_loops.cm -------------------------------------------------------------------------------- /crates/compiler/parser/tests/test_cases/control_flow/simple_loop.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/test_cases/control_flow/simple_loop.cm -------------------------------------------------------------------------------- /crates/compiler/parser/tests/test_cases/tuple_destructuring.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/parser/tests/test_cases/tuple_destructuring.cm -------------------------------------------------------------------------------- /crates/compiler/semantic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/semantic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/README.md -------------------------------------------------------------------------------- /crates/compiler/semantic/src/builtins.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/builtins.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/db.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/definition.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/delta_diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/delta_diagnostics.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/place.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/place.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/semantic_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/semantic_errors.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/semantic_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/semantic_index.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/semantic_index_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/semantic_index_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/type_resolution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/type_resolution.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/type_resolution_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/type_resolution_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/types.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/control_flow_validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/control_flow_validator.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/literal_validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/literal_validator.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/scope_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/scope_check.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/shared.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/shared.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/structural_validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/structural_validator.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/type_validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/type_validator.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/validation/validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/validation/validator.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/src/visitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/src/visitor.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/arrays/array_indexing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/arrays/array_indexing.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/arrays/array_literals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/arrays/array_literals.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/arrays/array_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/arrays/array_types.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/arrays/const_arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/arrays/const_arrays.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/arrays/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/arrays/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/common/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/for_loops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/for_loops.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/loop_scoping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/loop_scoping.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/loop_type_checking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/loop_type_checking.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/loop_validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/loop_validation.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/missing_returns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/missing_returns.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/control_flow/unreachable_code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/control_flow/unreachable_code.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/binary_expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/binary_expressions.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/casts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/casts.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/pointer_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/pointer_expr.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/tuple_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/tuple_index.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/type_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/type_errors.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/expressions/unary_expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/expressions/unary_expressions.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/builtins.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/builtins.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/function_calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/function_calls.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/parameter_validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/parameter_validation.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/return_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/return_types.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/functions/tuples.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/functions/tuples.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/integration/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/integration/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/integration/multi_file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/integration/multi_file.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/duplicate_definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/duplicate_definitions.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/nested_scopes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/nested_scopes.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/undeclared_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/undeclared_types.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/undeclared_variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/undeclared_variables.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/scoping/unused_variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/scoping/unused_variables.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/semantic_model/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/semantic_model/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/statements/assignments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/statements/assignments.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/statements/expression_statements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/statements/expression_statements.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/statements/let_local_statements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/statements/let_local_statements.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/statements/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/statements/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/structures/literals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/structures/literals.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/structures/member_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/structures/member_access.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/structures/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/structures/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/definition_type_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/definition_type_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/expression_type_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/expression_type_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/fixed_array_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/fixed_array_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/function_signature_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/function_signature_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/literal_range_validation_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/literal_range_validation_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/literal_type_inference_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/literal_type_inference_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/mod.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/pointer_type_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/pointer_type_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/query_integration_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/query_integration_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/recursive_and_error_types_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/recursive_and_error_types_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/return_type_inference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/return_type_inference.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/struct_type_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/struct_type_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/type_compatibility_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/type_compatibility_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/type_resolution_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/type_resolution_tests.rs -------------------------------------------------------------------------------- /crates/compiler/semantic/tests/types/u32_type_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/semantic/tests/types/u32_type_tests.rs -------------------------------------------------------------------------------- /crates/compiler/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/src/db.rs -------------------------------------------------------------------------------- /crates/compiler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/src/main.rs -------------------------------------------------------------------------------- /crates/compiler/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/compiler/tests/mod.rs -------------------------------------------------------------------------------- /crates/prover/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/Cargo.toml -------------------------------------------------------------------------------- /crates/prover/benches/prover_memory_benchmark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/benches/prover_memory_benchmark.rs -------------------------------------------------------------------------------- /crates/prover/benches/prover_speed_benchmark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/benches/prover_speed_benchmark.rs -------------------------------------------------------------------------------- /crates/prover/benches/sha_bench_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/benches/sha_bench_utils.rs -------------------------------------------------------------------------------- /crates/prover/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/build.rs -------------------------------------------------------------------------------- /crates/prover/src/adapter/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/adapter/io.rs -------------------------------------------------------------------------------- /crates/prover/src/adapter/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/adapter/memory.rs -------------------------------------------------------------------------------- /crates/prover/src/adapter/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/adapter/merkle.rs -------------------------------------------------------------------------------- /crates/prover/src/adapter/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/adapter/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/components/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/README.md -------------------------------------------------------------------------------- /crates/prover/src/components/clock_update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/clock_update.rs -------------------------------------------------------------------------------- /crates/prover/src/components/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/memory.rs -------------------------------------------------------------------------------- /crates/prover/src/components/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/merkle.rs -------------------------------------------------------------------------------- /crates/prover/src/components/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/assert_eq_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/assert_eq_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/call_abs_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/call_abs_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/double_deref_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/double_deref_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/double_deref_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/double_deref_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/jmp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/jmp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/jnz_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/jnz_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/ret.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/ret.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/store_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/store_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/store_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/store_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/store_frame_pointer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/store_frame_pointer.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/store_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/store_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/store_le_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/store_le_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_add_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_add_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_add_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_add_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_bitwise_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_bitwise_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_bitwise_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_bitwise_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_div_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_div_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_div_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_div_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_eq_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_eq_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_eq_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_eq_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_lt_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_lt_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_lt_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_lt_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_mul_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_mul_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_mul_fp_imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_mul_fp_imm.rs -------------------------------------------------------------------------------- /crates/prover/src/components/opcodes/u32_store_sub_fp_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/opcodes/u32_store_sub_fp_fp.rs -------------------------------------------------------------------------------- /crates/prover/src/components/poseidon2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/components/poseidon2.rs -------------------------------------------------------------------------------- /crates/prover/src/debug_tools/assert_constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/debug_tools/assert_constraints.rs -------------------------------------------------------------------------------- /crates/prover/src/debug_tools/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/debug_tools/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/debug_tools/relation_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/debug_tools/relation_tracker.rs -------------------------------------------------------------------------------- /crates/prover/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/errors.rs -------------------------------------------------------------------------------- /crates/prover/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/lib.rs -------------------------------------------------------------------------------- /crates/prover/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/main.rs -------------------------------------------------------------------------------- /crates/prover/src/poseidon2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/poseidon2.rs -------------------------------------------------------------------------------- /crates/prover/src/preprocessed/bitwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/preprocessed/bitwise.rs -------------------------------------------------------------------------------- /crates/prover/src/preprocessed/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/preprocessed/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/preprocessed/range_check/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/preprocessed/range_check/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/preprocessed/range_check/range_check_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/preprocessed/range_check/range_check_macro.rs -------------------------------------------------------------------------------- /crates/prover/src/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/prover.rs -------------------------------------------------------------------------------- /crates/prover/src/prover_config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/prover_config.rs -------------------------------------------------------------------------------- /crates/prover/src/public_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/public_data.rs -------------------------------------------------------------------------------- /crates/prover/src/relations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/relations.rs -------------------------------------------------------------------------------- /crates/prover/src/utils/data_accesses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/utils/data_accesses.rs -------------------------------------------------------------------------------- /crates/prover/src/utils/enabler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/utils/enabler.rs -------------------------------------------------------------------------------- /crates/prover/src/utils/execution_bundle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/utils/execution_bundle.rs -------------------------------------------------------------------------------- /crates/prover/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/utils/mod.rs -------------------------------------------------------------------------------- /crates/prover/src/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/src/verifier.rs -------------------------------------------------------------------------------- /crates/prover/tests/poseidon2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/tests/poseidon2.rs -------------------------------------------------------------------------------- /crates/prover/tests/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/tests/prover.rs -------------------------------------------------------------------------------- /crates/prover/tests/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/prover/tests/serialization.rs -------------------------------------------------------------------------------- /crates/runner/CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/CLAUDE.md -------------------------------------------------------------------------------- /crates/runner/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/Cargo.toml -------------------------------------------------------------------------------- /crates/runner/benches/fibonacci_loop.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/benches/fibonacci_loop.cm -------------------------------------------------------------------------------- /crates/runner/benches/vm_benchmark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/benches/vm_benchmark.rs -------------------------------------------------------------------------------- /crates/runner/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/build.rs -------------------------------------------------------------------------------- /crates/runner/proptest-regressions/vm/instructions/store_tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/proptest-regressions/vm/instructions/store_tests.txt -------------------------------------------------------------------------------- /crates/runner/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/lib.rs -------------------------------------------------------------------------------- /crates/runner/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/main.rs -------------------------------------------------------------------------------- /crates/runner/src/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/memory/mod.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/assert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/assert.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/call.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/call_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/call_tests.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/jnz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/jnz.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/jnz_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/jnz_tests.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/jump.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/jump.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/jump_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/jump_tests.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/mod.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/print.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/print_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/print_tests.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/store.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/instructions/store_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/instructions/store_tests.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/mod.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/state.rs -------------------------------------------------------------------------------- /crates/runner/src/vm/vm_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/src/vm/vm_tests.rs -------------------------------------------------------------------------------- /crates/runner/tests/abi_codec_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/tests/abi_codec_tests.rs -------------------------------------------------------------------------------- /crates/runner/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/tests/common/mod.rs -------------------------------------------------------------------------------- /crates/runner/tests/diff_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/tests/diff_tests.rs -------------------------------------------------------------------------------- /crates/runner/tests/mdtest_generated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/tests/mdtest_generated.rs -------------------------------------------------------------------------------- /crates/runner/tests/opt_equivalence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/runner/tests/opt_equivalence.rs -------------------------------------------------------------------------------- /crates/test_utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/Cargo.toml -------------------------------------------------------------------------------- /crates/test_utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/src/lib.rs -------------------------------------------------------------------------------- /crates/test_utils/src/mdtest/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/src/mdtest/config.rs -------------------------------------------------------------------------------- /crates/test_utils/src/mdtest/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/src/mdtest/mod.rs -------------------------------------------------------------------------------- /crates/test_utils/src/mdtest/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/src/mdtest/parser.rs -------------------------------------------------------------------------------- /crates/test_utils/src/mdtest/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/test_utils/src/mdtest/runner.rs -------------------------------------------------------------------------------- /crates/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | /sample-programs/*/target/ 2 | -------------------------------------------------------------------------------- /crates/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/Cargo.toml -------------------------------------------------------------------------------- /crates/wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/README.md -------------------------------------------------------------------------------- /crates/wasm/sample-programs/ackermann/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/ackermann/Cargo.lock -------------------------------------------------------------------------------- /crates/wasm/sample-programs/ackermann/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/ackermann/Cargo.toml -------------------------------------------------------------------------------- /crates/wasm/sample-programs/ackermann/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/ackermann/src/main.rs -------------------------------------------------------------------------------- /crates/wasm/sample-programs/fib/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/fib/Cargo.lock -------------------------------------------------------------------------------- /crates/wasm/sample-programs/fib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/fib/Cargo.toml -------------------------------------------------------------------------------- /crates/wasm/sample-programs/fib/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/sample-programs/fib/src/main.rs -------------------------------------------------------------------------------- /crates/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/lib.rs -------------------------------------------------------------------------------- /crates/wasm/src/loader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/loader.rs -------------------------------------------------------------------------------- /crates/wasm/src/lowering/cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/lowering/cfg.rs -------------------------------------------------------------------------------- /crates/wasm/src/lowering/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/lowering/context.rs -------------------------------------------------------------------------------- /crates/wasm/src/lowering/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/lowering/mod.rs -------------------------------------------------------------------------------- /crates/wasm/src/lowering/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/lowering/ops.rs -------------------------------------------------------------------------------- /crates/wasm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/src/main.rs -------------------------------------------------------------------------------- /crates/wasm/tests/diff_tests.proptest-regressions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/diff_tests.proptest-regressions -------------------------------------------------------------------------------- /crates/wasm/tests/diff_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/diff_tests.rs -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_fib_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_fib_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_func_call_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_func_call_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_i32_arithmetic_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_i32_arithmetic_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_i32_bitwise_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_i32_bitwise_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_if_statement_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_if_statement_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_load_store_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_load_store_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_locals_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_locals_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_nested_loop_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_nested_loop_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_simple_if_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_simple_if_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_simple_loop_wasm.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/snapshots/wasm_to_mir_tests__convert_simple_loop_wasm.snap -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/fib.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/fib.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/func_call.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/func_call.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/i32_arithmetic.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/i32_arithmetic.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/i32_bitwise.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/i32_bitwise.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/if_statement.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/if_statement.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/load_store.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/load_store.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/locals.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/locals.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/nested_loop.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/nested_loop.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/simple_if.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/simple_if.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_cases/simple_loop.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_cases/simple_loop.wat -------------------------------------------------------------------------------- /crates/wasm/tests/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/test_utils.rs -------------------------------------------------------------------------------- /crates/wasm/tests/wasm_to_mir_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/crates/wasm/tests/wasm_to_mir_tests.rs -------------------------------------------------------------------------------- /cspell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/cspell.yaml -------------------------------------------------------------------------------- /docs/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/design.md -------------------------------------------------------------------------------- /docs/design.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/design.pdf -------------------------------------------------------------------------------- /docs/fibrace/NOTEBOOK_SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/NOTEBOOK_SETUP.md -------------------------------------------------------------------------------- /docs/fibrace/performance-report.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/performance-report.ipynb -------------------------------------------------------------------------------- /docs/fibrace/performance-report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/performance-report.pdf -------------------------------------------------------------------------------- /docs/fibrace/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/pyproject.toml -------------------------------------------------------------------------------- /docs/fibrace/snapshot_09_30_2025/crashLogs/documents.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/snapshot_09_30_2025/crashLogs/documents.jsonl -------------------------------------------------------------------------------- /docs/fibrace/snapshot_09_30_2025/devices/documents.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/snapshot_09_30_2025/devices/documents.jsonl -------------------------------------------------------------------------------- /docs/fibrace/snapshot_09_30_2025/devices/specs.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/snapshot_09_30_2025/devices/specs.csv -------------------------------------------------------------------------------- /docs/fibrace/snapshot_09_30_2025/mintedItems/documents.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/snapshot_09_30_2025/mintedItems/documents.jsonl -------------------------------------------------------------------------------- /docs/fibrace/snapshot_09_30_2025/players/documents.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/snapshot_09_30_2025/players/documents.jsonl -------------------------------------------------------------------------------- /docs/fibrace/uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/fibrace/uv.lock -------------------------------------------------------------------------------- /docs/filters/links-to-references.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/filters/links-to-references.lua -------------------------------------------------------------------------------- /docs/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/getting-started.md -------------------------------------------------------------------------------- /docs/lang/project-structure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/lang/project-structure.md -------------------------------------------------------------------------------- /docs/pandoc-header.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/pandoc-header.tex -------------------------------------------------------------------------------- /docs/pandoc.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/pandoc.yaml -------------------------------------------------------------------------------- /docs/stwo-debug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/docs/stwo-debug.md -------------------------------------------------------------------------------- /examples/sha256-cairo-m/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/.cargo/config.toml -------------------------------------------------------------------------------- /examples/sha256-cairo-m/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/.gitignore -------------------------------------------------------------------------------- /examples/sha256-cairo-m/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/Cargo.lock -------------------------------------------------------------------------------- /examples/sha256-cairo-m/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/Cargo.toml -------------------------------------------------------------------------------- /examples/sha256-cairo-m/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/README.md -------------------------------------------------------------------------------- /examples/sha256-cairo-m/cairom.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/cairom.toml -------------------------------------------------------------------------------- /examples/sha256-cairo-m/osv-scanner.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/osv-scanner.toml -------------------------------------------------------------------------------- /examples/sha256-cairo-m/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2025-04-06" 3 | -------------------------------------------------------------------------------- /examples/sha256-cairo-m/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/src/lib.rs -------------------------------------------------------------------------------- /examples/sha256-cairo-m/src/sha256.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/src/sha256.cm -------------------------------------------------------------------------------- /examples/sha256-cairo-m/tests/integration_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/examples/sha256-cairo-m/tests/integration_test.rs -------------------------------------------------------------------------------- /mdtest/01-basics/01-literals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/01-literals.md -------------------------------------------------------------------------------- /mdtest/01-basics/02-variables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/02-variables.md -------------------------------------------------------------------------------- /mdtest/01-basics/03-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/03-functions.md -------------------------------------------------------------------------------- /mdtest/01-basics/03-primitive-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/03-primitive-types.md -------------------------------------------------------------------------------- /mdtest/01-basics/04-arithmetic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/04-arithmetic.md -------------------------------------------------------------------------------- /mdtest/01-basics/05-arrays.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/05-arrays.md -------------------------------------------------------------------------------- /mdtest/01-basics/06-expressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/06-expressions.md -------------------------------------------------------------------------------- /mdtest/01-basics/07-bitwise.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/07-bitwise.md -------------------------------------------------------------------------------- /mdtest/01-basics/08-type-casts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/01-basics/08-type-casts.md -------------------------------------------------------------------------------- /mdtest/02-control-flow/01-if-else.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/02-control-flow/01-if-else.md -------------------------------------------------------------------------------- /mdtest/02-control-flow/02-loops.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/02-control-flow/02-loops.md -------------------------------------------------------------------------------- /mdtest/03-types/01-tuples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/03-types/01-tuples.md -------------------------------------------------------------------------------- /mdtest/03-types/02-structs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/03-types/02-structs.md -------------------------------------------------------------------------------- /mdtest/03-types/03-pointers-and-heap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/03-types/03-pointers-and-heap.md -------------------------------------------------------------------------------- /mdtest/04-advanced/01-recursion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/04-advanced/01-recursion.md -------------------------------------------------------------------------------- /mdtest/04-advanced/02-multiple-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/04-advanced/02-multiple-functions.md -------------------------------------------------------------------------------- /mdtest/04-advanced/03-mutual-recursion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/04-advanced/03-mutual-recursion.md -------------------------------------------------------------------------------- /mdtest/04-advanced/04-optimization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/04-advanced/04-optimization.md -------------------------------------------------------------------------------- /mdtest/05-edge-cases/01-error-handling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/05-edge-cases/01-error-handling.md -------------------------------------------------------------------------------- /mdtest/07-example-programs/example-00.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/07-example-programs/example-00.md -------------------------------------------------------------------------------- /mdtest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/mdtest/README.md -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2025-04-06" 3 | -------------------------------------------------------------------------------- /test_data/functions/ackermann.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/ackermann.cm -------------------------------------------------------------------------------- /test_data/functions/all_opcodes.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/all_opcodes.cm -------------------------------------------------------------------------------- /test_data/functions/assign_to_binop.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/assign_to_binop.cm -------------------------------------------------------------------------------- /test_data/functions/assignment.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/assignment.cm -------------------------------------------------------------------------------- /test_data/functions/call_as_statement.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/call_as_statement.cm -------------------------------------------------------------------------------- /test_data/functions/call_with_return.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/call_with_return.cm -------------------------------------------------------------------------------- /test_data/functions/combination.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/combination.cm -------------------------------------------------------------------------------- /test_data/functions/dead_code.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/dead_code.cm -------------------------------------------------------------------------------- /test_data/functions/double_factorial.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/double_factorial.cm -------------------------------------------------------------------------------- /test_data/functions/factorial.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/factorial.cm -------------------------------------------------------------------------------- /test_data/functions/fib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/fib.cm -------------------------------------------------------------------------------- /test_data/functions/fib_loop.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/fib_loop.cm -------------------------------------------------------------------------------- /test_data/functions/fibonacci.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/fibonacci.cm -------------------------------------------------------------------------------- /test_data/functions/fibonacci_loop.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/fibonacci_loop.cm -------------------------------------------------------------------------------- /test_data/functions/function_simple.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/function_simple.cm -------------------------------------------------------------------------------- /test_data/functions/function_with_let.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/function_with_let.cm -------------------------------------------------------------------------------- /test_data/functions/function_with_params.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/function_with_params.cm -------------------------------------------------------------------------------- /test_data/functions/loops_with_break_continue.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/loops_with_break_continue.cm -------------------------------------------------------------------------------- /test_data/functions/multiple_functions.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/multiple_functions.cm -------------------------------------------------------------------------------- /test_data/functions/mutual_recursion.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/mutual_recursion.cm -------------------------------------------------------------------------------- /test_data/functions/nested_calls.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/nested_calls.cm -------------------------------------------------------------------------------- /test_data/functions/nested_while_loops.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/nested_while_loops.cm -------------------------------------------------------------------------------- /test_data/functions/power.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/power.cm -------------------------------------------------------------------------------- /test_data/functions/reassignment_from_var.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/reassignment_from_var.cm -------------------------------------------------------------------------------- /test_data/functions/return_values.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/return_values.cm -------------------------------------------------------------------------------- /test_data/functions/simple_call.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/simple_call.cm -------------------------------------------------------------------------------- /test_data/functions/sum_n.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/sum_n.cm -------------------------------------------------------------------------------- /test_data/functions/triangular.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/triangular.cm -------------------------------------------------------------------------------- /test_data/functions/u32_operations.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/u32_operations.cm -------------------------------------------------------------------------------- /test_data/functions/u32_type.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/u32_type.cm -------------------------------------------------------------------------------- /test_data/functions/unused_variable_elimination.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/unused_variable_elimination.cm -------------------------------------------------------------------------------- /test_data/functions/zero_conditions.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/test_data/functions/zero_conditions.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/.cairomlings-state.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/.cairomlings-state.txt -------------------------------------------------------------------------------- /tutorials/cairomlings/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /tutorials/cairomlings/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/Cargo.lock -------------------------------------------------------------------------------- /tutorials/cairomlings/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/Cargo.toml -------------------------------------------------------------------------------- /tutorials/cairomlings/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/00_intro/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/00_intro/intro1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/00_intro/intro1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/00_intro/intro2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/00_intro/intro2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/01_variables/variables6.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/01_variables/variables6.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/functions1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/functions1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/functions2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/functions2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/functions3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/functions3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/functions4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/functions4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/02_functions/functions5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/02_functions/functions5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/03_if/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/03_if/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/03_if/if1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/03_if/if1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/04_primitive_types/primitive_types6.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/04_primitive_types/primitive_types6.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/05_structs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/05_structs/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/05_structs/structs1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/05_structs/structs1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/05_structs/structs2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/05_structs/structs2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/06_pointers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/06_pointers/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/06_pointers/pointers1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/06_pointers/pointers1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/06_pointers/pointers2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/06_pointers/pointers2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/07_loops/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/07_loops/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/07_loops/loops1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/07_loops/loops1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/07_loops/loops2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/07_loops/loops2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/07_loops/loops3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/exercises/07_loops/loops3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/exercises/README.md: -------------------------------------------------------------------------------- 1 | # CairoMlings: Exercises 2 | -------------------------------------------------------------------------------- /tutorials/cairomlings/info.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/info.toml -------------------------------------------------------------------------------- /tutorials/cairomlings/internal-macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/internal-macros/Cargo.toml -------------------------------------------------------------------------------- /tutorials/cairomlings/internal-macros/info.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/internal-macros/info.toml -------------------------------------------------------------------------------- /tutorials/cairomlings/internal-macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/internal-macros/src/lib.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/00_intro/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/00_intro/intro1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/00_intro/intro1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/00_intro/intro2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/00_intro/intro2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/01_variables/variables6.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/01_variables/variables6.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/functions1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/functions1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/functions2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/functions2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/functions3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/functions3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/functions4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/functions4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/02_functions/functions5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/02_functions/functions5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/03_if/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/03_if/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/03_if/if1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/03_if/if1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types4.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types4.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types5.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types5.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/04_primitive_types/primitive_types6.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/04_primitive_types/primitive_types6.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/05_structs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/05_structs/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/05_structs/structs1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/05_structs/structs1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/05_structs/structs2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/05_structs/structs2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/06_pointers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/06_pointers/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/06_pointers/pointers1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/06_pointers/pointers1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/06_pointers/pointers2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/06_pointers/pointers2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/06_pointers/structs2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/06_pointers/structs2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/07_loops/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/07_loops/README.md -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/07_loops/loops1.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/07_loops/loops1.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/07_loops/loops2.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/07_loops/loops2.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/07_loops/loops3.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/solutions/07_loops/loops3.cm -------------------------------------------------------------------------------- /tutorials/cairomlings/solutions/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tutorials/cairomlings/src/app_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/app_state.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/cargo_toml.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/cargo_toml.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/cmd.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/dev.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/dev.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/dev/check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/dev/check.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/dev/new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/dev/new.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/dev/update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/dev/update.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/embedded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/embedded.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/exercise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/exercise.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/info_file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/info_file.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/init.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/list.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/list.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/list/scroll_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/list/scroll_state.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/list/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/list/state.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/main.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/run.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/term.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/watch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/watch.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/watch/notify_event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/watch/notify_event.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/watch/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/watch/state.rs -------------------------------------------------------------------------------- /tutorials/cairomlings/src/watch/terminal_event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/tutorials/cairomlings/src/watch/terminal_event.rs -------------------------------------------------------------------------------- /vscode-cairo-m/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/.gitignore -------------------------------------------------------------------------------- /vscode-cairo-m/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/.vscodeignore -------------------------------------------------------------------------------- /vscode-cairo-m/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/README.md -------------------------------------------------------------------------------- /vscode-cairo-m/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/language-configuration.json -------------------------------------------------------------------------------- /vscode-cairo-m/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/package.json -------------------------------------------------------------------------------- /vscode-cairo-m/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/src/extension.ts -------------------------------------------------------------------------------- /vscode-cairo-m/syntaxes/cairo-m.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/syntaxes/cairo-m.tmLanguage.json -------------------------------------------------------------------------------- /vscode-cairo-m/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kkrt-labs/cairo-m/HEAD/vscode-cairo-m/tsconfig.json --------------------------------------------------------------------------------