├── .cargo └── config ├── .circleci ├── config.yml ├── leo-clean.sh ├── leo-example.sh ├── leo-new.sh ├── lottery │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── lottery.in │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── test-examples.sh ├── tictactoe │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── tictactoe.in │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo └── token │ ├── .gitignore │ ├── README.md │ ├── build │ ├── main.aleo │ └── program.json │ ├── inputs │ └── token.in │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ └── main.leo ├── .codecov.yml ├── .gitattributes ├── .github ├── ISSUE_TEMPLATE.md ├── ISSUE_TEMPLATE │ ├── 0_bug.md │ ├── 1_feature.md │ ├── 2_proposal.md │ ├── 3_documentation.md │ └── config.yml ├── PULL_REQUEST_TEMPLATE.md ├── dependabot.yml └── workflows │ ├── acl2.yml │ ├── ci.yml │ ├── codecov.yml │ ├── docs.yml │ ├── markdown.yml │ └── release.yml ├── .gitignore ├── .resources ├── README-md-1.png ├── license_header └── release-version ├── .rustfmt.toml ├── .rusty-hook.toml ├── CONTRIBUTING.md ├── CONTRIBUTORS.md ├── Cargo.lock ├── Cargo.toml ├── DEVELOPMENT.md ├── LICENSE.md ├── README.md ├── SECURITY.md ├── compiler ├── ast │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ └── src │ │ ├── access │ │ ├── array_access.rs │ │ ├── associated_constant_access.rs │ │ ├── associated_function_access.rs │ │ ├── member_access.rs │ │ ├── mod.rs │ │ └── tuple_access.rs │ │ ├── common │ │ ├── identifier.rs │ │ ├── imported_modules.rs │ │ ├── location.rs │ │ ├── mod.rs │ │ ├── node.rs │ │ ├── node_builder.rs │ │ ├── positive_number.rs │ │ └── static_string.rs │ │ ├── expressions │ │ ├── access.rs │ │ ├── array.rs │ │ ├── binary.rs │ │ ├── call.rs │ │ ├── cast.rs │ │ ├── err.rs │ │ ├── literal.rs │ │ ├── locator.rs │ │ ├── mod.rs │ │ ├── struct_init.rs │ │ ├── ternary.rs │ │ ├── tuple.rs │ │ ├── unary.rs │ │ └── unit.rs │ │ ├── functions │ │ ├── annotation.rs │ │ ├── core_function.rs │ │ ├── input.rs │ │ ├── mod.rs │ │ ├── mode.rs │ │ ├── output.rs │ │ └── variant.rs │ │ ├── groups │ │ ├── group_coordinate.rs │ │ ├── group_literal.rs │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── mapping │ │ └── mod.rs │ │ ├── passes │ │ ├── consumer.rs │ │ ├── mod.rs │ │ ├── reconstructor.rs │ │ └── visitor.rs │ │ ├── program │ │ ├── mod.rs │ │ ├── program_id.rs │ │ └── program_scope.rs │ │ ├── statement │ │ ├── assert.rs │ │ ├── assign.rs │ │ ├── block.rs │ │ ├── conditional.rs │ │ ├── console │ │ │ ├── console_function.rs │ │ │ ├── console_statement.rs │ │ │ └── mod.rs │ │ ├── const_.rs │ │ ├── definition │ │ │ ├── declaration_type.rs │ │ │ └── mod.rs │ │ ├── expression.rs │ │ ├── iteration.rs │ │ ├── mod.rs │ │ └── return_.rs │ │ ├── struct │ │ ├── member.rs │ │ └── mod.rs │ │ ├── stub │ │ ├── function_stub.rs │ │ └── mod.rs │ │ ├── types │ │ ├── array.rs │ │ ├── core_constant.rs │ │ ├── future.rs │ │ ├── integer_type.rs │ │ ├── mapping.rs │ │ ├── mod.rs │ │ ├── struct_type.rs │ │ ├── tuple.rs │ │ └── type_.rs │ │ └── value │ │ └── mod.rs ├── compiler │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ ├── src │ │ ├── compiler.rs │ │ ├── lib.rs │ │ └── options.rs │ └── tests │ │ ├── compile.rs │ │ ├── execute.rs │ │ └── utilities │ │ ├── check_unique_node_ids.rs │ │ ├── mod.rs │ │ └── output.rs ├── parser │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ ├── examples │ │ └── parser.rs │ └── src │ │ ├── lib.rs │ │ ├── parser │ │ ├── context.rs │ │ ├── expression.rs │ │ ├── file.rs │ │ ├── mod.rs │ │ ├── statement.rs │ │ └── type_.rs │ │ ├── test.rs │ │ └── tokenizer │ │ ├── lexer.rs │ │ ├── mod.rs │ │ └── token.rs ├── passes │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ └── src │ │ ├── code_generation │ │ ├── generator.rs │ │ ├── mod.rs │ │ ├── visit_expressions.rs │ │ ├── visit_program.rs │ │ ├── visit_statements.rs │ │ └── visit_type.rs │ │ ├── common │ │ ├── assigner │ │ │ └── mod.rs │ │ ├── constant_propagation_table │ │ │ └── mod.rs │ │ ├── graph │ │ │ └── mod.rs │ │ ├── mod.rs │ │ ├── rename_table │ │ │ └── mod.rs │ │ ├── replacer │ │ │ └── mod.rs │ │ ├── symbol_table │ │ │ ├── function_symbol.rs │ │ │ ├── mod.rs │ │ │ └── variable_symbol.rs │ │ ├── tree_node │ │ │ └── mod.rs │ │ └── type_table │ │ │ └── mod.rs │ │ ├── dead_code_elimination │ │ ├── dead_code_eliminator.rs │ │ ├── eliminate_expression.rs │ │ ├── eliminate_program.rs │ │ ├── eliminate_statement.rs │ │ └── mod.rs │ │ ├── destructuring │ │ ├── destructure_expression.rs │ │ ├── destructure_program.rs │ │ ├── destructure_statement.rs │ │ ├── destructurer.rs │ │ └── mod.rs │ │ ├── flattening │ │ ├── flatten_expression.rs │ │ ├── flatten_program.rs │ │ ├── flatten_statement.rs │ │ ├── flattener.rs │ │ └── mod.rs │ │ ├── function_inlining │ │ ├── assignment_renamer.rs │ │ ├── function_inliner.rs │ │ ├── inline_expression.rs │ │ ├── inline_program.rs │ │ ├── inline_statement.rs │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── loop_unrolling │ │ ├── mod.rs │ │ ├── range_iterator.rs │ │ ├── unroll_expression.rs │ │ ├── unroll_program.rs │ │ ├── unroll_statement.rs │ │ └── unroller.rs │ │ ├── pass.rs │ │ ├── static_single_assignment │ │ ├── mod.rs │ │ ├── rename_expression.rs │ │ ├── rename_program.rs │ │ ├── rename_statement.rs │ │ └── static_single_assigner.rs │ │ ├── symbol_table_creation │ │ ├── creator.rs │ │ └── mod.rs │ │ └── type_checking │ │ ├── await_checker.rs │ │ ├── check_expressions.rs │ │ ├── check_program.rs │ │ ├── check_statements.rs │ │ ├── checker.rs │ │ ├── mod.rs │ │ └── scope_state.rs └── span │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ └── src │ ├── lib.rs │ ├── source_map.rs │ ├── span.rs │ ├── span_json.rs │ └── symbol.rs ├── docs ├── grammar │ ├── .gitattributes │ ├── Cargo.toml │ ├── README.md │ ├── abnf-grammar.txt │ └── src │ │ └── main.rs ├── operators.md ├── rfc │ ├── 000-rfc-format.md │ └── __template.md └── troubleshooting.md ├── errors ├── Cargo.toml ├── ERROR_INDEX.md ├── LICENSE.md ├── README.md └── src │ ├── common │ ├── backtraced.rs │ ├── formatted.rs │ ├── macros.rs │ ├── mod.rs │ └── traits.rs │ ├── emitter │ └── mod.rs │ ├── errors │ ├── ast │ │ ├── ast_errors.rs │ │ └── mod.rs │ ├── cli │ │ ├── cli_errors.rs │ │ └── mod.rs │ ├── compiler │ │ ├── compiler_errors.rs │ │ └── mod.rs │ ├── flattener │ │ ├── flattener_errors.rs │ │ └── mod.rs │ ├── import │ │ ├── import_errors.rs │ │ └── mod.rs │ ├── loop_unroller │ │ ├── loop_unroller_errors.rs │ │ └── mod.rs │ ├── mod.rs │ ├── package │ │ ├── mod.rs │ │ └── package_errors.rs │ ├── parser │ │ ├── mod.rs │ │ ├── parser_errors.rs │ │ └── parser_warnings.rs │ ├── type_checker │ │ ├── mod.rs │ │ ├── type_checker_error.rs │ │ └── type_checker_warning.rs │ └── utils │ │ ├── mod.rs │ │ └── util_errors.rs │ └── lib.rs ├── examples ├── README.md ├── auction │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── basic_bank │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── battleship │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── board │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── board.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── build │ │ ├── imports │ │ │ ├── board.aleo │ │ │ ├── move.aleo │ │ │ └── verify.aleo │ │ ├── main.aleo │ │ └── program.json │ ├── diagram.png │ ├── leo.lock │ ├── move │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── move.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── program.json │ ├── run.sh │ ├── src │ │ └── main.leo │ └── verify │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ ├── main.aleo │ │ └── program.json │ │ ├── inputs │ │ └── verify.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ └── main.leo ├── bubblesort │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── build │ │ │ └── main.avm │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── bubblesort.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── core │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── core.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── fibonacci │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── inputs │ │ └── fibonacci.in │ ├── program.json │ └── src │ │ └── main.leo ├── groups │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── groups.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── hackers-delight │ ├── README.md │ ├── ntzdebruijn │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzdebruijn.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzgaudet │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzgaudet.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzloops │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzloops.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzmasks │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzmasks.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzreisers │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzreisers.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzseals │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzseals.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── ntzsearchtree │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── ntzsearchtree.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ └── ntzsmallvals │ │ ├── .env │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ ├── main.aleo │ │ └── program.json │ │ ├── inputs │ │ └── ntzsmallvals.in │ │ ├── leo.lock │ │ ├── program.json │ │ └── src │ │ └── main.leo ├── helloworld │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── hello │ │ ├── .gitignore │ │ ├── README.md │ │ ├── build │ │ │ ├── main.aleo │ │ │ └── program.json │ │ ├── inputs │ │ │ └── hello.in │ │ ├── program.json │ │ └── src │ │ │ └── main.leo │ ├── inputs │ │ └── helloworld.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── interest │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ ├── bounded.in │ │ └── fixed.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── lottery │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── message │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── message.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── simple_token │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ ├── mint.in │ │ └── transfer.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo ├── tictactoe │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── tictactoe.in │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── token │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ │ └── main.leo ├── twoadicity │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ │ ├── main.aleo │ │ └── program.json │ ├── inputs │ │ └── twoadicity.in │ ├── leo.lock │ ├── program.json │ └── src │ │ └── main.leo └── vote │ ├── .env │ ├── .gitignore │ ├── README.md │ ├── build │ ├── main.aleo │ └── program.json │ ├── inputs │ ├── agree.in │ ├── disagree.in │ ├── new_ticket.in │ └── propose.in │ ├── leo.lock │ ├── program.json │ ├── run.sh │ └── src │ └── main.leo ├── leo ├── README.md ├── cli │ ├── cli.rs │ ├── commands │ │ ├── account.rs │ │ ├── add.rs │ │ ├── build.rs │ │ ├── clean.rs │ │ ├── deploy.rs │ │ ├── example.rs │ │ ├── execute.rs │ │ ├── mod.rs │ │ ├── new.rs │ │ ├── node.rs │ │ ├── query │ │ │ ├── block.rs │ │ │ ├── committee.rs │ │ │ ├── mempool.rs │ │ │ ├── mod.rs │ │ │ ├── peers.rs │ │ │ ├── program.rs │ │ │ ├── state_root.rs │ │ │ ├── transaction.rs │ │ │ └── utils.rs │ │ ├── remove.rs │ │ ├── run.rs │ │ └── update.rs │ ├── helpers │ │ ├── context.rs │ │ ├── logger.rs │ │ ├── mod.rs │ │ └── updater.rs │ ├── main.rs │ ├── mod.rs │ └── tests │ │ └── mod.rs ├── lib.rs └── package │ ├── Cargo.toml │ ├── LICENSE.md │ ├── README.md │ └── src │ ├── build │ ├── directory.rs │ └── mod.rs │ ├── imports │ ├── directory.rs │ └── mod.rs │ ├── inputs │ ├── directory.rs │ └── mod.rs │ ├── lib.rs │ ├── outputs │ ├── ast_snapshot.rs │ ├── checksum.rs │ ├── circuit.rs │ ├── directory.rs │ └── mod.rs │ ├── package.rs │ ├── root │ ├── env.rs │ ├── gitignore.rs │ └── mod.rs │ └── source │ ├── directory.rs │ ├── main.rs │ └── mod.rs ├── tests ├── README.md ├── expectations │ ├── compiler │ │ ├── address │ │ │ ├── binary.out │ │ │ ├── branch.out │ │ │ ├── equal.out │ │ │ ├── gt_fail.out │ │ │ ├── gte_fail.out │ │ │ ├── lt_fail.out │ │ │ ├── lte_fail.out │ │ │ ├── special_address.out │ │ │ └── ternary.out │ │ ├── array │ │ │ ├── access_array_with_loop_counter.out │ │ │ ├── array_access.out │ │ │ ├── array_in_composite_data_types.out │ │ │ ├── array_in_finalize.out │ │ │ ├── array_in_function_signature.out │ │ │ ├── array_in_mapping.out │ │ │ ├── array_initialization.out │ │ │ ├── array_initialization_fail.out │ │ │ ├── array_of_records.out │ │ │ ├── array_of_structs.out │ │ │ ├── array_size_limits.out │ │ │ ├── array_too_large_fail.out │ │ │ ├── array_too_small_fail.out │ │ │ ├── array_variable_access_fail.out │ │ │ ├── array_with_units_fail.out │ │ │ ├── array_write_fail.out │ │ │ └── nested_array_sum_fail.out │ │ ├── boolean │ │ │ ├── and.out │ │ │ ├── conditional.out │ │ │ ├── equal.out │ │ │ ├── not_equal.out │ │ │ ├── operator_methods.out │ │ │ └── or.out │ │ ├── console │ │ │ ├── assert.out │ │ │ ├── assert_fail.out │ │ │ └── conditional_assert.out │ │ ├── constants │ │ │ ├── const_tuple_declaration.out │ │ │ ├── const_type_error_fail.out │ │ │ ├── constant_finalize.out │ │ │ ├── constant_loop_bound.out │ │ │ ├── constant_loop_bound_type_mismatch_fail.out │ │ │ ├── decreasing_constant_loop_bound_fail.out │ │ │ ├── global_shadowing_constant_fail.out │ │ │ ├── global_shadowing_fail.out │ │ │ ├── local_shadowing_fail.out │ │ │ ├── loop_bound_fail.out │ │ │ ├── loop_unrolling.out │ │ │ ├── reassignment_fail.out │ │ │ ├── shadowing_fail.out │ │ │ ├── tuple_definition.out │ │ │ ├── tuple_definition_fail.out │ │ │ ├── tuple_shadow_fail.out │ │ │ └── unroll_loop_with_tuple_definition.out │ │ ├── core │ │ │ ├── algorithms │ │ │ │ ├── bhp1024_commit_to_address.out │ │ │ │ ├── bhp1024_commit_to_field.out │ │ │ │ ├── bhp1024_commit_to_group.out │ │ │ │ ├── bhp1024_hash_to_address.out │ │ │ │ ├── bhp1024_hash_to_field.out │ │ │ │ ├── bhp1024_hash_to_group.out │ │ │ │ ├── bhp1024_hash_to_scalar.out │ │ │ │ ├── bhp256_commit_to_address.out │ │ │ │ ├── bhp256_commit_to_field.out │ │ │ │ ├── bhp256_commit_to_group.out │ │ │ │ ├── bhp256_hash_to_address.out │ │ │ │ ├── bhp256_hash_to_field.out │ │ │ │ ├── bhp256_hash_to_group.out │ │ │ │ ├── bhp256_hash_to_scalar.out │ │ │ │ ├── bhp512_commit_to_address.out │ │ │ │ ├── bhp512_commit_to_field.out │ │ │ │ ├── bhp512_commit_to_group.out │ │ │ │ ├── bhp512_hash_to_address.out │ │ │ │ ├── bhp512_hash_to_field.out │ │ │ │ ├── bhp512_hash_to_group.out │ │ │ │ ├── bhp512_hash_to_scalar.out │ │ │ │ ├── bhp768_commit_to_address.out │ │ │ │ ├── bhp768_commit_to_field.out │ │ │ │ ├── bhp768_commit_to_group.out │ │ │ │ ├── bhp768_hash_to_address.out │ │ │ │ ├── bhp768_hash_to_field.out │ │ │ │ ├── bhp768_hash_to_group.out │ │ │ │ ├── bhp768_hash_to_scalar.out │ │ │ │ ├── integers │ │ │ │ │ ├── bhp1024 │ │ │ │ │ │ ├── bhp1024_hash_to_i128.out │ │ │ │ │ │ ├── bhp1024_hash_to_i16.out │ │ │ │ │ │ ├── bhp1024_hash_to_i32.out │ │ │ │ │ │ ├── bhp1024_hash_to_i64.out │ │ │ │ │ │ ├── bhp1024_hash_to_i8.out │ │ │ │ │ │ ├── bhp1024_hash_to_u128.out │ │ │ │ │ │ ├── bhp1024_hash_to_u16.out │ │ │ │ │ │ ├── bhp1024_hash_to_u32.out │ │ │ │ │ │ ├── bhp1024_hash_to_u64.out │ │ │ │ │ │ └── bhp1024_hash_to_u8.out │ │ │ │ │ ├── bhp256 │ │ │ │ │ │ ├── bhp256_hash_to_i128.out │ │ │ │ │ │ ├── bhp256_hash_to_i16.out │ │ │ │ │ │ ├── bhp256_hash_to_i32.out │ │ │ │ │ │ ├── bhp256_hash_to_i64.out │ │ │ │ │ │ ├── bhp256_hash_to_i8.out │ │ │ │ │ │ ├── bhp256_hash_to_u128.out │ │ │ │ │ │ ├── bhp256_hash_to_u16.out │ │ │ │ │ │ ├── bhp256_hash_to_u32.out │ │ │ │ │ │ ├── bhp256_hash_to_u64.out │ │ │ │ │ │ └── bhp256_hash_to_u8.out │ │ │ │ │ ├── bhp512 │ │ │ │ │ │ ├── bhp512_hash_to_i128.out │ │ │ │ │ │ ├── bhp512_hash_to_i16.out │ │ │ │ │ │ ├── bhp512_hash_to_i32.out │ │ │ │ │ │ ├── bhp512_hash_to_i64.out │ │ │ │ │ │ ├── bhp512_hash_to_i8.out │ │ │ │ │ │ ├── bhp512_hash_to_u128.out │ │ │ │ │ │ ├── bhp512_hash_to_u16.out │ │ │ │ │ │ ├── bhp512_hash_to_u32.out │ │ │ │ │ │ ├── bhp512_hash_to_u64.out │ │ │ │ │ │ └── bhp512_hash_to_u8.out │ │ │ │ │ ├── bhp768 │ │ │ │ │ │ ├── bhp768_hash_to_i128.out │ │ │ │ │ │ ├── bhp768_hash_to_i16.out │ │ │ │ │ │ ├── bhp768_hash_to_i32.out │ │ │ │ │ │ ├── bhp768_hash_to_i64.out │ │ │ │ │ │ ├── bhp768_hash_to_i8.out │ │ │ │ │ │ ├── bhp768_hash_to_u128.out │ │ │ │ │ │ ├── bhp768_hash_to_u16.out │ │ │ │ │ │ ├── bhp768_hash_to_u32.out │ │ │ │ │ │ ├── bhp768_hash_to_u64.out │ │ │ │ │ │ └── bhp768_hash_to_u8.out │ │ │ │ │ ├── keccak256 │ │ │ │ │ │ ├── keccak256_hash_to_i128.out │ │ │ │ │ │ ├── keccak256_hash_to_i16.out │ │ │ │ │ │ ├── keccak256_hash_to_i32.out │ │ │ │ │ │ ├── keccak256_hash_to_i64.out │ │ │ │ │ │ ├── keccak256_hash_to_i8.out │ │ │ │ │ │ ├── keccak256_hash_to_u128.out │ │ │ │ │ │ ├── keccak256_hash_to_u16.out │ │ │ │ │ │ ├── keccak256_hash_to_u32.out │ │ │ │ │ │ ├── keccak256_hash_to_u64.out │ │ │ │ │ │ └── keccak256_hash_to_u8.out │ │ │ │ │ ├── keccak384 │ │ │ │ │ │ ├── keccak384_hash_to_i128.out │ │ │ │ │ │ ├── keccak384_hash_to_i16.out │ │ │ │ │ │ ├── keccak384_hash_to_i32.out │ │ │ │ │ │ ├── keccak384_hash_to_i64.out │ │ │ │ │ │ ├── keccak384_hash_to_i8.out │ │ │ │ │ │ ├── keccak384_hash_to_u128.out │ │ │ │ │ │ ├── keccak384_hash_to_u16.out │ │ │ │ │ │ ├── keccak384_hash_to_u32.out │ │ │ │ │ │ ├── keccak384_hash_to_u64.out │ │ │ │ │ │ └── keccak384_hash_to_u8.out │ │ │ │ │ ├── keccak512 │ │ │ │ │ │ ├── keccak512_hash_to_i128.out │ │ │ │ │ │ ├── keccak512_hash_to_i16.out │ │ │ │ │ │ ├── keccak512_hash_to_i32.out │ │ │ │ │ │ ├── keccak512_hash_to_i64.out │ │ │ │ │ │ ├── keccak512_hash_to_i8.out │ │ │ │ │ │ ├── keccak512_hash_to_u128.out │ │ │ │ │ │ ├── keccak512_hash_to_u16.out │ │ │ │ │ │ ├── keccak512_hash_to_u32.out │ │ │ │ │ │ ├── keccak512_hash_to_u64.out │ │ │ │ │ │ └── keccak512_hash_to_u8.out │ │ │ │ │ ├── pedersen128 │ │ │ │ │ │ ├── pedersen128_hash_to_i128.out │ │ │ │ │ │ ├── pedersen128_hash_to_i16.out │ │ │ │ │ │ ├── pedersen128_hash_to_i32.out │ │ │ │ │ │ ├── pedersen128_hash_to_i64.out │ │ │ │ │ │ ├── pedersen128_hash_to_i8.out │ │ │ │ │ │ ├── pedersen128_hash_to_u128.out │ │ │ │ │ │ ├── pedersen128_hash_to_u16.out │ │ │ │ │ │ ├── pedersen128_hash_to_u32.out │ │ │ │ │ │ ├── pedersen128_hash_to_u64.out │ │ │ │ │ │ └── pedersen128_hash_to_u8.out │ │ │ │ │ ├── pedersen64 │ │ │ │ │ │ ├── pedersen64_hash_to_i128.out │ │ │ │ │ │ ├── pedersen64_hash_to_i16.out │ │ │ │ │ │ ├── pedersen64_hash_to_i32.out │ │ │ │ │ │ ├── pedersen64_hash_to_i64.out │ │ │ │ │ │ ├── pedersen64_hash_to_i8.out │ │ │ │ │ │ ├── pedersen64_hash_to_u128.out │ │ │ │ │ │ ├── pedersen64_hash_to_u16.out │ │ │ │ │ │ ├── pedersen64_hash_to_u32.out │ │ │ │ │ │ ├── pedersen64_hash_to_u64.out │ │ │ │ │ │ └── pedersen64_hash_to_u8.out │ │ │ │ │ ├── poseidon2 │ │ │ │ │ │ ├── poseidon2_hash_to_i128.out │ │ │ │ │ │ ├── poseidon2_hash_to_i16.out │ │ │ │ │ │ ├── poseidon2_hash_to_i32.out │ │ │ │ │ │ ├── poseidon2_hash_to_i64.out │ │ │ │ │ │ ├── poseidon2_hash_to_i8.out │ │ │ │ │ │ ├── poseidon2_hash_to_u128.out │ │ │ │ │ │ ├── poseidon2_hash_to_u16.out │ │ │ │ │ │ ├── poseidon2_hash_to_u32.out │ │ │ │ │ │ ├── poseidon2_hash_to_u64.out │ │ │ │ │ │ └── poseidon2_hash_to_u8.out │ │ │ │ │ ├── poseidon4 │ │ │ │ │ │ ├── poseidon4_hash_to_i128.out │ │ │ │ │ │ ├── poseidon4_hash_to_i16.out │ │ │ │ │ │ ├── poseidon4_hash_to_i32.out │ │ │ │ │ │ ├── poseidon4_hash_to_i64.out │ │ │ │ │ │ ├── poseidon4_hash_to_i8.out │ │ │ │ │ │ ├── poseidon4_hash_to_u128.out │ │ │ │ │ │ ├── poseidon4_hash_to_u16.out │ │ │ │ │ │ ├── poseidon4_hash_to_u32.out │ │ │ │ │ │ ├── poseidon4_hash_to_u64.out │ │ │ │ │ │ └── poseidon4_hash_to_u8.out │ │ │ │ │ ├── poseidon8 │ │ │ │ │ │ ├── poseidon8_hash_to_i128.out │ │ │ │ │ │ ├── poseidon8_hash_to_i16.out │ │ │ │ │ │ ├── poseidon8_hash_to_i32.out │ │ │ │ │ │ ├── poseidon8_hash_to_i64.out │ │ │ │ │ │ ├── poseidon8_hash_to_i8.out │ │ │ │ │ │ ├── poseidon8_hash_to_u128.out │ │ │ │ │ │ ├── poseidon8_hash_to_u16.out │ │ │ │ │ │ ├── poseidon8_hash_to_u32.out │ │ │ │ │ │ ├── poseidon8_hash_to_u64.out │ │ │ │ │ │ └── poseidon8_hash_to_u8.out │ │ │ │ │ ├── sha3_256 │ │ │ │ │ │ ├── sha3_256_hash_to_i128.out │ │ │ │ │ │ ├── sha3_256_hash_to_i16.out │ │ │ │ │ │ ├── sha3_256_hash_to_i32.out │ │ │ │ │ │ ├── sha3_256_hash_to_i64.out │ │ │ │ │ │ ├── sha3_256_hash_to_i8.out │ │ │ │ │ │ ├── sha3_256_hash_to_u128.out │ │ │ │ │ │ ├── sha3_256_hash_to_u16.out │ │ │ │ │ │ ├── sha3_256_hash_to_u32.out │ │ │ │ │ │ ├── sha3_256_hash_to_u64.out │ │ │ │ │ │ └── sha3_256_hash_to_u8.out │ │ │ │ │ ├── sha3_384 │ │ │ │ │ │ ├── sha3_384_hash_to_i128.out │ │ │ │ │ │ ├── sha3_384_hash_to_i16.out │ │ │ │ │ │ ├── sha3_384_hash_to_i32.out │ │ │ │ │ │ ├── sha3_384_hash_to_i64.out │ │ │ │ │ │ ├── sha3_384_hash_to_i8.out │ │ │ │ │ │ ├── sha3_384_hash_to_u128.out │ │ │ │ │ │ ├── sha3_384_hash_to_u16.out │ │ │ │ │ │ ├── sha3_384_hash_to_u32.out │ │ │ │ │ │ ├── sha3_384_hash_to_u64.out │ │ │ │ │ │ └── sha3_384_hash_to_u8.out │ │ │ │ │ └── sha3_512 │ │ │ │ │ │ ├── sha3_512_hash_to_i128.out │ │ │ │ │ │ ├── sha3_512_hash_to_i16.out │ │ │ │ │ │ ├── sha3_512_hash_to_i32.out │ │ │ │ │ │ ├── sha3_512_hash_to_i64.out │ │ │ │ │ │ ├── sha3_512_hash_to_i8.out │ │ │ │ │ │ ├── sha3_512_hash_to_u128.out │ │ │ │ │ │ ├── sha3_512_hash_to_u16.out │ │ │ │ │ │ ├── sha3_512_hash_to_u32.out │ │ │ │ │ │ ├── sha3_512_hash_to_u64.out │ │ │ │ │ │ └── sha3_512_hash_to_u8.out │ │ │ │ ├── keccak256_hash_to_address.out │ │ │ │ ├── keccak256_hash_to_field.out │ │ │ │ ├── keccak256_hash_to_group.out │ │ │ │ ├── keccak256_hash_to_scalar.out │ │ │ │ ├── keccak384_hash_to_address.out │ │ │ │ ├── keccak384_hash_to_field.out │ │ │ │ ├── keccak384_hash_to_group.out │ │ │ │ ├── keccak384_hash_to_scalar.out │ │ │ │ ├── keccak512_hash_to_address.out │ │ │ │ ├── keccak512_hash_to_field.out │ │ │ │ ├── keccak512_hash_to_group.out │ │ │ │ ├── keccak512_hash_to_scalar.out │ │ │ │ ├── pedersen128_commit_to_address.out │ │ │ │ ├── pedersen128_commit_to_field.out │ │ │ │ ├── pedersen128_commit_to_group.out │ │ │ │ ├── pedersen128_hash_to_address.out │ │ │ │ ├── pedersen128_hash_to_field.out │ │ │ │ ├── pedersen128_hash_to_group.out │ │ │ │ ├── pedersen64_commit_to_address.out │ │ │ │ ├── pedersen64_commit_to_field.out │ │ │ │ ├── pedersen64_commit_to_group.out │ │ │ │ ├── pedersen64_hash_to_address.out │ │ │ │ ├── pedersen64_hash_to_field.out │ │ │ │ ├── pedersen64_hash_to_group.out │ │ │ │ ├── pedersen64_hash_to_scalar.out │ │ │ │ ├── pedersen_fail.out │ │ │ │ ├── poseidon2_hash_to_address.out │ │ │ │ ├── poseidon2_hash_to_field.out │ │ │ │ ├── poseidon2_hash_to_group.out │ │ │ │ ├── poseidon2_hash_to_scalar.out │ │ │ │ ├── poseidon4_hash_to_address.out │ │ │ │ ├── poseidon4_hash_to_field.out │ │ │ │ ├── poseidon4_hash_to_group.out │ │ │ │ ├── poseidon4_hash_to_scalar.out │ │ │ │ ├── poseidon8_hash_to_address.out │ │ │ │ ├── poseidon8_hash_to_field.out │ │ │ │ ├── poseidon8_hash_to_group.out │ │ │ │ ├── poseidon8_hash_to_scalar.out │ │ │ │ ├── sha3_256_hash_to_address.out │ │ │ │ ├── sha3_256_hash_to_field.out │ │ │ │ ├── sha3_256_hash_to_group.out │ │ │ │ ├── sha3_256_hash_to_scalar.out │ │ │ │ ├── sha3_384_hash_to_address.out │ │ │ │ ├── sha3_384_hash_to_field.out │ │ │ │ ├── sha3_384_hash_to_group.out │ │ │ │ ├── sha3_384_hash_to_scalar.out │ │ │ │ ├── sha3_512_hash_to_address.out │ │ │ │ ├── sha3_512_hash_to_field.out │ │ │ │ ├── sha3_512_hash_to_group.out │ │ │ │ └── sha3_512_hash_to_scalar.out │ │ │ └── constants │ │ │ │ ├── group_gen.out │ │ │ │ └── group_gen_fail.out │ │ ├── definition │ │ │ ├── define_multiple_variables_fail.out │ │ │ ├── out_of_order.out │ │ │ ├── tuple_def_fail.out │ │ │ └── use_decl_variable_as_assign_fail.out │ │ ├── examples │ │ │ ├── auction.out │ │ │ ├── basic_bank.out │ │ │ ├── board.out │ │ │ ├── bubblesort.out │ │ │ ├── core.out │ │ │ ├── fibonacci.out │ │ │ ├── groups.out │ │ │ ├── helloworld.out │ │ │ ├── interest.out │ │ │ ├── lottery.out │ │ │ ├── message.out │ │ │ ├── move.out │ │ │ ├── ntzdebruijn.out │ │ │ ├── ntzgaudet.out │ │ │ ├── ntzloops.out │ │ │ ├── ntzmasks.out │ │ │ ├── ntzreisers.out │ │ │ ├── ntzseals.out │ │ │ ├── ntzsearchtree.out │ │ │ ├── ntzsmallvals.out │ │ │ ├── simple_token.out │ │ │ ├── tictactoe.out │ │ │ ├── token.out │ │ │ ├── twoadicity.out │ │ │ ├── verify.out │ │ │ └── vote.out │ │ ├── expression │ │ │ ├── cast.out │ │ │ ├── cast_coersion.out │ │ │ ├── cast_fail.out │ │ │ ├── network_id.out │ │ │ └── ternary.out │ │ ├── field │ │ │ ├── add.out │ │ │ ├── div.out │ │ │ ├── eq.out │ │ │ ├── field.out │ │ │ ├── mul.out │ │ │ ├── negate.out │ │ │ ├── no_space_between_literal.out │ │ │ ├── operator_methods.out │ │ │ ├── pow.out │ │ │ ├── sub.out │ │ │ └── ternary.out │ │ ├── finalize │ │ │ ├── block_height.out │ │ │ ├── block_height_fail.out │ │ │ ├── closure_with_finalize_fail.out │ │ │ ├── contains.out │ │ │ ├── decrement_fail.out │ │ │ ├── decrement_via_get_set.out │ │ │ ├── empty_finalize_fail.out │ │ │ ├── finalize.out │ │ │ ├── finalize_fail.out │ │ │ ├── finalize_incorrect_modes_fail.out │ │ │ ├── finalize_incorrect_return_fail.out │ │ │ ├── finalize_missing_return_fail.out │ │ │ ├── finalize_name_mismatch_fail.out │ │ │ ├── finalize_reassign_to_outer_scope_fail.out │ │ │ ├── finalize_returns_value_fail.out │ │ │ ├── finalize_statement_incorrect_args_fail.out │ │ │ ├── finalize_with_method_calls.out │ │ │ ├── finalize_with_return.out │ │ │ ├── finalize_without_finalize_statement_fail.out │ │ │ ├── get_incorrect_num_operands.out │ │ │ ├── get_incorrect_type_fail.out │ │ │ ├── get_or_incorrect_num_operands.out │ │ │ ├── get_or_incorrect_type_fail.out │ │ │ ├── increment_fail.out │ │ │ ├── increment_via_get_set.out │ │ │ ├── inline_in_finalize.out │ │ │ ├── mapping.out │ │ │ ├── mapping_fail.out │ │ │ ├── mapping_operations_in_inline_fail.out │ │ │ ├── only_finalize_with_flattening.out │ │ │ ├── private_input_ouput_fail.out │ │ │ ├── rand.out │ │ │ ├── rand_incorrect_num_operands.out │ │ │ ├── rand_incorrect_type_fail.out │ │ │ ├── rand_not_in_finalize.out │ │ │ ├── read_write_mapping_fail.out │ │ │ ├── remove.out │ │ │ ├── set_in_an_assignment_fail.out │ │ │ ├── set_incorrect_num_operands.out │ │ │ ├── set_incorrect_type_fail.out │ │ │ ├── shadow_mapping_fail.out │ │ │ └── unknown_mapping_operation_fail.out │ │ ├── function │ │ │ ├── 9_inputs_fail.out │ │ │ ├── annotated_function_fail.out │ │ │ ├── basic_async.out │ │ │ ├── complex_recursion_fail.out │ │ │ ├── conditional_return.out │ │ │ ├── dead_code_elimination.out │ │ │ ├── duplicate_definition_fail.out │ │ │ ├── duplicate_parameter_fail.out │ │ │ ├── flatten_arrays.out │ │ │ ├── flatten_inlined_tuples_of_structs.out │ │ │ ├── flatten_test.out │ │ │ ├── flatten_test_2.out │ │ │ ├── flatten_tuples_of_structs.out │ │ │ ├── flatten_unit_expressions.out │ │ │ ├── function_call.out │ │ │ ├── function_call_inline.out │ │ │ ├── function_call_out_of_order.out │ │ │ ├── function_call_tyc_fail.out │ │ │ ├── function_returns_record_fail.out │ │ │ ├── global_shadow_function_fail.out │ │ │ ├── helper_function_with_interface.out │ │ │ ├── inline_expr_statement.out │ │ │ ├── inline_twice.out │ │ │ ├── mutual_recursion_fail.out │ │ │ ├── no_return.out │ │ │ ├── no_transition_fail.out │ │ │ ├── non_transition_variant_input_record_fail.out │ │ │ ├── private_input_output.out │ │ │ ├── program_function_any_number_of_inputs_and_outputs.out │ │ │ ├── program_function_empty_body.out │ │ │ ├── program_function_no_constant_mode_fail.out │ │ │ ├── program_function_unit_type.out │ │ │ ├── program_function_with_mode.out │ │ │ ├── record_in_conditional_return.out │ │ │ ├── scope_fail.out │ │ │ ├── self.out │ │ │ ├── self_fail.out │ │ │ ├── self_finalize_fail.out │ │ │ ├── self_recursive_cycle_fail.out │ │ │ ├── shadow_parameter_fail.out │ │ │ ├── standard_function_calls_standard_function_fail.out │ │ │ ├── standard_function_calls_transition_function_fail.out │ │ │ ├── too_many_transitions_fail.out │ │ │ ├── transition_calls_async_function_fail.out │ │ │ ├── transition_function_calls_transition_function_fail.out │ │ │ ├── undefined_data_type_fail.out │ │ │ ├── undefined_fail.out │ │ │ └── unknown_parameter_type_fail.out │ │ ├── futures │ │ │ ├── explicit_return_type_fail.out │ │ │ ├── explicit_type.out │ │ │ ├── explicit_type_simple.out │ │ │ ├── future_not_all_awaited_fail.out │ │ │ ├── future_not_all_passed_to_async_call_fail.out │ │ │ ├── nested.out │ │ │ ├── partial_type_specification.out │ │ │ └── simple.out │ │ ├── group │ │ │ ├── add.out │ │ │ ├── assert_eq.out │ │ │ ├── eq.out │ │ │ ├── group_mul.out │ │ │ ├── input.out │ │ │ ├── mul.out │ │ │ ├── mult_by_group_fail.out │ │ │ ├── mult_by_scalar.out │ │ │ ├── negate.out │ │ │ ├── no_space_between_literal.out │ │ │ ├── operator_methods.out │ │ │ ├── point_input.out │ │ │ ├── sub.out │ │ │ ├── ternary.out │ │ │ ├── to_x_coordinate.out │ │ │ ├── to_y_coordinate.out │ │ │ ├── x_and_y.out │ │ │ ├── x_sign_high.out │ │ │ ├── x_sign_inferred.out │ │ │ ├── x_sign_low.out │ │ │ └── zero.out │ │ ├── input │ │ │ ├── main.out │ │ │ └── main_field.out │ │ ├── integers │ │ │ ├── i128 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── negate.out │ │ │ │ ├── negate_min_fail.out │ │ │ │ ├── negate_zero.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── i16 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── negate.out │ │ │ │ ├── negate_min_fail.out │ │ │ │ ├── negate_zero.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── i32 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── negate.out │ │ │ │ ├── negate_min_fail.out │ │ │ │ ├── negate_zero.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── i64 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── negate.out │ │ │ │ ├── negate_min_fail.out │ │ │ │ ├── negate_zero.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── i8 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── negate.out │ │ │ │ ├── negate_min_fail.out │ │ │ │ ├── negate_zero.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── u128 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── u16 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── u32 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ ├── u64 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ │ └── u8 │ │ │ │ ├── add.out │ │ │ │ ├── and.out │ │ │ │ ├── console_assert.out │ │ │ │ ├── div.out │ │ │ │ ├── eq.out │ │ │ │ ├── ge.out │ │ │ │ ├── gt.out │ │ │ │ ├── le.out │ │ │ │ ├── lt.out │ │ │ │ ├── max.out │ │ │ │ ├── max_fail.out │ │ │ │ ├── min.out │ │ │ │ ├── min_fail.out │ │ │ │ ├── mul.out │ │ │ │ ├── ne.out │ │ │ │ ├── no_space_between_literal.out │ │ │ │ ├── operator_methods.out │ │ │ │ ├── or.out │ │ │ │ ├── pow.out │ │ │ │ ├── rem.out │ │ │ │ ├── shl.out │ │ │ │ ├── shr.out │ │ │ │ ├── sub.out │ │ │ │ ├── ternary.out │ │ │ │ └── xor.out │ │ ├── mappings │ │ │ ├── external_read_with_local_fail.out │ │ │ ├── global_shadow_mapping_fail.out │ │ │ ├── locator_expression_fail.out │ │ │ ├── max_mappings.out │ │ │ ├── no_import_external_read_fail.out │ │ │ ├── read_external_mapping.out │ │ │ ├── shadowed_mapping_fail.out │ │ │ ├── too_many_mappings_fail.out │ │ │ └── unknown_external_mapping_fail.out │ │ ├── records │ │ │ ├── balance_wrong_ty.out │ │ │ ├── declaration.out │ │ │ ├── duplicate_circuit_name_fail.out │ │ │ ├── duplicate_var_fail.out │ │ │ ├── gates_is_allowed.out │ │ │ ├── global_shadow_records_fail.out │ │ │ ├── init_expression.out │ │ │ ├── init_expression_shorthand.out │ │ │ ├── init_expression_type_fail.out │ │ │ ├── init_expression_var_fail.out │ │ │ ├── nested_record.out │ │ │ ├── nested_record_1_fail.out │ │ │ ├── nested_record_2_fail.out │ │ │ ├── nested_record_3_fail.out │ │ │ ├── nested_record_4_fail.out │ │ │ ├── no_owner_fail.out │ │ │ ├── owner_wrong_ty.out │ │ │ ├── record_declaration_out_of_order.out │ │ │ ├── record_init_out_of_order.out │ │ │ ├── record_with_visibility.out │ │ │ └── return_record_instead_of_unit_fail.out │ │ ├── scalar │ │ │ ├── add.out │ │ │ ├── cmp.out │ │ │ ├── div_fail.out │ │ │ ├── eq.out │ │ │ ├── no_space_between_literal.out │ │ │ ├── operator_methods.out │ │ │ ├── scalar.out │ │ │ ├── square_root_fail.out │ │ │ └── ternary.out │ │ ├── signature │ │ │ ├── signature.out │ │ │ └── signature_with_wrong_types_fail.out │ │ ├── statements │ │ │ ├── all_loops_fail.out │ │ │ ├── assign.out │ │ │ ├── assign_fail.out │ │ │ ├── assign_ternary.out │ │ │ ├── block.out │ │ │ ├── chain.out │ │ │ ├── compare_diff_types_fail.out │ │ │ ├── compare_invalid_negates_fail.out │ │ │ ├── duplicate_variable.out │ │ │ ├── expr_statement.out │ │ │ ├── expr_statement_fail.out │ │ │ ├── iteration_basic.out │ │ │ ├── iteration_bound_too_large_fail.out │ │ │ ├── iteration_nested.out │ │ │ ├── loop_decreasing_fail.out │ │ │ ├── loop_non_literal_bound_fail.out │ │ │ ├── loop_returns_fail.out │ │ │ ├── multiple_returns.out │ │ │ ├── multiple_returns_in_one_block_fail.out │ │ │ ├── mutate.out │ │ │ ├── non_existant_var_exp_fail.out │ │ │ ├── non_existant_vars_mul_fail.out │ │ │ ├── operations │ │ │ │ ├── add_assign.out │ │ │ │ ├── and_assign.out │ │ │ │ ├── bitand_assign.out │ │ │ │ ├── bitor_assign.out │ │ │ │ ├── bitxor_assign.out │ │ │ │ ├── div_assign.out │ │ │ │ ├── mul_assign.out │ │ │ │ ├── or_assign.out │ │ │ │ ├── pow_assign.out │ │ │ │ ├── rem_assign.out │ │ │ │ ├── shl_assign.out │ │ │ │ ├── shr_assign.out │ │ │ │ └── sub_assign.out │ │ │ ├── statements_after_complete_conditional_return_fail.out │ │ │ ├── ternary_explicit_and_implicit.out │ │ │ ├── typecheck_statements_fail.out │ │ │ ├── underscore_for_loop.out │ │ │ └── unknown_type_in_definition_fail.out │ │ ├── strings │ │ │ └── string.out │ │ ├── structs │ │ │ ├── cyclic_structs_four_fail.out │ │ │ ├── cyclic_structs_one_fail.out │ │ │ ├── cyclic_structs_three_fail.out │ │ │ ├── cyclic_structs_two_fail.out │ │ │ ├── duplicate_struct_variable.out │ │ │ ├── external_record.out │ │ │ ├── external_struct.out │ │ │ ├── global_shadow_struct_fail.out │ │ │ ├── inline.out │ │ │ ├── inline_fail.out │ │ │ ├── inline_member_fail.out │ │ │ ├── inline_member_pass.out │ │ │ ├── inline_undefined.out │ │ │ ├── member_variable.out │ │ │ ├── member_variable_fail.out │ │ │ ├── redefine_external_struct.out │ │ │ ├── shadow_external_struct_fail.out │ │ │ ├── struct_access_fail.out │ │ │ ├── struct_contains_record_fail.out │ │ │ ├── struct_declaration_out_of_order.out │ │ │ ├── struct_function_namespace_conflict_fail.out │ │ │ ├── struct_init_out_of_order.out │ │ │ ├── struct_with_visibility_fail.out │ │ │ └── unknown_member_type_fail.out │ │ └── tuple │ │ │ ├── access_negative_fail.out │ │ │ ├── access_out_of_bounds_fail.out │ │ │ ├── assign_unit_fail.out │ │ │ ├── declare_fail.out │ │ │ ├── function_call_returns_tuple.out │ │ │ ├── function_early_return.out │ │ │ ├── function_return.out │ │ │ ├── function_return_nothing.out │ │ │ ├── function_return_single_fail.out │ │ │ ├── function_return_unit.out │ │ │ ├── function_return_varying_modes.out │ │ │ ├── function_unit_input_fail.out │ │ │ ├── return_statement_fail.out │ │ │ ├── return_with_different_modes.out │ │ │ ├── singleton_tuple_fail.out │ │ │ ├── tuple_access.out │ │ │ ├── tuple_destructure.out │ │ │ ├── tuple_in_assignment.out │ │ │ ├── tuple_in_definition.out │ │ │ ├── tuple_in_function_param.out │ │ │ ├── tuple_in_loop.out │ │ │ ├── tuple_in_record_fail.out │ │ │ ├── tuple_in_return_type.out │ │ │ ├── tuple_in_struct_fail.out │ │ │ ├── tuple_not_allowed_fail.out │ │ │ ├── type_fail.out │ │ │ └── unit.out │ ├── execution │ │ ├── array_sum.out │ │ ├── cast_coersion.out │ │ ├── chain.out │ │ ├── complex_finalization.out │ │ ├── cond_exec_in_finalize.out │ │ ├── counter.out │ │ ├── eq.out │ │ ├── flattened_function_and_inline_matches.out │ │ ├── group_operations.out │ │ ├── metadata.out │ │ ├── mint.out │ │ └── primitive_casts.out │ └── parser │ │ ├── expression │ │ ├── access │ │ │ ├── associated_function.out │ │ │ ├── call.out │ │ │ └── method_function.out │ │ ├── array_init_fail.out │ │ ├── array_inline_fail.out │ │ ├── binary │ │ │ ├── add.out │ │ │ ├── add_wrapped.out │ │ │ ├── and.out │ │ │ ├── bit_and.out │ │ │ ├── bit_or.out │ │ │ ├── bit_xor.out │ │ │ ├── div.out │ │ │ ├── div_wrapped.out │ │ │ ├── eq.out │ │ │ ├── eq_fail.out │ │ │ ├── ge.out │ │ │ ├── ge_fail.out │ │ │ ├── gt.out │ │ │ ├── gt_fail.out │ │ │ ├── le.out │ │ │ ├── le_fail.out │ │ │ ├── lt.out │ │ │ ├── lt_fail.out │ │ │ ├── modulo.out │ │ │ ├── mul.out │ │ │ ├── mul_wrapped.out │ │ │ ├── nand.out │ │ │ ├── neq.out │ │ │ ├── neq_fail.out │ │ │ ├── nor.out │ │ │ ├── or.out │ │ │ ├── pow.out │ │ │ ├── pow_wrapped.out │ │ │ ├── rem.out │ │ │ ├── rem_wrapped.out │ │ │ ├── shl.out │ │ │ ├── shl_wrapped.out │ │ │ ├── shr.out │ │ │ ├── shr_wrapped.out │ │ │ ├── sub.out │ │ │ └── sub_wrapped.out │ │ ├── cast.out │ │ ├── cast_fail.out │ │ ├── circuit_init_fail.out │ │ ├── ident.out │ │ ├── literal │ │ │ ├── address.out │ │ │ ├── address_fail.out │ │ │ ├── address_parse.out │ │ │ ├── bool.out │ │ │ ├── bool_parse.out │ │ │ ├── char.out │ │ │ ├── char_fail.out │ │ │ ├── char_parse.out │ │ │ ├── comment.out │ │ │ ├── comment_fail.out │ │ │ ├── formatted_string.out │ │ │ ├── group.out │ │ │ ├── group_fail.out │ │ │ ├── int.out │ │ │ ├── int_fail.out │ │ │ ├── int_parse │ │ │ │ ├── field.out │ │ │ │ ├── field_fail.out │ │ │ │ ├── i128.out │ │ │ │ ├── i16.out │ │ │ │ ├── i32.out │ │ │ │ ├── i64.out │ │ │ │ ├── i8.out │ │ │ │ ├── implicit.out │ │ │ │ ├── mono_group.out │ │ │ │ ├── scalar.out │ │ │ │ ├── u128.out │ │ │ │ ├── u16.out │ │ │ │ ├── u32.out │ │ │ │ ├── u64.out │ │ │ │ └── u8.out │ │ │ ├── postfix_types.out │ │ │ ├── string.out │ │ │ ├── string_fail.out │ │ │ ├── underscore.out │ │ │ └── underscore_fail.out │ │ ├── ternary.out │ │ ├── token_format.out │ │ └── unary │ │ │ ├── abs.out │ │ │ ├── abs_wrapped.out │ │ │ ├── double.out │ │ │ ├── inv.out │ │ │ ├── neg.out │ │ │ ├── not.out │ │ │ ├── sqrt.out │ │ │ └── square.out │ │ ├── finalize │ │ ├── decrement.out │ │ ├── decrement_fail.out │ │ ├── finalize.out │ │ ├── finalize_fail.out │ │ ├── finalize_statement.out │ │ ├── finalize_statement_fail.out │ │ ├── increment.out │ │ ├── increment_fail.out │ │ ├── mapping.out │ │ └── mapping_fail.out │ │ ├── functions │ │ ├── annotated_arg_not_ident_fail.out │ │ ├── annotated_context.out │ │ ├── annotated_functions.out │ │ ├── bounded_recursion.out │ │ ├── const_input_fail.out │ │ ├── const_param.out │ │ ├── const_public_param_fail.out │ │ ├── constant_input.out │ │ ├── danling_annotations_fail.out │ │ ├── empty2.out │ │ ├── empty_function_non_empty_finalize_fail.out │ │ ├── escape_fail.out │ │ ├── function_name_is_not_identifier.out │ │ ├── ident_token_fail.out │ │ ├── infinite_recursion.out │ │ ├── inline_function.out │ │ ├── mode_outside_tuple.out │ │ ├── mut_input_fail.out │ │ ├── params.out │ │ ├── params_return.out │ │ ├── public_const_param_fail.out │ │ ├── public_param.out │ │ ├── return.out │ │ ├── spaced_annotation_fail.out │ │ ├── test_keyword_fail.out │ │ └── transition_function.out │ │ ├── future │ │ └── explicit_future_typing.out │ │ ├── inputs │ │ ├── input_const.out │ │ ├── input_constant.out │ │ ├── input_constant_public_fail.out │ │ ├── input_fail.out │ │ ├── input_public.out │ │ └── input_public_constant_fail.out │ │ ├── program │ │ ├── address_literal.out │ │ ├── async_basic.out │ │ ├── backslash_eof.out │ │ ├── bidi_comment_2_fail.out │ │ ├── bidi_comment_fail.out │ │ ├── circuit_deprecated_fail.out │ │ ├── dollar_eof.out │ │ ├── escape_u8_eof.out │ │ ├── external_mapping.out │ │ ├── hex_eof.out │ │ ├── illegal_import_fail.out │ │ ├── import.out │ │ ├── import_fail.out │ │ ├── locator_expression_fail.out │ │ ├── mapping.out │ │ ├── mapping_fail.out │ │ ├── network_id.out │ │ ├── non_aleo_network_fail.out │ │ ├── pipe_eof.out │ │ ├── q_eof.out │ │ ├── record_with_visibility.out │ │ ├── special_address.out │ │ ├── sq_eof.out │ │ ├── struct_with_visibility.out │ │ ├── stub.out │ │ ├── stub_fail.out │ │ ├── tilde_eof.out │ │ └── unclosed_unicode_eof_fail.out │ │ ├── serialize │ │ ├── one_plus_one.out │ │ └── parser_error.out │ │ ├── statement │ │ ├── assert.out │ │ ├── assign.out │ │ ├── async_fail.out │ │ ├── block.out │ │ ├── conditional.out │ │ ├── conditional_fail.out │ │ ├── console_fail.out │ │ ├── definition.out │ │ ├── definition_fail.out │ │ ├── exported_type_fail.out │ │ ├── expression.out │ │ ├── expression_fail.out │ │ ├── finalize_fail.out │ │ ├── hex_int_fail.out │ │ ├── iteration.out │ │ ├── let_mut_recover.out │ │ ├── return.out │ │ └── return_fail.out │ │ ├── type_ │ │ ├── signature.out │ │ └── signature_verify_bad_syntax_fail.out │ │ └── unreachable │ │ ├── define.out │ │ ├── eat_ident.out │ │ ├── eat_int.out │ │ ├── equality_and_order_expression.out │ │ ├── expect_ident.out │ │ ├── math_op_fail.out │ │ ├── math_op_pass.out │ │ ├── postfix_fail.out │ │ └── postfix_pass.out ├── test-framework │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── benches │ │ └── leo_compiler.rs │ └── src │ │ ├── bin │ │ └── errcov.rs │ │ ├── error.rs │ │ ├── fetch.rs │ │ ├── lib.rs │ │ ├── output.rs │ │ ├── runner.rs │ │ ├── test.rs │ │ └── unused │ │ ├── both_sign_high.leo │ │ ├── both_sign_inferred.leo │ │ ├── both_sign_low.leo │ │ ├── repeated.leo │ │ ├── return.leo │ │ ├── string │ │ ├── inputs │ │ │ ├── ascii.in │ │ │ ├── escaped.in │ │ │ ├── escaped_unicode1.in │ │ │ ├── escaped_unicode2.in │ │ │ ├── escaped_unicode3.in │ │ │ ├── escaped_unicode4.in │ │ │ ├── escaped_unicode5.in │ │ │ ├── escaped_unicode6.in │ │ │ ├── hex1.in │ │ │ ├── hex2.in │ │ │ ├── nonprinting.in │ │ │ ├── string.in │ │ │ ├── unicode1.in │ │ │ ├── unicode2.in │ │ │ ├── unicode3.in │ │ │ ├── unicode4.in │ │ │ └── unicode5.in │ │ ├── invalid_char.leo │ │ ├── neq.leo │ │ ├── out.leo │ │ └── string.leo │ │ ├── tgc.rs │ │ ├── y_sign_high.leo │ │ ├── y_sign_inferred.leo │ │ └── y_sign_low.leo └── tests │ ├── compiler │ ├── additional_benches │ │ ├── big.leo │ │ ├── big_circuit.leo │ │ ├── big_if_else.leo │ │ ├── big_ternary.leo │ │ ├── large_1.leo │ │ ├── large_2.leo │ │ ├── large_3.leo │ │ ├── large_4.leo │ │ ├── large_5.leo │ │ ├── long_array.leo │ │ ├── long_expr.leo │ │ ├── many_assigns.leo │ │ ├── many_foos.leo │ │ ├── massive.leo │ │ ├── medium_1.leo │ │ ├── medium_2.leo │ │ ├── medium_3.leo │ │ ├── medium_4.leo │ │ ├── medium_5.leo │ │ ├── small_1.leo │ │ ├── small_2.leo │ │ ├── small_3.leo │ │ ├── small_4.leo │ │ └── small_5.leo │ ├── address │ │ ├── binary.leo │ │ ├── branch.leo │ │ ├── equal.leo │ │ ├── gt_fail.leo │ │ ├── gte_fail.leo │ │ ├── lt_fail.leo │ │ ├── lte_fail.leo │ │ ├── special_address.leo │ │ └── ternary.leo │ ├── array │ │ ├── access_array_with_loop_counter.leo │ │ ├── array_access.leo │ │ ├── array_in_composite_data_types.leo │ │ ├── array_in_finalize.leo │ │ ├── array_in_function_signature.leo │ │ ├── array_in_mapping.leo │ │ ├── array_initialization.leo │ │ ├── array_initialization_fail.leo │ │ ├── array_of_records.leo │ │ ├── array_of_structs.leo │ │ ├── array_size_limits.leo │ │ ├── array_too_large_fail.leo │ │ ├── array_too_small_fail.leo │ │ ├── array_variable_access_fail.leo │ │ ├── array_with_units_fail.leo │ │ ├── array_write_fail.leo │ │ └── nested_array_sum_fail.leo │ ├── boolean │ │ ├── and.leo │ │ ├── conditional.leo │ │ ├── equal.leo │ │ ├── not_equal.leo │ │ ├── operator_methods.leo │ │ └── or.leo │ ├── console │ │ ├── assert.leo │ │ ├── assert_fail.leo │ │ └── conditional_assert.leo │ ├── constants │ │ ├── const_tuple_declaration.leo │ │ ├── const_type_error_fail.leo │ │ ├── constant_finalize.leo │ │ ├── constant_loop_bound.leo │ │ ├── constant_loop_bound_type_mismatch_fail.leo │ │ ├── decreasing_constant_loop_bound_fail.leo │ │ ├── global_shadowing_constant_fail.leo │ │ ├── local_shadowing_fail.leo │ │ ├── loop_unrolling.leo │ │ ├── reassignment_fail.leo │ │ ├── tuple_definition_fail.leo │ │ ├── tuple_shadow_fail.leo │ │ └── unroll_loop_with_tuple_definition.leo │ ├── core │ │ ├── algorithms │ │ │ ├── bhp1024_commit_to_address.leo │ │ │ ├── bhp1024_commit_to_field.leo │ │ │ ├── bhp1024_commit_to_group.leo │ │ │ ├── bhp1024_hash_to_address.leo │ │ │ ├── bhp1024_hash_to_field.leo │ │ │ ├── bhp1024_hash_to_group.leo │ │ │ ├── bhp1024_hash_to_scalar.leo │ │ │ ├── bhp256_commit_to_address.leo │ │ │ ├── bhp256_commit_to_field.leo │ │ │ ├── bhp256_commit_to_group.leo │ │ │ ├── bhp256_hash_to_address.leo │ │ │ ├── bhp256_hash_to_field.leo │ │ │ ├── bhp256_hash_to_group.leo │ │ │ ├── bhp256_hash_to_scalar.leo │ │ │ ├── bhp512_commit_to_address.leo │ │ │ ├── bhp512_commit_to_field.leo │ │ │ ├── bhp512_commit_to_group.leo │ │ │ ├── bhp512_hash_to_address.leo │ │ │ ├── bhp512_hash_to_field.leo │ │ │ ├── bhp512_hash_to_group.leo │ │ │ ├── bhp512_hash_to_scalar.leo │ │ │ ├── bhp768_commit_to_address.leo │ │ │ ├── bhp768_commit_to_field.leo │ │ │ ├── bhp768_commit_to_group.leo │ │ │ ├── bhp768_hash_to_address.leo │ │ │ ├── bhp768_hash_to_field.leo │ │ │ ├── bhp768_hash_to_group.leo │ │ │ ├── bhp768_hash_to_scalar.leo │ │ │ ├── integers │ │ │ │ ├── bhp1024 │ │ │ │ │ ├── bhp1024_hash_to_i128.leo │ │ │ │ │ ├── bhp1024_hash_to_i16.leo │ │ │ │ │ ├── bhp1024_hash_to_i32.leo │ │ │ │ │ ├── bhp1024_hash_to_i64.leo │ │ │ │ │ ├── bhp1024_hash_to_i8.leo │ │ │ │ │ ├── bhp1024_hash_to_u128.leo │ │ │ │ │ ├── bhp1024_hash_to_u16.leo │ │ │ │ │ ├── bhp1024_hash_to_u32.leo │ │ │ │ │ ├── bhp1024_hash_to_u64.leo │ │ │ │ │ └── bhp1024_hash_to_u8.leo │ │ │ │ ├── bhp256 │ │ │ │ │ ├── bhp256_hash_to_i128.leo │ │ │ │ │ ├── bhp256_hash_to_i16.leo │ │ │ │ │ ├── bhp256_hash_to_i32.leo │ │ │ │ │ ├── bhp256_hash_to_i64.leo │ │ │ │ │ ├── bhp256_hash_to_i8.leo │ │ │ │ │ ├── bhp256_hash_to_u128.leo │ │ │ │ │ ├── bhp256_hash_to_u16.leo │ │ │ │ │ ├── bhp256_hash_to_u32.leo │ │ │ │ │ ├── bhp256_hash_to_u64.leo │ │ │ │ │ └── bhp256_hash_to_u8.leo │ │ │ │ ├── bhp512 │ │ │ │ │ ├── bhp512_hash_to_i128.leo │ │ │ │ │ ├── bhp512_hash_to_i16.leo │ │ │ │ │ ├── bhp512_hash_to_i32.leo │ │ │ │ │ ├── bhp512_hash_to_i64.leo │ │ │ │ │ ├── bhp512_hash_to_i8.leo │ │ │ │ │ ├── bhp512_hash_to_u128.leo │ │ │ │ │ ├── bhp512_hash_to_u16.leo │ │ │ │ │ ├── bhp512_hash_to_u32.leo │ │ │ │ │ ├── bhp512_hash_to_u64.leo │ │ │ │ │ └── bhp512_hash_to_u8.leo │ │ │ │ ├── bhp768 │ │ │ │ │ ├── bhp768_hash_to_i128.leo │ │ │ │ │ ├── bhp768_hash_to_i16.leo │ │ │ │ │ ├── bhp768_hash_to_i32.leo │ │ │ │ │ ├── bhp768_hash_to_i64.leo │ │ │ │ │ ├── bhp768_hash_to_i8.leo │ │ │ │ │ ├── bhp768_hash_to_u128.leo │ │ │ │ │ ├── bhp768_hash_to_u16.leo │ │ │ │ │ ├── bhp768_hash_to_u32.leo │ │ │ │ │ ├── bhp768_hash_to_u64.leo │ │ │ │ │ └── bhp768_hash_to_u8.leo │ │ │ │ ├── keccak256 │ │ │ │ │ ├── keccak256_hash_to_i128.leo │ │ │ │ │ ├── keccak256_hash_to_i16.leo │ │ │ │ │ ├── keccak256_hash_to_i32.leo │ │ │ │ │ ├── keccak256_hash_to_i64.leo │ │ │ │ │ ├── keccak256_hash_to_i8.leo │ │ │ │ │ ├── keccak256_hash_to_u128.leo │ │ │ │ │ ├── keccak256_hash_to_u16.leo │ │ │ │ │ ├── keccak256_hash_to_u32.leo │ │ │ │ │ ├── keccak256_hash_to_u64.leo │ │ │ │ │ └── keccak256_hash_to_u8.leo │ │ │ │ ├── keccak384 │ │ │ │ │ ├── keccak384_hash_to_i128.leo │ │ │ │ │ ├── keccak384_hash_to_i16.leo │ │ │ │ │ ├── keccak384_hash_to_i32.leo │ │ │ │ │ ├── keccak384_hash_to_i64.leo │ │ │ │ │ ├── keccak384_hash_to_i8.leo │ │ │ │ │ ├── keccak384_hash_to_u128.leo │ │ │ │ │ ├── keccak384_hash_to_u16.leo │ │ │ │ │ ├── keccak384_hash_to_u32.leo │ │ │ │ │ ├── keccak384_hash_to_u64.leo │ │ │ │ │ └── keccak384_hash_to_u8.leo │ │ │ │ ├── keccak512 │ │ │ │ │ ├── keccak512_hash_to_i128.leo │ │ │ │ │ ├── keccak512_hash_to_i16.leo │ │ │ │ │ ├── keccak512_hash_to_i32.leo │ │ │ │ │ ├── keccak512_hash_to_i64.leo │ │ │ │ │ ├── keccak512_hash_to_i8.leo │ │ │ │ │ ├── keccak512_hash_to_u128.leo │ │ │ │ │ ├── keccak512_hash_to_u16.leo │ │ │ │ │ ├── keccak512_hash_to_u32.leo │ │ │ │ │ ├── keccak512_hash_to_u64.leo │ │ │ │ │ └── keccak512_hash_to_u8.leo │ │ │ │ ├── pedersen128 │ │ │ │ │ ├── pedersen128_hash_to_i128.leo │ │ │ │ │ ├── pedersen128_hash_to_i16.leo │ │ │ │ │ ├── pedersen128_hash_to_i32.leo │ │ │ │ │ ├── pedersen128_hash_to_i64.leo │ │ │ │ │ ├── pedersen128_hash_to_i8.leo │ │ │ │ │ ├── pedersen128_hash_to_u128.leo │ │ │ │ │ ├── pedersen128_hash_to_u16.leo │ │ │ │ │ ├── pedersen128_hash_to_u32.leo │ │ │ │ │ ├── pedersen128_hash_to_u64.leo │ │ │ │ │ └── pedersen128_hash_to_u8.leo │ │ │ │ ├── pedersen64 │ │ │ │ │ ├── pedersen64_hash_to_i128.leo │ │ │ │ │ ├── pedersen64_hash_to_i16.leo │ │ │ │ │ ├── pedersen64_hash_to_i32.leo │ │ │ │ │ ├── pedersen64_hash_to_i64.leo │ │ │ │ │ ├── pedersen64_hash_to_i8.leo │ │ │ │ │ ├── pedersen64_hash_to_u128.leo │ │ │ │ │ ├── pedersen64_hash_to_u16.leo │ │ │ │ │ ├── pedersen64_hash_to_u32.leo │ │ │ │ │ ├── pedersen64_hash_to_u64.leo │ │ │ │ │ └── pedersen64_hash_to_u8.leo │ │ │ │ ├── poseidon2 │ │ │ │ │ ├── poseidon2_hash_to_i128.leo │ │ │ │ │ ├── poseidon2_hash_to_i16.leo │ │ │ │ │ ├── poseidon2_hash_to_i32.leo │ │ │ │ │ ├── poseidon2_hash_to_i64.leo │ │ │ │ │ ├── poseidon2_hash_to_i8.leo │ │ │ │ │ ├── poseidon2_hash_to_u128.leo │ │ │ │ │ ├── poseidon2_hash_to_u16.leo │ │ │ │ │ ├── poseidon2_hash_to_u32.leo │ │ │ │ │ ├── poseidon2_hash_to_u64.leo │ │ │ │ │ └── poseidon2_hash_to_u8.leo │ │ │ │ ├── poseidon4 │ │ │ │ │ ├── poseidon4_hash_to_i128.leo │ │ │ │ │ ├── poseidon4_hash_to_i16.leo │ │ │ │ │ ├── poseidon4_hash_to_i32.leo │ │ │ │ │ ├── poseidon4_hash_to_i64.leo │ │ │ │ │ ├── poseidon4_hash_to_i8.leo │ │ │ │ │ ├── poseidon4_hash_to_u128.leo │ │ │ │ │ ├── poseidon4_hash_to_u16.leo │ │ │ │ │ ├── poseidon4_hash_to_u32.leo │ │ │ │ │ ├── poseidon4_hash_to_u64.leo │ │ │ │ │ └── poseidon4_hash_to_u8.leo │ │ │ │ ├── poseidon8 │ │ │ │ │ ├── poseidon8_hash_to_i128.leo │ │ │ │ │ ├── poseidon8_hash_to_i16.leo │ │ │ │ │ ├── poseidon8_hash_to_i32.leo │ │ │ │ │ ├── poseidon8_hash_to_i64.leo │ │ │ │ │ ├── poseidon8_hash_to_i8.leo │ │ │ │ │ ├── poseidon8_hash_to_u128.leo │ │ │ │ │ ├── poseidon8_hash_to_u16.leo │ │ │ │ │ ├── poseidon8_hash_to_u32.leo │ │ │ │ │ ├── poseidon8_hash_to_u64.leo │ │ │ │ │ └── poseidon8_hash_to_u8.leo │ │ │ │ ├── sha3_256 │ │ │ │ │ ├── sha3_256_hash_to_i128.leo │ │ │ │ │ ├── sha3_256_hash_to_i16.leo │ │ │ │ │ ├── sha3_256_hash_to_i32.leo │ │ │ │ │ ├── sha3_256_hash_to_i64.leo │ │ │ │ │ ├── sha3_256_hash_to_i8.leo │ │ │ │ │ ├── sha3_256_hash_to_u128.leo │ │ │ │ │ ├── sha3_256_hash_to_u16.leo │ │ │ │ │ ├── sha3_256_hash_to_u32.leo │ │ │ │ │ ├── sha3_256_hash_to_u64.leo │ │ │ │ │ └── sha3_256_hash_to_u8.leo │ │ │ │ ├── sha3_384 │ │ │ │ │ ├── sha3_384_hash_to_i128.leo │ │ │ │ │ ├── sha3_384_hash_to_i16.leo │ │ │ │ │ ├── sha3_384_hash_to_i32.leo │ │ │ │ │ ├── sha3_384_hash_to_i64.leo │ │ │ │ │ ├── sha3_384_hash_to_i8.leo │ │ │ │ │ ├── sha3_384_hash_to_u128.leo │ │ │ │ │ ├── sha3_384_hash_to_u16.leo │ │ │ │ │ ├── sha3_384_hash_to_u32.leo │ │ │ │ │ ├── sha3_384_hash_to_u64.leo │ │ │ │ │ └── sha3_384_hash_to_u8.leo │ │ │ │ └── sha3_512 │ │ │ │ │ ├── sha3_512_hash_to_i128.leo │ │ │ │ │ ├── sha3_512_hash_to_i16.leo │ │ │ │ │ ├── sha3_512_hash_to_i32.leo │ │ │ │ │ ├── sha3_512_hash_to_i64.leo │ │ │ │ │ ├── sha3_512_hash_to_i8.leo │ │ │ │ │ ├── sha3_512_hash_to_u128.leo │ │ │ │ │ ├── sha3_512_hash_to_u16.leo │ │ │ │ │ ├── sha3_512_hash_to_u32.leo │ │ │ │ │ ├── sha3_512_hash_to_u64.leo │ │ │ │ │ └── sha3_512_hash_to_u8.leo │ │ │ ├── keccak256_hash_to_address.leo │ │ │ ├── keccak256_hash_to_field.leo │ │ │ ├── keccak256_hash_to_group.leo │ │ │ ├── keccak256_hash_to_scalar.leo │ │ │ ├── keccak384_hash_to_address.leo │ │ │ ├── keccak384_hash_to_field.leo │ │ │ ├── keccak384_hash_to_group.leo │ │ │ ├── keccak384_hash_to_scalar.leo │ │ │ ├── keccak512_hash_to_address.leo │ │ │ ├── keccak512_hash_to_field.leo │ │ │ ├── keccak512_hash_to_group.leo │ │ │ ├── keccak512_hash_to_scalar.leo │ │ │ ├── pedersen128_commit_to_address.leo │ │ │ ├── pedersen128_commit_to_field.leo │ │ │ ├── pedersen128_commit_to_group.leo │ │ │ ├── pedersen128_hash_to_address.leo │ │ │ ├── pedersen128_hash_to_field.leo │ │ │ ├── pedersen128_hash_to_group.leo │ │ │ ├── pedersen64_commit_to_address.leo │ │ │ ├── pedersen64_commit_to_field.leo │ │ │ ├── pedersen64_commit_to_group.leo │ │ │ ├── pedersen64_hash_to_address.leo │ │ │ ├── pedersen64_hash_to_field.leo │ │ │ ├── pedersen64_hash_to_group.leo │ │ │ ├── pedersen64_hash_to_scalar.leo │ │ │ ├── pedersen_fail.leo │ │ │ ├── poseidon2_hash_to_address.leo │ │ │ ├── poseidon2_hash_to_field.leo │ │ │ ├── poseidon2_hash_to_group.leo │ │ │ ├── poseidon2_hash_to_scalar.leo │ │ │ ├── poseidon4_hash_to_address.leo │ │ │ ├── poseidon4_hash_to_field.leo │ │ │ ├── poseidon4_hash_to_group.leo │ │ │ ├── poseidon4_hash_to_scalar.leo │ │ │ ├── poseidon8_hash_to_address.leo │ │ │ ├── poseidon8_hash_to_field.leo │ │ │ ├── poseidon8_hash_to_group.leo │ │ │ ├── poseidon8_hash_to_scalar.leo │ │ │ ├── sha3_256_hash_to_address.leo │ │ │ ├── sha3_256_hash_to_field.leo │ │ │ ├── sha3_256_hash_to_group.leo │ │ │ ├── sha3_256_hash_to_scalar.leo │ │ │ ├── sha3_384_hash_to_address.leo │ │ │ ├── sha3_384_hash_to_field.leo │ │ │ ├── sha3_384_hash_to_group.leo │ │ │ ├── sha3_384_hash_to_scalar.leo │ │ │ ├── sha3_512_hash_to_address.leo │ │ │ ├── sha3_512_hash_to_field.leo │ │ │ ├── sha3_512_hash_to_group.leo │ │ │ └── sha3_512_hash_to_scalar.leo │ │ └── constants │ │ │ ├── group_gen.leo │ │ │ └── group_gen_fail.leo │ ├── definition │ │ ├── define_multiple_variables_fail.leo │ │ ├── out_of_order.leo │ │ ├── tuple_def_fail.leo │ │ └── use_decl_variable_as_assign_fail.leo │ ├── examples │ │ ├── auction.leo │ │ ├── basic_bank.leo │ │ ├── board.leo │ │ ├── bubblesort.leo │ │ ├── core.leo │ │ ├── fibonacci.leo │ │ ├── groups.leo │ │ ├── helloworld.leo │ │ ├── interest.leo │ │ ├── lottery.leo │ │ ├── message.leo │ │ ├── move.leo │ │ ├── ntzdebruijn.leo │ │ ├── ntzgaudet.leo │ │ ├── ntzloops.leo │ │ ├── ntzmasks.leo │ │ ├── ntzreisers.leo │ │ ├── ntzseals.leo │ │ ├── ntzsearchtree.leo │ │ ├── ntzsmallvals.leo │ │ ├── simple_token.leo │ │ ├── tictactoe.leo │ │ ├── token.leo │ │ ├── twoadicity.leo │ │ ├── verify.leo │ │ └── vote.leo │ ├── expression │ │ ├── cast.leo │ │ ├── cast_coersion.leo │ │ ├── cast_fail.leo │ │ ├── network_id.leo │ │ └── ternary.leo │ ├── field │ │ ├── add.leo │ │ ├── div.leo │ │ ├── eq.leo │ │ ├── field.leo │ │ ├── mul.leo │ │ ├── negate.leo │ │ ├── no_space_between_literal.leo │ │ ├── operator_methods.leo │ │ ├── pow.leo │ │ ├── sub.leo │ │ └── ternary.leo │ ├── finalize │ │ ├── block_height.leo │ │ ├── block_height_fail.leo │ │ ├── closure_with_finalize_fail.leo │ │ ├── contains.leo │ │ ├── decrement_fail.leo │ │ ├── decrement_via_get_set.leo │ │ ├── empty_finalize_fail.leo │ │ ├── finalize.leo │ │ ├── finalize_fail.leo │ │ ├── finalize_incorrect_modes_fail.leo │ │ ├── finalize_incorrect_return_fail.leo │ │ ├── finalize_missing_return_fail.leo │ │ ├── finalize_name_mismatch_fail.leo │ │ ├── finalize_reassign_to_outer_scope_fail.leo │ │ ├── finalize_returns_value_fail.leo │ │ ├── finalize_statement_incorrect_args_fail.leo │ │ ├── finalize_with_method_calls.leo │ │ ├── finalize_with_return.leo │ │ ├── finalize_without_finalize_statement_fail.leo │ │ ├── get_incorrect_num_operands.leo │ │ ├── get_incorrect_type_fail.leo │ │ ├── get_or_incorrect_num_operands.leo │ │ ├── get_or_incorrect_type_fail.leo │ │ ├── increment_fail.leo │ │ ├── increment_via_get_set.leo │ │ ├── inline_in_finalize.leo │ │ ├── mapping.leo │ │ ├── mapping_fail.leo │ │ ├── mapping_operations_in_inline_fail.leo │ │ ├── only_finalize_with_flattening.leo │ │ ├── private_input_ouput_fail.leo │ │ ├── rand.leo │ │ ├── rand_incorrect_num_operands.leo │ │ ├── rand_incorrect_type_fail.leo │ │ ├── rand_not_in_finalize.leo │ │ ├── read_write_mapping_fail.leo │ │ ├── remove.leo │ │ ├── set_in_an_assignment_fail.leo │ │ ├── set_incorrect_num_operands.leo │ │ ├── set_incorrect_type_fail.leo │ │ ├── shadow_mapping_fail.leo │ │ └── unknown_mapping_operation_fail.leo │ ├── function │ │ ├── 9_inputs_fail.leo │ │ ├── annotated_function_fail.leo │ │ ├── basic_async.leo │ │ ├── complex_recursion_fail.leo │ │ ├── conditional_return.leo │ │ ├── dead_code_elimination.leo │ │ ├── duplicate_definition_fail.leo │ │ ├── duplicate_parameter_fail.leo │ │ ├── flatten_arrays.leo │ │ ├── flatten_inlined_tuples_of_structs.leo │ │ ├── flatten_test.leo │ │ ├── flatten_test_2.leo │ │ ├── flatten_tuples_of_structs.leo │ │ ├── flatten_unit_expressions.leo │ │ ├── function_call.leo │ │ ├── function_call_inline.leo │ │ ├── function_call_out_of_order.leo │ │ ├── function_call_tyc_fail.leo │ │ ├── function_returns_record_fail.leo │ │ ├── global_shadow_function_fail.leo │ │ ├── helper_function_with_interface.leo │ │ ├── inline_expr_statement.leo │ │ ├── inline_twice.leo │ │ ├── mutual_recursion_fail.leo │ │ ├── no_return.leo │ │ ├── no_transition_fail.leo │ │ ├── non_transition_variant_input_record_fail.leo │ │ ├── private_input_output.leo │ │ ├── program_function_any_number_of_inputs_and_outputs.leo │ │ ├── program_function_empty_body.leo │ │ ├── program_function_no_constant_mode_fail.leo │ │ ├── program_function_unit_type.leo │ │ ├── program_function_with_mode.leo │ │ ├── record_in_conditional_return.leo │ │ ├── scope_fail.leo │ │ ├── self.leo │ │ ├── self_fail.leo │ │ ├── self_finalize_fail.leo │ │ ├── self_recursive_cycle_fail.leo │ │ ├── shadow_parameter_fail.leo │ │ ├── standard_function_calls_standard_function_fail.leo │ │ ├── standard_function_calls_transition_function_fail.leo │ │ ├── too_many_transitions_fail.leo │ │ ├── transition_calls_async_function_fail.leo │ │ ├── transition_function_calls_transition_function_fail.leo │ │ ├── undefined_data_type_fail.leo │ │ ├── undefined_fail.leo │ │ └── unknown_parameter_type_fail.leo │ ├── futures │ │ ├── explicit_return_type_fail.leo │ │ ├── explicit_type_simple.leo │ │ ├── future_not_all_awaited_fail.leo │ │ ├── future_not_all_passed_to_async_call_fail.leo │ │ ├── nested.leo │ │ ├── partial_type_specification.leo │ │ └── simple.leo │ ├── group │ │ ├── add.leo │ │ ├── assert_eq.leo │ │ ├── eq.leo │ │ ├── group_mul.leo │ │ ├── input.leo │ │ ├── mul.leo │ │ ├── mult_by_group_fail.leo │ │ ├── mult_by_scalar.leo │ │ ├── negate.leo │ │ ├── no_space_between_literal.leo │ │ ├── operator_methods.leo │ │ ├── point_input.leo │ │ ├── sub.leo │ │ ├── ternary.leo │ │ ├── to_x_coordinate.leo │ │ ├── to_y_coordinate.leo │ │ ├── x_and_y.leo │ │ ├── x_sign_high.leo │ │ ├── x_sign_inferred.leo │ │ ├── x_sign_low.leo │ │ └── zero.leo │ ├── input │ │ ├── main.leo │ │ └── main_field.leo │ ├── integers │ │ ├── i128 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── negate.leo │ │ │ ├── negate_min_fail.leo │ │ │ ├── negate_zero.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── i16 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── negate.leo │ │ │ ├── negate_min_fail.leo │ │ │ ├── negate_zero.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── i32 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── negate.leo │ │ │ ├── negate_min_fail.leo │ │ │ ├── negate_zero.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── i64 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── negate.leo │ │ │ ├── negate_min_fail.leo │ │ │ ├── negate_zero.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── i8 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── negate.leo │ │ │ ├── negate_min_fail.leo │ │ │ ├── negate_zero.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── u128 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── u16 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── u32 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ ├── u64 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ │ └── u8 │ │ │ ├── add.leo │ │ │ ├── and.leo │ │ │ ├── console_assert.leo │ │ │ ├── div.leo │ │ │ ├── eq.leo │ │ │ ├── ge.leo │ │ │ ├── gt.leo │ │ │ ├── le.leo │ │ │ ├── lt.leo │ │ │ ├── max.leo │ │ │ ├── max_fail.leo │ │ │ ├── min.leo │ │ │ ├── min_fail.leo │ │ │ ├── mul.leo │ │ │ ├── ne.leo │ │ │ ├── no_space_between_literal.leo │ │ │ ├── operator_methods.leo │ │ │ ├── or.leo │ │ │ ├── pow.leo │ │ │ ├── rem.leo │ │ │ ├── shl.leo │ │ │ ├── shr.leo │ │ │ ├── sub.leo │ │ │ ├── ternary.leo │ │ │ └── xor.leo │ ├── mappings │ │ ├── external_read_with_local_fail.leo │ │ ├── global_shadow_mapping_fail.leo │ │ ├── locator_expression_fail.leo │ │ ├── max_mappings.leo │ │ ├── no_import_external_read_fail.leo │ │ ├── read_external_mapping.leo │ │ ├── shadowed_mapping_fail.leo │ │ ├── too_many_mappings_fail.leo │ │ └── unknown_external_mapping_fail.leo │ ├── records │ │ ├── balance_wrong_ty.leo │ │ ├── declaration.leo │ │ ├── duplicate_circuit_name_fail.leo │ │ ├── duplicate_var_fail.leo │ │ ├── gates_is_allowed.leo │ │ ├── global_shadow_records_fail.leo │ │ ├── init_expression.leo │ │ ├── init_expression_shorthand.leo │ │ ├── init_expression_type_fail.leo │ │ ├── init_expression_var_fail.leo │ │ ├── nested_record.leo │ │ ├── nested_record_1_fail.leo │ │ ├── nested_record_2_fail.leo │ │ ├── nested_record_3_fail.leo │ │ ├── nested_record_4_fail.leo │ │ ├── no_owner_fail.leo │ │ ├── owner_wrong_ty.leo │ │ ├── record_declaration_out_of_order.leo │ │ ├── record_init_out_of_order.leo │ │ ├── record_with_visibility.leo │ │ └── return_record_instead_of_unit_fail.leo │ ├── scalar │ │ ├── add.leo │ │ ├── cmp.leo │ │ ├── div_fail.leo │ │ ├── eq.leo │ │ ├── no_space_between_literal.leo │ │ ├── operator_methods.leo │ │ ├── scalar.leo │ │ ├── square_root_fail.leo │ │ └── ternary.leo │ ├── signature │ │ ├── signature.leo │ │ └── signature_with_wrong_types_fail.leo │ ├── statements │ │ ├── all_loops_fail.leo │ │ ├── assign.leo │ │ ├── assign_fail.leo │ │ ├── assign_ternary.leo │ │ ├── block.leo │ │ ├── chain.leo │ │ ├── compare_diff_types_fail.leo │ │ ├── compare_invalid_negates_fail.leo │ │ ├── duplicate_variable.leo │ │ ├── expr_statement.leo │ │ ├── expr_statement_fail.leo │ │ ├── iteration_basic.leo │ │ ├── iteration_bound_too_large_fail.leo │ │ ├── iteration_nested.leo │ │ ├── loop_decreasing_fail.leo │ │ ├── loop_non_literal_bound_fail.leo │ │ ├── loop_returns_fail.leo │ │ ├── multiple_returns.leo │ │ ├── multiple_returns_in_one_block_fail.leo │ │ ├── mutate.leo │ │ ├── non_existant_var_exp_fail.leo │ │ ├── non_existant_vars_mul_fail.leo │ │ ├── operations │ │ │ ├── add_assign.leo │ │ │ ├── and_assign.leo │ │ │ ├── bitand_assign.leo │ │ │ ├── bitor_assign.leo │ │ │ ├── bitxor_assign.leo │ │ │ ├── div_assign.leo │ │ │ ├── mul_assign.leo │ │ │ ├── or_assign.leo │ │ │ ├── pow_assign.leo │ │ │ ├── rem_assign.leo │ │ │ ├── shl_assign.leo │ │ │ ├── shr_assign.leo │ │ │ └── sub_assign.leo │ │ ├── statements_after_complete_conditional_return_fail.leo │ │ ├── ternary_explicit_and_implicit.leo │ │ ├── typecheck_statements_fail.leo │ │ ├── underscore_for_loop.leo │ │ └── unknown_type_in_definition_fail.leo │ ├── strings │ │ └── string.leo │ ├── structs │ │ ├── cyclic_structs_four_fail.leo │ │ ├── cyclic_structs_one_fail.leo │ │ ├── cyclic_structs_three_fail.leo │ │ ├── cyclic_structs_two_fail.leo │ │ ├── duplicate_struct_variable.leo │ │ ├── external_record.leo │ │ ├── external_struct.leo │ │ ├── global_shadow_struct_fail.leo │ │ ├── inline.leo │ │ ├── inline_fail.leo │ │ ├── inline_member_fail.leo │ │ ├── inline_member_pass.leo │ │ ├── inline_undefined.leo │ │ ├── member_variable.leo │ │ ├── member_variable_fail.leo │ │ ├── redefine_external_struct.leo │ │ ├── shadow_external_struct_fail.leo │ │ ├── struct_access_fail.leo │ │ ├── struct_contains_record_fail.leo │ │ ├── struct_declaration_out_of_order.leo │ │ ├── struct_function_namespace_conflict_fail.leo │ │ ├── struct_init_out_of_order.leo │ │ ├── struct_with_visibility_fail.leo │ │ └── unknown_member_type_fail.leo │ └── tuple │ │ ├── access_negative_fail.leo │ │ ├── access_out_of_bounds_fail.leo │ │ ├── assign_unit_fail.leo │ │ ├── declare_fail.leo │ │ ├── function_call_returns_tuple.leo │ │ ├── function_early_return.leo │ │ ├── function_return.leo │ │ ├── function_return_nothing.leo │ │ ├── function_return_single_fail.leo │ │ ├── function_return_unit.leo │ │ ├── function_return_varying_modes.leo │ │ ├── function_unit_input_fail.leo │ │ ├── return_statement_fail.leo │ │ ├── return_with_different_modes.leo │ │ ├── singleton_tuple_fail.leo │ │ ├── tuple_access.leo │ │ ├── tuple_destructure.leo │ │ ├── tuple_in_assignment.leo │ │ ├── tuple_in_definition.leo │ │ ├── tuple_in_function_param.leo │ │ ├── tuple_in_loop.leo │ │ ├── tuple_in_record_fail.leo │ │ ├── tuple_in_return_type.leo │ │ ├── tuple_in_struct_fail.leo │ │ ├── tuple_not_allowed_fail.leo │ │ ├── type_fail.leo │ │ └── unit.leo │ ├── execution │ ├── array_sum.leo │ ├── cast_coersion.leo │ ├── chain.leo │ ├── complex_finalization.leo │ ├── cond_exec_in_finalize.leo │ ├── counter.leo │ ├── eq.leo │ ├── flattened_function_and_inline_matches.leo │ ├── group_operations.leo │ ├── metadata.leo │ ├── mint.leo │ └── primitive_casts.leo │ └── parser │ ├── expression │ ├── access │ │ ├── associated_function.leo │ │ ├── call.leo │ │ └── method_function.leo │ ├── array_init_fail.leo │ ├── array_inline_fail.leo │ ├── binary │ │ ├── add.leo │ │ ├── add_wrapped.leo │ │ ├── and.leo │ │ ├── bit_and.leo │ │ ├── bit_or.leo │ │ ├── bit_xor.leo │ │ ├── div.leo │ │ ├── div_wrapped.leo │ │ ├── eq.leo │ │ ├── eq_fail.leo │ │ ├── ge.leo │ │ ├── ge_fail.leo │ │ ├── gt.leo │ │ ├── gt_fail.leo │ │ ├── le.leo │ │ ├── le_fail.leo │ │ ├── lt.leo │ │ ├── lt_fail.leo │ │ ├── modulo.leo │ │ ├── mul.leo │ │ ├── mul_wrapped.leo │ │ ├── nand.leo │ │ ├── neq.leo │ │ ├── neq_fail.leo │ │ ├── nor.leo │ │ ├── or.leo │ │ ├── pow.leo │ │ ├── pow_wrapped.leo │ │ ├── rem.leo │ │ ├── rem_wrapped.leo │ │ ├── shl.leo │ │ ├── shl_wrapped.leo │ │ ├── shr.leo │ │ ├── shr_wrapped.leo │ │ ├── sub.leo │ │ └── sub_wrapped.leo │ ├── cast.leo │ ├── cast_fail.leo │ ├── circuit_init_fail.leo │ ├── ident.leo │ ├── literal │ │ ├── address.leo │ │ ├── address_fail.leo │ │ ├── address_parse.leo │ │ ├── bool.leo │ │ ├── bool_parse.leo │ │ ├── char.leo │ │ ├── char_fail.leo │ │ ├── char_parse.leo │ │ ├── comment.leo │ │ ├── comment_fail.leo │ │ ├── formatted_string.leo │ │ ├── group.leo │ │ ├── group_fail.leo │ │ ├── int.leo │ │ ├── int_fail.leo │ │ ├── int_parse │ │ │ ├── field.leo │ │ │ ├── field_fail.leo │ │ │ ├── i128.leo │ │ │ ├── i16.leo │ │ │ ├── i32.leo │ │ │ ├── i64.leo │ │ │ ├── i8.leo │ │ │ ├── implicit.leo │ │ │ ├── mono_group.leo │ │ │ ├── scalar.leo │ │ │ ├── u128.leo │ │ │ ├── u16.leo │ │ │ ├── u32.leo │ │ │ ├── u64.leo │ │ │ └── u8.leo │ │ ├── postfix_types.leo │ │ ├── string.leo │ │ ├── string_fail.leo │ │ ├── underscore.leo │ │ └── underscore_fail.leo │ ├── ternary.leo │ ├── token_format.leo │ └── unary │ │ ├── abs.leo │ │ ├── abs_wrapped.leo │ │ ├── bit_not.leo.off │ │ ├── double.leo │ │ ├── inv.leo │ │ ├── neg.leo │ │ ├── not.leo │ │ ├── sqrt.leo │ │ └── square.leo │ ├── finalize │ ├── decrement.leo │ ├── decrement_fail.leo │ ├── finalize.leo │ ├── finalize_fail.leo │ ├── finalize_statement_fail.leo │ ├── increment.leo │ ├── increment_fail.leo │ ├── mapping.leo │ └── mapping_fail.leo │ ├── functions │ ├── annotated_arg_not_ident_fail.leo │ ├── annotated_context.leo │ ├── annotated_functions.leo │ ├── bounded_recursion.leo │ ├── const_input_fail.leo │ ├── const_param.leo │ ├── const_public_param_fail.leo │ ├── constant_input.leo │ ├── danling_annotations_fail.leo │ ├── empty2.leo │ ├── escape_fail.leo │ ├── function_name_is_not_identifier.leo │ ├── ident_token_fail.leo │ ├── infinite_recursion.leo │ ├── inline_function.leo │ ├── mode_outside_tuple.leo │ ├── mut_input_fail.leo │ ├── params.leo │ ├── params_return.leo │ ├── public_const_param_fail.leo │ ├── public_param.leo │ ├── return.leo │ ├── spaced_annotation_fail.leo │ ├── test_keyword_fail.leo │ └── transition_function.leo │ ├── future │ └── explicit_future_typing.leo │ ├── inputs │ ├── input_const.leo │ ├── input_constant.leo │ ├── input_constant_public_fail.leo │ ├── input_fail.leo │ ├── input_public.leo │ └── input_public_constant_fail.leo │ ├── program │ ├── async_basic.leo │ ├── backslash_eof.leo │ ├── bidi_comment_2_fail.leo │ ├── bidi_comment_fail.leo │ ├── circuit_deprecated_fail.leo │ ├── dollar_eof.leo │ ├── escape_u8_eof.leo │ ├── external_mapping.leo │ ├── hex_eof.leo │ ├── illegal_import_fail.leo │ ├── import.leo │ ├── import_fail.leo │ ├── locator_expression_fail.leo │ ├── mapping.leo │ ├── mapping_fail.leo │ ├── network_id.leo │ ├── non_aleo_network_fail.leo │ ├── pipe_eof.leo │ ├── q_eof.leo │ ├── record_with_visibility.leo │ ├── special_address.leo │ ├── sq_eof.leo │ ├── struct_with_visibility.leo │ ├── stub_fail.leo │ ├── tilde_eof.leo │ └── unclosed_unicode_eof_fail.leo │ ├── serialize │ ├── one_plus_one.leo │ └── parser_error.leo │ ├── statement │ ├── all_loops.leo │ ├── assert.leo │ ├── assign.leo │ ├── async_fail.leo │ ├── block.leo │ ├── cond_mut.leo │ ├── conditional.leo │ ├── conditional_fail.leo │ ├── console_fail.leo │ ├── definition.leo │ ├── definition_fail.leo │ ├── exported_type_fail.leo │ ├── expression.leo │ ├── expression_fail.leo │ ├── finalize_fail.leo │ ├── for_loop.leo │ ├── function_input_mut.leo │ ├── hex_int_fail.leo │ ├── import_circuit.leo │ ├── iteration.leo │ ├── iteration_repeated.leo │ ├── iteration_variable.leo │ ├── let_mut_nested.leo │ ├── let_mut_recover.leo │ ├── return.leo │ └── return_fail.leo │ ├── type_ │ ├── signature.leo │ └── signature_verify_bad_syntax_fail.leo │ └── unreachable │ ├── define.leo │ ├── eat_ident.leo │ ├── eat_int.leo │ ├── equality_and_order_expression.leo │ ├── expect_ident.leo │ ├── math_op_fail.leo │ ├── math_op_pass.leo │ ├── postfix_fail.leo │ └── postfix_pass.leo └── utils ├── disassembler ├── Cargo.toml └── src │ ├── lib.rs │ └── tests │ ├── credits.aleo │ └── large_functions.aleo └── retriever ├── Cargo.toml └── src ├── lib.rs ├── program_context ├── dependency.rs ├── location.rs ├── lock_file_entry.rs ├── manifest.rs ├── mod.rs └── network_name.rs └── retriever └── mod.rs /.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.cargo/config -------------------------------------------------------------------------------- /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.circleci/leo-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/leo-clean.sh -------------------------------------------------------------------------------- /.circleci/leo-example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/leo-example.sh -------------------------------------------------------------------------------- /.circleci/leo-new.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/leo-new.sh -------------------------------------------------------------------------------- /.circleci/lottery/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/.gitignore -------------------------------------------------------------------------------- /.circleci/lottery/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/README.md -------------------------------------------------------------------------------- /.circleci/lottery/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/build/main.aleo -------------------------------------------------------------------------------- /.circleci/lottery/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/build/program.json -------------------------------------------------------------------------------- /.circleci/lottery/inputs/lottery.in: -------------------------------------------------------------------------------- 1 | // The program input for lottery/src/main.leo 2 | [play] 3 | -------------------------------------------------------------------------------- /.circleci/lottery/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /.circleci/lottery/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/program.json -------------------------------------------------------------------------------- /.circleci/lottery/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/run.sh -------------------------------------------------------------------------------- /.circleci/lottery/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/lottery/src/main.leo -------------------------------------------------------------------------------- /.circleci/test-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/test-examples.sh -------------------------------------------------------------------------------- /.circleci/tictactoe/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/.gitignore -------------------------------------------------------------------------------- /.circleci/tictactoe/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/README.md -------------------------------------------------------------------------------- /.circleci/tictactoe/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/build/main.aleo -------------------------------------------------------------------------------- /.circleci/tictactoe/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/build/program.json -------------------------------------------------------------------------------- /.circleci/tictactoe/inputs/tictactoe.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/inputs/tictactoe.in -------------------------------------------------------------------------------- /.circleci/tictactoe/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /.circleci/tictactoe/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/program.json -------------------------------------------------------------------------------- /.circleci/tictactoe/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/run.sh -------------------------------------------------------------------------------- /.circleci/tictactoe/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/tictactoe/src/main.leo -------------------------------------------------------------------------------- /.circleci/token/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/.gitignore -------------------------------------------------------------------------------- /.circleci/token/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/README.md -------------------------------------------------------------------------------- /.circleci/token/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/build/main.aleo -------------------------------------------------------------------------------- /.circleci/token/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/build/program.json -------------------------------------------------------------------------------- /.circleci/token/inputs/token.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/inputs/token.in -------------------------------------------------------------------------------- /.circleci/token/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /.circleci/token/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/program.json -------------------------------------------------------------------------------- /.circleci/token/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/run.sh -------------------------------------------------------------------------------- /.circleci/token/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.circleci/token/src/main.leo -------------------------------------------------------------------------------- /.codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.codecov.yml -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/0_bug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE/0_bug.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/1_feature.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE/1_feature.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/2_proposal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE/2_proposal.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/3_documentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE/3_documentation.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/ISSUE_TEMPLATE/config.yml -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/acl2.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/acl2.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/codecov.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/markdown.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/markdown.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.gitignore -------------------------------------------------------------------------------- /.resources/README-md-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.resources/README-md-1.png -------------------------------------------------------------------------------- /.resources/license_header: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.resources/license_header -------------------------------------------------------------------------------- /.resources/release-version: -------------------------------------------------------------------------------- 1 | v1.12.0 -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.rustfmt.toml -------------------------------------------------------------------------------- /.rusty-hook.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/.rusty-hook.toml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /CONTRIBUTORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/CONTRIBUTORS.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/Cargo.toml -------------------------------------------------------------------------------- /DEVELOPMENT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/DEVELOPMENT.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/SECURITY.md -------------------------------------------------------------------------------- /compiler/ast/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/Cargo.toml -------------------------------------------------------------------------------- /compiler/ast/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/LICENSE.md -------------------------------------------------------------------------------- /compiler/ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/README.md -------------------------------------------------------------------------------- /compiler/ast/src/access/array_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/access/array_access.rs -------------------------------------------------------------------------------- /compiler/ast/src/access/member_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/access/member_access.rs -------------------------------------------------------------------------------- /compiler/ast/src/access/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/access/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/access/tuple_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/access/tuple_access.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/identifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/identifier.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/imported_modules.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/imported_modules.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/location.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/location.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/node.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/node_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/node_builder.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/positive_number.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/positive_number.rs -------------------------------------------------------------------------------- /compiler/ast/src/common/static_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/common/static_string.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/access.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/array.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/binary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/binary.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/call.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/cast.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/err.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/err.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/literal.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/locator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/locator.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/struct_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/struct_init.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/ternary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/ternary.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/tuple.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/unary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/unary.rs -------------------------------------------------------------------------------- /compiler/ast/src/expressions/unit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/expressions/unit.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/annotation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/annotation.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/core_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/core_function.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/input.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/mode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/mode.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/output.rs -------------------------------------------------------------------------------- /compiler/ast/src/functions/variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/functions/variant.rs -------------------------------------------------------------------------------- /compiler/ast/src/groups/group_coordinate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/groups/group_coordinate.rs -------------------------------------------------------------------------------- /compiler/ast/src/groups/group_literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/groups/group_literal.rs -------------------------------------------------------------------------------- /compiler/ast/src/groups/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/groups/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/lib.rs -------------------------------------------------------------------------------- /compiler/ast/src/mapping/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/mapping/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/passes/consumer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/passes/consumer.rs -------------------------------------------------------------------------------- /compiler/ast/src/passes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/passes/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/passes/reconstructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/passes/reconstructor.rs -------------------------------------------------------------------------------- /compiler/ast/src/passes/visitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/passes/visitor.rs -------------------------------------------------------------------------------- /compiler/ast/src/program/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/program/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/program/program_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/program/program_id.rs -------------------------------------------------------------------------------- /compiler/ast/src/program/program_scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/program/program_scope.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/assert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/assert.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/assign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/assign.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/block.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/conditional.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/conditional.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/console/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/console/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/const_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/const_.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/definition/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/definition/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/expression.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/iteration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/iteration.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/statement/return_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/statement/return_.rs -------------------------------------------------------------------------------- /compiler/ast/src/struct/member.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/struct/member.rs -------------------------------------------------------------------------------- /compiler/ast/src/struct/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/struct/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/stub/function_stub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/stub/function_stub.rs -------------------------------------------------------------------------------- /compiler/ast/src/stub/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/stub/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/array.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/core_constant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/core_constant.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/future.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/future.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/integer_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/integer_type.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/mapping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/mapping.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/mod.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/struct_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/struct_type.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/tuple.rs -------------------------------------------------------------------------------- /compiler/ast/src/types/type_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/types/type_.rs -------------------------------------------------------------------------------- /compiler/ast/src/value/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/ast/src/value/mod.rs -------------------------------------------------------------------------------- /compiler/compiler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/Cargo.toml -------------------------------------------------------------------------------- /compiler/compiler/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/LICENSE.md -------------------------------------------------------------------------------- /compiler/compiler/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/README.md -------------------------------------------------------------------------------- /compiler/compiler/src/compiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/src/compiler.rs -------------------------------------------------------------------------------- /compiler/compiler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/src/lib.rs -------------------------------------------------------------------------------- /compiler/compiler/src/options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/src/options.rs -------------------------------------------------------------------------------- /compiler/compiler/tests/compile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/tests/compile.rs -------------------------------------------------------------------------------- /compiler/compiler/tests/execute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/tests/execute.rs -------------------------------------------------------------------------------- /compiler/compiler/tests/utilities/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/tests/utilities/mod.rs -------------------------------------------------------------------------------- /compiler/compiler/tests/utilities/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/compiler/tests/utilities/output.rs -------------------------------------------------------------------------------- /compiler/parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/Cargo.toml -------------------------------------------------------------------------------- /compiler/parser/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/LICENSE.md -------------------------------------------------------------------------------- /compiler/parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/README.md -------------------------------------------------------------------------------- /compiler/parser/examples/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/examples/parser.rs -------------------------------------------------------------------------------- /compiler/parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/lib.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/context.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/expression.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/file.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/mod.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/statement.rs -------------------------------------------------------------------------------- /compiler/parser/src/parser/type_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/parser/type_.rs -------------------------------------------------------------------------------- /compiler/parser/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/test.rs -------------------------------------------------------------------------------- /compiler/parser/src/tokenizer/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/tokenizer/lexer.rs -------------------------------------------------------------------------------- /compiler/parser/src/tokenizer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/tokenizer/mod.rs -------------------------------------------------------------------------------- /compiler/parser/src/tokenizer/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/parser/src/tokenizer/token.rs -------------------------------------------------------------------------------- /compiler/passes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/Cargo.toml -------------------------------------------------------------------------------- /compiler/passes/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/LICENSE.md -------------------------------------------------------------------------------- /compiler/passes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/README.md -------------------------------------------------------------------------------- /compiler/passes/src/code_generation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/code_generation/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/assigner/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/assigner/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/graph/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/graph/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/replacer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/replacer/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/tree_node/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/tree_node/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/common/type_table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/common/type_table/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/destructuring/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/destructuring/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/flattening/flattener.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/flattening/flattener.rs -------------------------------------------------------------------------------- /compiler/passes/src/flattening/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/flattening/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/function_inlining/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/function_inlining/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/lib.rs -------------------------------------------------------------------------------- /compiler/passes/src/loop_unrolling/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/loop_unrolling/mod.rs -------------------------------------------------------------------------------- /compiler/passes/src/pass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/pass.rs -------------------------------------------------------------------------------- /compiler/passes/src/type_checking/checker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/type_checking/checker.rs -------------------------------------------------------------------------------- /compiler/passes/src/type_checking/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/passes/src/type_checking/mod.rs -------------------------------------------------------------------------------- /compiler/span/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/Cargo.toml -------------------------------------------------------------------------------- /compiler/span/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/LICENSE.md -------------------------------------------------------------------------------- /compiler/span/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/README.md -------------------------------------------------------------------------------- /compiler/span/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/src/lib.rs -------------------------------------------------------------------------------- /compiler/span/src/source_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/src/source_map.rs -------------------------------------------------------------------------------- /compiler/span/src/span.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/src/span.rs -------------------------------------------------------------------------------- /compiler/span/src/span_json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/src/span_json.rs -------------------------------------------------------------------------------- /compiler/span/src/symbol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/compiler/span/src/symbol.rs -------------------------------------------------------------------------------- /docs/grammar/.gitattributes: -------------------------------------------------------------------------------- 1 | abnf-grammar.txt text eol=crlf 2 | -------------------------------------------------------------------------------- /docs/grammar/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/grammar/Cargo.toml -------------------------------------------------------------------------------- /docs/grammar/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/grammar/README.md -------------------------------------------------------------------------------- /docs/grammar/abnf-grammar.txt: -------------------------------------------------------------------------------- 1 | ; This file has been moved to https://github.com/AleoHQ/grammars. 2 | -------------------------------------------------------------------------------- /docs/grammar/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/grammar/src/main.rs -------------------------------------------------------------------------------- /docs/operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/operators.md -------------------------------------------------------------------------------- /docs/rfc/000-rfc-format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/rfc/000-rfc-format.md -------------------------------------------------------------------------------- /docs/rfc/__template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/rfc/__template.md -------------------------------------------------------------------------------- /docs/troubleshooting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/docs/troubleshooting.md -------------------------------------------------------------------------------- /errors/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/Cargo.toml -------------------------------------------------------------------------------- /errors/ERROR_INDEX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/ERROR_INDEX.md -------------------------------------------------------------------------------- /errors/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/LICENSE.md -------------------------------------------------------------------------------- /errors/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/README.md -------------------------------------------------------------------------------- /errors/src/common/backtraced.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/common/backtraced.rs -------------------------------------------------------------------------------- /errors/src/common/formatted.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/common/formatted.rs -------------------------------------------------------------------------------- /errors/src/common/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/common/macros.rs -------------------------------------------------------------------------------- /errors/src/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/common/mod.rs -------------------------------------------------------------------------------- /errors/src/common/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/common/traits.rs -------------------------------------------------------------------------------- /errors/src/emitter/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/emitter/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/ast/ast_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/ast/ast_errors.rs -------------------------------------------------------------------------------- /errors/src/errors/ast/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/ast/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/cli/cli_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/cli/cli_errors.rs -------------------------------------------------------------------------------- /errors/src/errors/cli/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/cli/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/compiler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/compiler/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/flattener/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/flattener/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/import/import_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/import/import_errors.rs -------------------------------------------------------------------------------- /errors/src/errors/import/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/import/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/loop_unroller/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/loop_unroller/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/package/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/package/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/package/package_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/package/package_errors.rs -------------------------------------------------------------------------------- /errors/src/errors/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/parser/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/parser/parser_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/parser/parser_errors.rs -------------------------------------------------------------------------------- /errors/src/errors/parser/parser_warnings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/parser/parser_warnings.rs -------------------------------------------------------------------------------- /errors/src/errors/type_checker/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/type_checker/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/utils/mod.rs -------------------------------------------------------------------------------- /errors/src/errors/utils/util_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/errors/utils/util_errors.rs -------------------------------------------------------------------------------- /errors/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/errors/src/lib.rs -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/auction/.env: -------------------------------------------------------------------------------- 1 | 2 | NETWORK=mainnet 3 | PRIVATE_KEY=APrivateKey1zkp5wvamYgK3WCAdpBQxZqQX8XnuN2u11Y6QprZTriVwZVc 4 | 5 | -------------------------------------------------------------------------------- /examples/auction/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/.gitignore -------------------------------------------------------------------------------- /examples/auction/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/README.md -------------------------------------------------------------------------------- /examples/auction/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/build/main.aleo -------------------------------------------------------------------------------- /examples/auction/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/build/program.json -------------------------------------------------------------------------------- /examples/auction/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/auction/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/program.json -------------------------------------------------------------------------------- /examples/auction/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/run.sh -------------------------------------------------------------------------------- /examples/auction/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/auction/src/main.leo -------------------------------------------------------------------------------- /examples/basic_bank/.env: -------------------------------------------------------------------------------- 1 | 2 | NETWORK=mainnet 3 | PRIVATE_KEY=APrivateKey1zkpHtqVWT6fSHgUMNxsuVf7eaR6id2cj7TieKY1Z8CP5rCD 4 | 5 | -------------------------------------------------------------------------------- /examples/basic_bank/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/.gitignore -------------------------------------------------------------------------------- /examples/basic_bank/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/README.md -------------------------------------------------------------------------------- /examples/basic_bank/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/build/main.aleo -------------------------------------------------------------------------------- /examples/basic_bank/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/build/program.json -------------------------------------------------------------------------------- /examples/basic_bank/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/basic_bank/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/program.json -------------------------------------------------------------------------------- /examples/basic_bank/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/run.sh -------------------------------------------------------------------------------- /examples/basic_bank/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/basic_bank/src/main.leo -------------------------------------------------------------------------------- /examples/battleship/.env: -------------------------------------------------------------------------------- 1 | 2 | NETWORK=mainnet 3 | PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH 4 | 5 | -------------------------------------------------------------------------------- /examples/battleship/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/.gitignore -------------------------------------------------------------------------------- /examples/battleship/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/README.md -------------------------------------------------------------------------------- /examples/battleship/board/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/.gitignore -------------------------------------------------------------------------------- /examples/battleship/board/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/README.md -------------------------------------------------------------------------------- /examples/battleship/board/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/build/main.aleo -------------------------------------------------------------------------------- /examples/battleship/board/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/build/program.json -------------------------------------------------------------------------------- /examples/battleship/board/inputs/board.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/inputs/board.in -------------------------------------------------------------------------------- /examples/battleship/board/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/battleship/board/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/program.json -------------------------------------------------------------------------------- /examples/battleship/board/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/board/src/main.leo -------------------------------------------------------------------------------- /examples/battleship/build/imports/board.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/build/imports/board.aleo -------------------------------------------------------------------------------- /examples/battleship/build/imports/move.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/build/imports/move.aleo -------------------------------------------------------------------------------- /examples/battleship/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/build/main.aleo -------------------------------------------------------------------------------- /examples/battleship/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/build/program.json -------------------------------------------------------------------------------- /examples/battleship/diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/diagram.png -------------------------------------------------------------------------------- /examples/battleship/leo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/leo.lock -------------------------------------------------------------------------------- /examples/battleship/move/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/.gitignore -------------------------------------------------------------------------------- /examples/battleship/move/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/README.md -------------------------------------------------------------------------------- /examples/battleship/move/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/build/main.aleo -------------------------------------------------------------------------------- /examples/battleship/move/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/build/program.json -------------------------------------------------------------------------------- /examples/battleship/move/inputs/move.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/inputs/move.in -------------------------------------------------------------------------------- /examples/battleship/move/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/battleship/move/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/program.json -------------------------------------------------------------------------------- /examples/battleship/move/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/move/src/main.leo -------------------------------------------------------------------------------- /examples/battleship/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/program.json -------------------------------------------------------------------------------- /examples/battleship/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/run.sh -------------------------------------------------------------------------------- /examples/battleship/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/src/main.leo -------------------------------------------------------------------------------- /examples/battleship/verify/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/.gitignore -------------------------------------------------------------------------------- /examples/battleship/verify/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/README.md -------------------------------------------------------------------------------- /examples/battleship/verify/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/build/main.aleo -------------------------------------------------------------------------------- /examples/battleship/verify/inputs/verify.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/inputs/verify.in -------------------------------------------------------------------------------- /examples/battleship/verify/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/battleship/verify/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/program.json -------------------------------------------------------------------------------- /examples/battleship/verify/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/battleship/verify/src/main.leo -------------------------------------------------------------------------------- /examples/bubblesort/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/bubblesort/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/.gitignore -------------------------------------------------------------------------------- /examples/bubblesort/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/README.md -------------------------------------------------------------------------------- /examples/bubblesort/build/build/main.avm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/build/build/main.avm -------------------------------------------------------------------------------- /examples/bubblesort/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/build/main.aleo -------------------------------------------------------------------------------- /examples/bubblesort/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/build/program.json -------------------------------------------------------------------------------- /examples/bubblesort/inputs/bubblesort.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/inputs/bubblesort.in -------------------------------------------------------------------------------- /examples/bubblesort/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/bubblesort/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/program.json -------------------------------------------------------------------------------- /examples/bubblesort/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/bubblesort/src/main.leo -------------------------------------------------------------------------------- /examples/core/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/core/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/.gitignore -------------------------------------------------------------------------------- /examples/core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/README.md -------------------------------------------------------------------------------- /examples/core/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/build/main.aleo -------------------------------------------------------------------------------- /examples/core/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/build/program.json -------------------------------------------------------------------------------- /examples/core/inputs/core.in: -------------------------------------------------------------------------------- 1 | 1field 2 | 3 | -------------------------------------------------------------------------------- /examples/core/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/core/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/program.json -------------------------------------------------------------------------------- /examples/core/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/core/src/main.leo -------------------------------------------------------------------------------- /examples/fibonacci/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/fibonacci/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/fibonacci/.gitignore -------------------------------------------------------------------------------- /examples/fibonacci/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/fibonacci/README.md -------------------------------------------------------------------------------- /examples/fibonacci/inputs/fibonacci.in: -------------------------------------------------------------------------------- 1 | 63u8 2 | -------------------------------------------------------------------------------- /examples/fibonacci/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/fibonacci/program.json -------------------------------------------------------------------------------- /examples/fibonacci/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/fibonacci/src/main.leo -------------------------------------------------------------------------------- /examples/groups/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/groups/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/.gitignore -------------------------------------------------------------------------------- /examples/groups/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/README.md -------------------------------------------------------------------------------- /examples/groups/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/build/main.aleo -------------------------------------------------------------------------------- /examples/groups/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/build/program.json -------------------------------------------------------------------------------- /examples/groups/inputs/groups.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/inputs/groups.in -------------------------------------------------------------------------------- /examples/groups/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/groups/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/program.json -------------------------------------------------------------------------------- /examples/groups/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/groups/src/main.leo -------------------------------------------------------------------------------- /examples/hackers-delight/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/README.md -------------------------------------------------------------------------------- /examples/hackers-delight/ntzdebruijn/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzdebruijn/inputs/ntzdebruijn.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzdebruijn/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzgaudet/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzgaudet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzgaudet/README.md -------------------------------------------------------------------------------- /examples/hackers-delight/ntzgaudet/inputs/ntzgaudet.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzgaudet/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzloops/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzloops/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzloops/.gitignore -------------------------------------------------------------------------------- /examples/hackers-delight/ntzloops/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzloops/README.md -------------------------------------------------------------------------------- /examples/hackers-delight/ntzloops/inputs/ntzloops.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzloops/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzmasks/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzmasks/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzmasks/.gitignore -------------------------------------------------------------------------------- /examples/hackers-delight/ntzmasks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzmasks/README.md -------------------------------------------------------------------------------- /examples/hackers-delight/ntzmasks/inputs/ntzmasks.in: -------------------------------------------------------------------------------- 1 | 1073741824u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzmasks/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzreisers/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzreisers/inputs/ntzreisers.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzreisers/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzseals/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzseals/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzseals/.gitignore -------------------------------------------------------------------------------- /examples/hackers-delight/ntzseals/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/hackers-delight/ntzseals/README.md -------------------------------------------------------------------------------- /examples/hackers-delight/ntzseals/inputs/ntzseals.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzseals/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzsearchtree/inputs/ntzsearchtree.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzsearchtree/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzsmallvals/inputs/ntzsmallvals.in: -------------------------------------------------------------------------------- 1 | 2147483648u32 2 | -------------------------------------------------------------------------------- /examples/hackers-delight/ntzsmallvals/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/helloworld/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/helloworld/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/.gitignore -------------------------------------------------------------------------------- /examples/helloworld/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/README.md -------------------------------------------------------------------------------- /examples/helloworld/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/build/main.aleo -------------------------------------------------------------------------------- /examples/helloworld/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/build/program.json -------------------------------------------------------------------------------- /examples/helloworld/hello/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/.gitignore -------------------------------------------------------------------------------- /examples/helloworld/hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/README.md -------------------------------------------------------------------------------- /examples/helloworld/hello/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/build/main.aleo -------------------------------------------------------------------------------- /examples/helloworld/hello/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/build/program.json -------------------------------------------------------------------------------- /examples/helloworld/hello/inputs/hello.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/inputs/hello.in -------------------------------------------------------------------------------- /examples/helloworld/hello/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/program.json -------------------------------------------------------------------------------- /examples/helloworld/hello/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/hello/src/main.leo -------------------------------------------------------------------------------- /examples/helloworld/inputs/helloworld.in: -------------------------------------------------------------------------------- 1 | 1u32 2u32 2 | -------------------------------------------------------------------------------- /examples/helloworld/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/helloworld/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/program.json -------------------------------------------------------------------------------- /examples/helloworld/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/helloworld/src/main.leo -------------------------------------------------------------------------------- /examples/interest/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/interest/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/.gitignore -------------------------------------------------------------------------------- /examples/interest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/README.md -------------------------------------------------------------------------------- /examples/interest/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/build/main.aleo -------------------------------------------------------------------------------- /examples/interest/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/build/program.json -------------------------------------------------------------------------------- /examples/interest/inputs/bounded.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/inputs/bounded.in -------------------------------------------------------------------------------- /examples/interest/inputs/fixed.in: -------------------------------------------------------------------------------- 1 | 80u32 5u32 2 | -------------------------------------------------------------------------------- /examples/interest/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/interest/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/program.json -------------------------------------------------------------------------------- /examples/interest/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/interest/src/main.leo -------------------------------------------------------------------------------- /examples/lottery/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/lottery/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/.gitignore -------------------------------------------------------------------------------- /examples/lottery/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/README.md -------------------------------------------------------------------------------- /examples/lottery/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/build/main.aleo -------------------------------------------------------------------------------- /examples/lottery/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/build/program.json -------------------------------------------------------------------------------- /examples/lottery/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/lottery/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/program.json -------------------------------------------------------------------------------- /examples/lottery/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/run.sh -------------------------------------------------------------------------------- /examples/lottery/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/lottery/src/main.leo -------------------------------------------------------------------------------- /examples/message/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/message/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/.gitignore -------------------------------------------------------------------------------- /examples/message/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/README.md -------------------------------------------------------------------------------- /examples/message/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/build/main.aleo -------------------------------------------------------------------------------- /examples/message/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/build/program.json -------------------------------------------------------------------------------- /examples/message/inputs/message.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/inputs/message.in -------------------------------------------------------------------------------- /examples/message/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/message/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/program.json -------------------------------------------------------------------------------- /examples/message/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/message/src/main.leo -------------------------------------------------------------------------------- /examples/simple_token/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/simple_token/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/.gitignore -------------------------------------------------------------------------------- /examples/simple_token/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/README.md -------------------------------------------------------------------------------- /examples/simple_token/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/build/main.aleo -------------------------------------------------------------------------------- /examples/simple_token/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/build/program.json -------------------------------------------------------------------------------- /examples/simple_token/inputs/mint.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/inputs/mint.in -------------------------------------------------------------------------------- /examples/simple_token/inputs/transfer.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/inputs/transfer.in -------------------------------------------------------------------------------- /examples/simple_token/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/simple_token/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/program.json -------------------------------------------------------------------------------- /examples/simple_token/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/simple_token/src/main.leo -------------------------------------------------------------------------------- /examples/tictactoe/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/tictactoe/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/.gitignore -------------------------------------------------------------------------------- /examples/tictactoe/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/README.md -------------------------------------------------------------------------------- /examples/tictactoe/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/build/main.aleo -------------------------------------------------------------------------------- /examples/tictactoe/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/build/program.json -------------------------------------------------------------------------------- /examples/tictactoe/inputs/tictactoe.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/inputs/tictactoe.in -------------------------------------------------------------------------------- /examples/tictactoe/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/tictactoe/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/program.json -------------------------------------------------------------------------------- /examples/tictactoe/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/run.sh -------------------------------------------------------------------------------- /examples/tictactoe/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/tictactoe/src/main.leo -------------------------------------------------------------------------------- /examples/token/.env: -------------------------------------------------------------------------------- 1 | 2 | NETWORK=mainnet 3 | PRIVATE_KEY=APrivateKey1zkp1w8PTxrRgGfAtfKUSq43iQyVbdQHfhGbiNPEg2LVSEXR 4 | 5 | -------------------------------------------------------------------------------- /examples/token/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/.gitignore -------------------------------------------------------------------------------- /examples/token/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/README.md -------------------------------------------------------------------------------- /examples/token/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/build/main.aleo -------------------------------------------------------------------------------- /examples/token/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/build/program.json -------------------------------------------------------------------------------- /examples/token/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/token/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/program.json -------------------------------------------------------------------------------- /examples/token/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/run.sh -------------------------------------------------------------------------------- /examples/token/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/token/src/main.leo -------------------------------------------------------------------------------- /examples/twoadicity/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/twoadicity/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/.gitignore -------------------------------------------------------------------------------- /examples/twoadicity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/README.md -------------------------------------------------------------------------------- /examples/twoadicity/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/build/main.aleo -------------------------------------------------------------------------------- /examples/twoadicity/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/build/program.json -------------------------------------------------------------------------------- /examples/twoadicity/inputs/twoadicity.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/inputs/twoadicity.in -------------------------------------------------------------------------------- /examples/twoadicity/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/twoadicity/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/program.json -------------------------------------------------------------------------------- /examples/twoadicity/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/twoadicity/src/main.leo -------------------------------------------------------------------------------- /examples/vote/.env: -------------------------------------------------------------------------------- 1 | NETWORK=mainnet 2 | PRIVATE_KEY=APrivateKey1zkpBvXdKZKaXXcLUnwAVFCQNp41jrX6JqTuJo1JShfPoRfx 3 | -------------------------------------------------------------------------------- /examples/vote/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/.gitignore -------------------------------------------------------------------------------- /examples/vote/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/README.md -------------------------------------------------------------------------------- /examples/vote/build/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/build/main.aleo -------------------------------------------------------------------------------- /examples/vote/build/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/build/program.json -------------------------------------------------------------------------------- /examples/vote/inputs/agree.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/inputs/agree.in -------------------------------------------------------------------------------- /examples/vote/inputs/disagree.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/inputs/disagree.in -------------------------------------------------------------------------------- /examples/vote/inputs/new_ticket.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/inputs/new_ticket.in -------------------------------------------------------------------------------- /examples/vote/inputs/propose.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/inputs/propose.in -------------------------------------------------------------------------------- /examples/vote/leo.lock: -------------------------------------------------------------------------------- 1 | package = [] 2 | -------------------------------------------------------------------------------- /examples/vote/program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/program.json -------------------------------------------------------------------------------- /examples/vote/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/run.sh -------------------------------------------------------------------------------- /examples/vote/src/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/examples/vote/src/main.leo -------------------------------------------------------------------------------- /leo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/README.md -------------------------------------------------------------------------------- /leo/cli/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/cli.rs -------------------------------------------------------------------------------- /leo/cli/commands/account.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/account.rs -------------------------------------------------------------------------------- /leo/cli/commands/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/add.rs -------------------------------------------------------------------------------- /leo/cli/commands/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/build.rs -------------------------------------------------------------------------------- /leo/cli/commands/clean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/clean.rs -------------------------------------------------------------------------------- /leo/cli/commands/deploy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/deploy.rs -------------------------------------------------------------------------------- /leo/cli/commands/example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/example.rs -------------------------------------------------------------------------------- /leo/cli/commands/execute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/execute.rs -------------------------------------------------------------------------------- /leo/cli/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/mod.rs -------------------------------------------------------------------------------- /leo/cli/commands/new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/new.rs -------------------------------------------------------------------------------- /leo/cli/commands/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/node.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/block.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/committee.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/committee.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/mempool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/mempool.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/mod.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/peers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/peers.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/program.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/state_root.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/state_root.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/transaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/transaction.rs -------------------------------------------------------------------------------- /leo/cli/commands/query/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/query/utils.rs -------------------------------------------------------------------------------- /leo/cli/commands/remove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/remove.rs -------------------------------------------------------------------------------- /leo/cli/commands/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/run.rs -------------------------------------------------------------------------------- /leo/cli/commands/update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/commands/update.rs -------------------------------------------------------------------------------- /leo/cli/helpers/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/helpers/context.rs -------------------------------------------------------------------------------- /leo/cli/helpers/logger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/helpers/logger.rs -------------------------------------------------------------------------------- /leo/cli/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/helpers/mod.rs -------------------------------------------------------------------------------- /leo/cli/helpers/updater.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/helpers/updater.rs -------------------------------------------------------------------------------- /leo/cli/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/main.rs -------------------------------------------------------------------------------- /leo/cli/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/mod.rs -------------------------------------------------------------------------------- /leo/cli/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/cli/tests/mod.rs -------------------------------------------------------------------------------- /leo/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/lib.rs -------------------------------------------------------------------------------- /leo/package/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/Cargo.toml -------------------------------------------------------------------------------- /leo/package/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/LICENSE.md -------------------------------------------------------------------------------- /leo/package/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/README.md -------------------------------------------------------------------------------- /leo/package/src/build/directory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/build/directory.rs -------------------------------------------------------------------------------- /leo/package/src/build/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/build/mod.rs -------------------------------------------------------------------------------- /leo/package/src/imports/directory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/imports/directory.rs -------------------------------------------------------------------------------- /leo/package/src/imports/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/imports/mod.rs -------------------------------------------------------------------------------- /leo/package/src/inputs/directory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/inputs/directory.rs -------------------------------------------------------------------------------- /leo/package/src/inputs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/inputs/mod.rs -------------------------------------------------------------------------------- /leo/package/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/lib.rs -------------------------------------------------------------------------------- /leo/package/src/outputs/ast_snapshot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/outputs/ast_snapshot.rs -------------------------------------------------------------------------------- /leo/package/src/outputs/checksum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/outputs/checksum.rs -------------------------------------------------------------------------------- /leo/package/src/outputs/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/outputs/circuit.rs -------------------------------------------------------------------------------- /leo/package/src/outputs/directory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/outputs/directory.rs -------------------------------------------------------------------------------- /leo/package/src/outputs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/outputs/mod.rs -------------------------------------------------------------------------------- /leo/package/src/package.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/package.rs -------------------------------------------------------------------------------- /leo/package/src/root/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/root/env.rs -------------------------------------------------------------------------------- /leo/package/src/root/gitignore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/root/gitignore.rs -------------------------------------------------------------------------------- /leo/package/src/root/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/root/mod.rs -------------------------------------------------------------------------------- /leo/package/src/source/directory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/source/directory.rs -------------------------------------------------------------------------------- /leo/package/src/source/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/source/main.rs -------------------------------------------------------------------------------- /leo/package/src/source/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/leo/package/src/source/mod.rs -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/expectations/compiler/boolean/and.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/boolean/and.out -------------------------------------------------------------------------------- /tests/expectations/compiler/boolean/or.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/boolean/or.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/add.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/add.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/div.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/div.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/eq.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/eq.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/field.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/field.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/mul.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/mul.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/negate.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/negate.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/pow.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/pow.out -------------------------------------------------------------------------------- /tests/expectations/compiler/field/sub.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/field/sub.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/add.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/add.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/eq.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/eq.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/input.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/input.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/mul.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/mul.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/negate.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/negate.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/sub.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/sub.out -------------------------------------------------------------------------------- /tests/expectations/compiler/group/zero.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/group/zero.out -------------------------------------------------------------------------------- /tests/expectations/compiler/input/main.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/input/main.out -------------------------------------------------------------------------------- /tests/expectations/compiler/scalar/add.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/scalar/add.out -------------------------------------------------------------------------------- /tests/expectations/compiler/scalar/cmp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/scalar/cmp.out -------------------------------------------------------------------------------- /tests/expectations/compiler/scalar/eq.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/scalar/eq.out -------------------------------------------------------------------------------- /tests/expectations/compiler/tuple/unit.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/compiler/tuple/unit.out -------------------------------------------------------------------------------- /tests/expectations/execution/array_sum.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/array_sum.out -------------------------------------------------------------------------------- /tests/expectations/execution/chain.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/chain.out -------------------------------------------------------------------------------- /tests/expectations/execution/counter.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/counter.out -------------------------------------------------------------------------------- /tests/expectations/execution/eq.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/eq.out -------------------------------------------------------------------------------- /tests/expectations/execution/metadata.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/metadata.out -------------------------------------------------------------------------------- /tests/expectations/execution/mint.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/execution/mint.out -------------------------------------------------------------------------------- /tests/expectations/parser/program/import.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/parser/program/import.out -------------------------------------------------------------------------------- /tests/expectations/parser/program/q_eof.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/parser/program/q_eof.out -------------------------------------------------------------------------------- /tests/expectations/parser/program/sq_eof.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/expectations/parser/program/sq_eof.out -------------------------------------------------------------------------------- /tests/expectations/parser/program/stub.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/test-framework/.gitignore: -------------------------------------------------------------------------------- 1 | !src/bin 2 | -------------------------------------------------------------------------------- /tests/test-framework/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/Cargo.toml -------------------------------------------------------------------------------- /tests/test-framework/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/README.md -------------------------------------------------------------------------------- /tests/test-framework/benches/leo_compiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/benches/leo_compiler.rs -------------------------------------------------------------------------------- /tests/test-framework/src/bin/errcov.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/bin/errcov.rs -------------------------------------------------------------------------------- /tests/test-framework/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/error.rs -------------------------------------------------------------------------------- /tests/test-framework/src/fetch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/fetch.rs -------------------------------------------------------------------------------- /tests/test-framework/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/lib.rs -------------------------------------------------------------------------------- /tests/test-framework/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/output.rs -------------------------------------------------------------------------------- /tests/test-framework/src/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/runner.rs -------------------------------------------------------------------------------- /tests/test-framework/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/test.rs -------------------------------------------------------------------------------- /tests/test-framework/src/unused/repeated.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/unused/repeated.leo -------------------------------------------------------------------------------- /tests/test-framework/src/unused/return.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/unused/return.leo -------------------------------------------------------------------------------- /tests/test-framework/src/unused/tgc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/test-framework/src/unused/tgc.rs -------------------------------------------------------------------------------- /tests/tests/compiler/address/binary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/binary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/branch.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/branch.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/equal.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/equal.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/gt_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/gt_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/gte_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/gte_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/lt_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/lt_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/lte_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/lte_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/address/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/address/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/array/array_access.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/array/array_access.leo -------------------------------------------------------------------------------- /tests/tests/compiler/boolean/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/boolean/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/boolean/conditional.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/boolean/conditional.leo -------------------------------------------------------------------------------- /tests/tests/compiler/boolean/equal.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/boolean/equal.leo -------------------------------------------------------------------------------- /tests/tests/compiler/boolean/not_equal.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/boolean/not_equal.leo -------------------------------------------------------------------------------- /tests/tests/compiler/boolean/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/boolean/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/console/assert.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/console/assert.leo -------------------------------------------------------------------------------- /tests/tests/compiler/console/assert_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/console/assert_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/auction.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/auction.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/basic_bank.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/basic_bank.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/board.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/board.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/bubblesort.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/bubblesort.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/core.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/core.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/fibonacci.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/fibonacci.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/groups.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/groups.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/helloworld.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/helloworld.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/interest.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/interest.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/lottery.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/lottery.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/message.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/message.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/move.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/move.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/ntzgaudet.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/ntzgaudet.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/ntzloops.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/ntzloops.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/ntzmasks.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/ntzmasks.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/ntzreisers.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/ntzreisers.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/ntzseals.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/ntzseals.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/tictactoe.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/tictactoe.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/token.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/token.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/twoadicity.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/twoadicity.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/verify.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/verify.leo -------------------------------------------------------------------------------- /tests/tests/compiler/examples/vote.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/examples/vote.leo -------------------------------------------------------------------------------- /tests/tests/compiler/expression/cast.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/expression/cast.leo -------------------------------------------------------------------------------- /tests/tests/compiler/expression/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/expression/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/field.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/field.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/field/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/field/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/finalize/contains.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/finalize/contains.leo -------------------------------------------------------------------------------- /tests/tests/compiler/finalize/finalize.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/finalize/finalize.leo -------------------------------------------------------------------------------- /tests/tests/compiler/finalize/mapping.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/finalize/mapping.leo -------------------------------------------------------------------------------- /tests/tests/compiler/finalize/rand.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/finalize/rand.leo -------------------------------------------------------------------------------- /tests/tests/compiler/finalize/remove.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/finalize/remove.leo -------------------------------------------------------------------------------- /tests/tests/compiler/function/no_return.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/function/no_return.leo -------------------------------------------------------------------------------- /tests/tests/compiler/function/scope_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/function/scope_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/function/self.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/function/self.leo -------------------------------------------------------------------------------- /tests/tests/compiler/function/self_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/function/self_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/futures/nested.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/futures/nested.leo -------------------------------------------------------------------------------- /tests/tests/compiler/futures/simple.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/futures/simple.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/assert_eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/assert_eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/group_mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/group_mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/input.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/input.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/point_input.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/point_input.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/x_and_y.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/x_and_y.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/x_sign_high.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/x_sign_high.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/x_sign_low.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/x_sign_low.leo -------------------------------------------------------------------------------- /tests/tests/compiler/group/zero.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/group/zero.leo -------------------------------------------------------------------------------- /tests/tests/compiler/input/main.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/input/main.leo -------------------------------------------------------------------------------- /tests/tests/compiler/input/main_field.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/input/main_field.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i128/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i128/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i16/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i16/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i32/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i32/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i64/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i64/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/negate.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/negate.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/i8/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/i8/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u128/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u128/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u16/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u16/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u32/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u32/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u64/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u64/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/and.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/and.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/div.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/div.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/ge.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/ge.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/gt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/gt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/le.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/le.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/lt.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/lt.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/max.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/max.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/min.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/min.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/mul.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/mul.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/ne.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/ne.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/or.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/or.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/pow.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/pow.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/rem.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/rem.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/shl.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/shl.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/shr.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/shr.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/sub.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/sub.leo -------------------------------------------------------------------------------- /tests/tests/compiler/integers/u8/xor.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/integers/u8/xor.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/add.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/add.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/cmp.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/cmp.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/div_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/div_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/eq.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/scalar.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/scalar.leo -------------------------------------------------------------------------------- /tests/tests/compiler/scalar/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/scalar/ternary.leo -------------------------------------------------------------------------------- /tests/tests/compiler/statements/block.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/statements/block.leo -------------------------------------------------------------------------------- /tests/tests/compiler/statements/chain.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/statements/chain.leo -------------------------------------------------------------------------------- /tests/tests/compiler/strings/string.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/strings/string.leo -------------------------------------------------------------------------------- /tests/tests/compiler/structs/inline.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/structs/inline.leo -------------------------------------------------------------------------------- /tests/tests/compiler/tuple/type_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/tuple/type_fail.leo -------------------------------------------------------------------------------- /tests/tests/compiler/tuple/unit.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/compiler/tuple/unit.leo -------------------------------------------------------------------------------- /tests/tests/execution/array_sum.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/array_sum.leo -------------------------------------------------------------------------------- /tests/tests/execution/cast_coersion.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/cast_coersion.leo -------------------------------------------------------------------------------- /tests/tests/execution/chain.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/chain.leo -------------------------------------------------------------------------------- /tests/tests/execution/counter.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/counter.leo -------------------------------------------------------------------------------- /tests/tests/execution/eq.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/eq.leo -------------------------------------------------------------------------------- /tests/tests/execution/metadata.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/metadata.leo -------------------------------------------------------------------------------- /tests/tests/execution/mint.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/mint.leo -------------------------------------------------------------------------------- /tests/tests/execution/primitive_casts.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/execution/primitive_casts.leo -------------------------------------------------------------------------------- /tests/tests/parser/expression/cast.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/expression/cast.leo -------------------------------------------------------------------------------- /tests/tests/parser/expression/ident.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/expression/ident.leo -------------------------------------------------------------------------------- /tests/tests/parser/expression/ternary.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/expression/ternary.leo -------------------------------------------------------------------------------- /tests/tests/parser/finalize/decrement.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/finalize/decrement.leo -------------------------------------------------------------------------------- /tests/tests/parser/finalize/finalize.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/finalize/finalize.leo -------------------------------------------------------------------------------- /tests/tests/parser/finalize/increment.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/finalize/increment.leo -------------------------------------------------------------------------------- /tests/tests/parser/finalize/mapping.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/finalize/mapping.leo -------------------------------------------------------------------------------- /tests/tests/parser/functions/empty2.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/functions/empty2.leo -------------------------------------------------------------------------------- /tests/tests/parser/functions/params.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/functions/params.leo -------------------------------------------------------------------------------- /tests/tests/parser/functions/return.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/functions/return.leo -------------------------------------------------------------------------------- /tests/tests/parser/inputs/input_const.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/inputs/input_const.leo -------------------------------------------------------------------------------- /tests/tests/parser/inputs/input_fail.leo: -------------------------------------------------------------------------------- 1 | /* 2 | namespace: Input 3 | expectation: Fail 4 | */ 5 | 6 | main -------------------------------------------------------------------------------- /tests/tests/parser/program/dollar_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/dollar_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/hex_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/hex_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/import.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/import.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/mapping.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/mapping.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/network_id.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/network_id.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/pipe_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/pipe_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/q_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/q_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/sq_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/sq_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/stub_fail.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/stub_fail.leo -------------------------------------------------------------------------------- /tests/tests/parser/program/tilde_eof.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/program/tilde_eof.leo -------------------------------------------------------------------------------- /tests/tests/parser/serialize/parser_error.leo: -------------------------------------------------------------------------------- 1 | /* 2 | namespace: Serialize 3 | expectation: Fail 4 | */ 5 | 6 | invalid -------------------------------------------------------------------------------- /tests/tests/parser/statement/assert.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/assert.leo -------------------------------------------------------------------------------- /tests/tests/parser/statement/assign.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/assign.leo -------------------------------------------------------------------------------- /tests/tests/parser/statement/block.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/block.leo -------------------------------------------------------------------------------- /tests/tests/parser/statement/cond_mut.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/cond_mut.leo -------------------------------------------------------------------------------- /tests/tests/parser/statement/for_loop.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/for_loop.leo -------------------------------------------------------------------------------- /tests/tests/parser/statement/return.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/statement/return.leo -------------------------------------------------------------------------------- /tests/tests/parser/type_/signature.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/type_/signature.leo -------------------------------------------------------------------------------- /tests/tests/parser/unreachable/define.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/tests/tests/parser/unreachable/define.leo -------------------------------------------------------------------------------- /utils/disassembler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/disassembler/Cargo.toml -------------------------------------------------------------------------------- /utils/disassembler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/disassembler/src/lib.rs -------------------------------------------------------------------------------- /utils/disassembler/src/tests/credits.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/disassembler/src/tests/credits.aleo -------------------------------------------------------------------------------- /utils/retriever/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/retriever/Cargo.toml -------------------------------------------------------------------------------- /utils/retriever/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/retriever/src/lib.rs -------------------------------------------------------------------------------- /utils/retriever/src/retriever/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexicon179/leo/HEAD/utils/retriever/src/retriever/mod.rs --------------------------------------------------------------------------------