├── .github └── workflows │ └── main.yaml ├── .gitignore ├── .gitlab-ci.yml ├── .gitlab └── merge_request_templates │ └── Default.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── contrib ├── ci │ ├── alr_gnat_env.profile │ ├── build_labs_check.py │ ├── check_images.py │ ├── course.py │ ├── default_course.toml │ ├── fix_prelude.py │ ├── lab_env.profile │ ├── package_labs.py │ ├── package_labs.sh │ └── slides.py ├── definitions ├── dependency_checker.py ├── fix_broken_titles.py ├── process_definitions.py ├── quiz.README.md ├── quiz.py ├── quiz_update.py ├── review_run_slides ├── rst_files_with_prelude.txt └── rst_update_prelude.py ├── courses ├── README.md ├── ada_essentials │ ├── 005_introduction.rst │ ├── 005_introduction │ │ ├── 01-about_adacore.rst │ │ └── 02-about_this_training.rst │ ├── 010_overview.rst │ ├── 010_overview │ │ ├── 01-a_little_history.rst │ │ └── 02-big_picture.rst │ ├── 013_hello_world.rst │ ├── 013_hello_world │ │ ├── 01-canonical_first_program.rst │ │ ├── 88-lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── hello_world │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ └── hello_world.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ └── hello_world.adb │ ├── 015_type_model.rst │ ├── 015_type_model │ │ ├── 01-what_is_a_type.rst │ │ ├── 02-types_in_ada.rst │ │ └── 03-ada_types.rst │ ├── 020_declarations.rst │ ├── 020_declarations │ │ ├── 01-introduction.rst │ │ ├── 02-identifiers_and_comments.rst │ │ ├── 03-literals.rst │ │ ├── 04-object_declarations.rst │ │ ├── 05-named_numbers.rst │ │ ├── 06-scope_and_visibility.rst │ │ ├── 07-aspects.rst │ │ ├── 99-summary.rst │ │ └── syntax.bnf │ ├── 030_scalar_types-extras.rst │ ├── 030_scalar_types-in_depth.rst │ ├── 030_scalar_types.rst │ ├── 030_scalar_types │ │ ├── 01-introduction.rst │ │ ├── 02-discrete_numeric_types.rst │ │ ├── 02-discrete_numeric_types_with_mod.rst │ │ ├── 03-modular_types.rst │ │ ├── 04-enumeration_types.rst │ │ ├── 05-representation_values.rst │ │ ├── 06-character_types.rst │ │ ├── 07-real_types.rst │ │ ├── 08-base_type.rst │ │ ├── 09-miscellaneous.rst │ │ ├── 10-subtypes.rst │ │ ├── 11-subtypes_full_picture.rst │ │ ├── 12-big_numbers.rst │ │ ├── 13-attributes.rst │ │ ├── 88-scalar_types.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── scalar_types │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 040_statements.rst │ ├── 040_statements │ │ ├── 01-introduction.rst │ │ ├── 02-block_statements.rst │ │ ├── 03-null_statements.rst │ │ ├── 04-assignment_statements.rst │ │ ├── 05-conditional_statements.rst │ │ ├── 06-loop_statements.rst │ │ ├── 07-goto_statements.rst │ │ ├── 88-statements.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── statements │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 050_array_types.rst │ ├── 050_array_types │ │ ├── 01-introduction.rst │ │ ├── 02-constrained_array_types.rst │ │ ├── 03-unconstrained_array_types.rst │ │ ├── 04-strings.rst │ │ ├── 05-attributes.rst │ │ ├── 06-array_operations.rst │ │ ├── 07-looping_over_array_components.rst │ │ ├── 08-array_aggregates.rst │ │ ├── 09-detour_image_for_complex_types.rst │ │ ├── 10-anonymous_array_types.rst │ │ ├── 88-array_types.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── array_types │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 060_record_types-no_discriminants.rst │ ├── 060_record_types.rst │ ├── 060_record_types │ │ ├── 01-introduction.rst │ │ ├── 02-components_rules.rst │ │ ├── 03-record_operations.rst │ │ ├── 04-record_aggregates.rst │ │ ├── 05-default_values.rst │ │ ├── 06-variant_records.rst │ │ ├── 88-record_types.lab.rst │ │ ├── 99-summary-no_discriminants.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── record_types │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 065_discriminated_records.rst │ ├── 065_discriminated_records │ │ ├── 01-introduction.rst │ │ ├── 02-variant_records.rst │ │ ├── 03-discriminant_record_array_size_idiom.rst │ │ ├── 04-interfacing_with_c.rst │ │ ├── 88-discriminated_records.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── discriminated_records │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── employee.adb │ │ │ ├── employee.ads │ │ │ ├── main.adb │ │ │ ├── vstring.adb │ │ │ └── vstring.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── employee.adb │ │ │ ├── employee.ads │ │ │ ├── main.adb │ │ │ ├── vstring.adb │ │ │ └── vstring.ads │ ├── 070_subprograms.rst │ ├── 070_subprograms │ │ ├── 01-introduction.rst │ │ ├── 02-syntax.rst │ │ ├── 03-parameters.rst │ │ ├── 04-null_procedures.rst │ │ ├── 05-nested_subprograms.rst │ │ ├── 06-procedure_specifics.rst │ │ ├── 07-function_specifics.rst │ │ ├── 08-expression_functions.rst │ │ ├── 09-potential_pitfalls.rst │ │ ├── 10-extended_example.rst │ │ ├── 88-subprograms.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── subprograms │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 075_type_derivation.rst │ ├── 075_type_derivation │ │ ├── 01-introduction.rst │ │ ├── 02-simple_derivation.rst │ │ ├── 03-primitives.rst │ │ ├── 04-freeze_point.rst │ │ └── 99-summary.rst │ ├── 080_expressions-intro.rst │ ├── 080_expressions.rst │ ├── 080_expressions │ │ ├── 01-introduction.rst │ │ ├── 02-membership_tests.rst │ │ ├── 03-qualified_names.rst │ │ ├── 04-conditional_expressions.rst │ │ ├── 05-quantified_expressions.rst │ │ ├── 88-expressions-intro.lab.rst │ │ ├── 88-expressions.lab.rst │ │ ├── 99-summary-intro.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ ├── expressions-intro │ │ │ │ ├── answer │ │ │ │ │ ├── default.gpr │ │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ │ ├── default.gpr │ │ │ │ │ └── main.adb │ │ │ └── expressions │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 090_overloading-with_equality.rst │ ├── 090_overloading.rst │ ├── 090_overloading │ │ ├── 01-introduction.rst │ │ ├── 02-enumerals_and_operators.rst │ │ ├── 03-call_resolution.rst │ │ ├── 04-user_defined_equality-in_depth.rst │ │ ├── 04-user_defined_equality.rst │ │ ├── 05-composition_of_equality.rst │ │ ├── 88-overloading.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── overloading │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ └── main.adb │ ├── 100_packages.rst │ ├── 100_packages │ │ ├── 01-introduction.rst │ │ ├── 02-package_declarations.rst │ │ ├── 03-referencing_other_packages.rst │ │ ├── 04-bodies.rst │ │ ├── 05-executable_parts.rst │ │ ├── 06-idioms.rst │ │ ├── 88-packages.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── packages │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ ├── list.adb │ │ │ │ ├── list.ads │ │ │ │ ├── main.adb │ │ │ │ ├── types.adb │ │ │ │ ├── types.ads │ │ │ │ ├── validator.adb │ │ │ │ └── validator.ads │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── list.adb │ │ │ │ ├── list.ads │ │ │ │ ├── main.adb │ │ │ │ ├── types.adb │ │ │ │ ├── types.ads │ │ │ │ ├── validator.adb │ │ │ │ └── validator.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 110_private_types.rst │ ├── 110_private_types │ │ ├── 01-introduction.rst │ │ ├── 02-implementing_abstract_data_types_via_views.rst │ │ ├── 03-private_part_construction.rst │ │ ├── 04-view_operations.rst │ │ ├── 05-when_to_use_or_avoid_private_types.rst │ │ ├── 06-idioms.rst │ │ ├── 88-private_types.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── private_types │ │ │ │ ├── ada95 │ │ │ │ ├── color_set.adb │ │ │ │ ├── color_set.ads │ │ │ │ ├── countries.adb │ │ │ │ ├── countries.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ └── types.ads │ │ │ │ ├── answer │ │ │ │ ├── color_set.adb │ │ │ │ ├── color_set.ads │ │ │ │ ├── countries.adb │ │ │ │ ├── countries.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ └── types.ads │ │ │ │ └── prompt │ │ │ │ ├── color_set.adb │ │ │ │ ├── color_set.ads │ │ │ │ ├── countries.adb │ │ │ │ ├── countries.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ └── types.ads │ │ └── syntax.bnf │ ├── 120_limited_types.rst │ ├── 120_limited_types │ │ ├── 01-introduction.rst │ │ ├── 02-limited_type_declarations.rst │ │ ├── 03-creating_values.rst │ │ ├── 04-extended_return_statements.rst │ │ ├── 05-combining_limited_and_private_views.rst │ │ ├── 88-limited_types.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── limited_types │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── employee_data.adb │ │ │ │ ├── employee_data.ads │ │ │ │ ├── main.adb │ │ │ │ ├── timecards.adb │ │ │ │ └── timecards.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ ├── employee_data.adb │ │ │ │ ├── employee_data.ads │ │ │ │ ├── main.adb │ │ │ │ ├── timecards.adb │ │ │ │ └── timecards.ads │ │ └── syntax.bnf │ ├── 130_program_structure.rst │ ├── 130_program_structure │ │ ├── 01-introduction.rst │ │ ├── 02-building_a_system.rst │ │ ├── 03-circular_dependencies.rst │ │ ├── 04-hierarchical_library_units.rst │ │ ├── 05-visibility_limits.rst │ │ ├── 06-private_children.rst │ │ ├── 88-program_structure.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── program_structure │ │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── messages-modify.adb │ │ │ │ ├── messages-modify.ads │ │ │ │ ├── messages.adb │ │ │ │ └── messages.ads │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── messages-modify.adb │ │ │ │ ├── messages-modify.ads │ │ │ │ ├── messages.adb │ │ │ │ └── messages.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ └── syntax.bnf │ ├── 135_visibility.rst │ ├── 135_visibility │ │ ├── 01-introduction.rst │ │ ├── 02-use_clauses.rst │ │ ├── 03-use_type_and_use_all_type_clauses.rst │ │ ├── 04-renaming_entities.rst │ │ ├── 88-visibility.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── visibility │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── main1.adb │ │ │ │ ├── main2.adb │ │ │ │ ├── quads.ads │ │ │ │ └── triangles.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── quads.ads │ │ │ │ └── triangles.ads │ │ └── syntax.bnf │ ├── 140_access_types.rst │ ├── 140_access_types │ │ ├── 01-introduction.rst │ │ ├── 02-access_types.rst │ │ ├── 03-access_types_usage.rst │ │ ├── 04-memory_corruption.rst │ │ ├── 88-access_types.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ ├── access_types-in_depth │ │ │ ├── answer │ │ │ │ ├── database.adb │ │ │ │ ├── database.ads │ │ │ │ ├── database_list.adb │ │ │ │ ├── database_list.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── memory_mgmt.adb │ │ │ │ ├── memory_mgmt.adb.storage │ │ │ │ ├── memory_mgmt.ads │ │ │ │ └── memory_mgmt.ads.storage │ │ │ └── prompt │ │ │ │ ├── database.adb │ │ │ │ ├── database.ads │ │ │ │ ├── database_list.adb │ │ │ │ ├── database_list.ads │ │ │ │ ├── default.gpr │ │ │ │ └── main.adb │ │ │ └── access_types │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── password_manager.adb │ │ │ └── password_manager.ads │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── password_manager.adb │ │ │ └── password_manager.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── password_manager.adb │ │ │ └── password_manager.ads │ ├── 143_general_access_types.rst │ ├── 143_general_access_types │ │ ├── 01-introduction.rst │ │ ├── 02-general_access_types.rst │ │ ├── 03-accessibility_checks.rst │ │ ├── 03-pool_specific_access_types.rst │ │ ├── 88-general_access_types.lab.rst │ │ ├── 99-summary.rst │ │ ├── examples │ │ │ └── accessibility_checks │ │ │ │ ├── dynamic_accessibility.adb │ │ │ │ ├── nesting_example.adb │ │ │ │ └── nesting_example.ads │ │ └── lab │ │ │ └── general_access_types │ │ │ ├── answer │ │ │ ├── database.adb │ │ │ ├── database.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── table.adb │ │ │ └── table.ads │ │ │ └── prompt │ │ │ ├── database.adb │ │ │ ├── database.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── table.adb │ │ │ └── table.ads │ ├── 146_storage_pools.rst │ ├── 146_storage_pools │ │ ├── 01-introduction.rst │ │ ├── 02-storage_pools.rst │ │ ├── 03-storage_pool_example.rst │ │ ├── 04-debug_pools.rst │ │ ├── 88-storage_pools.lab.rst │ │ ├── 99-summary.rst │ │ ├── examples │ │ │ ├── debug_pools │ │ │ │ ├── integer_list.adb │ │ │ │ ├── integer_list.ads │ │ │ │ ├── main.adb │ │ │ │ └── memory_mgmt.ads │ │ │ └── storage_pool_example │ │ │ │ ├── integer_list.ads │ │ │ │ ├── memory_mgmt.adb │ │ │ │ └── memory_mgmt.ads │ │ └── lab │ │ │ └── storage_pools │ │ │ ├── answer │ │ │ ├── database.adb │ │ │ ├── database.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── main.adb-debug │ │ │ ├── memory_mgmt.adb │ │ │ ├── memory_mgmt.ads │ │ │ └── memory_mgmt.ads-debug │ │ │ └── prompt │ │ │ ├── database.adb │ │ │ ├── database.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ └── memory_mgmt.ads │ ├── 160_genericity-intro.rst │ ├── 160_genericity.rst │ ├── 160_genericity │ │ ├── 01-introduction.rst │ │ ├── 02-creating_generics.rst │ │ ├── 03-generic_data.rst │ │ ├── 03-generic_data_in_depth.rst │ │ ├── 04-generic_formal_data.rst │ │ ├── 04-generic_formal_data_in_depth.rst │ │ ├── 05-generic_completion.rst │ │ ├── 88-genericity.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── genericity │ │ │ ├── ada95 │ │ │ ├── data_type.adb │ │ │ ├── data_type.ads │ │ │ ├── default.gpr │ │ │ ├── generic_list.adb │ │ │ ├── generic_list.ads │ │ │ └── main.adb │ │ │ ├── answer │ │ │ ├── data_type.ads │ │ │ ├── default.gpr │ │ │ ├── generic_list.adb │ │ │ ├── generic_list.ads │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── data_type.ads │ │ │ ├── default.gpr │ │ │ ├── generic_list.adb │ │ │ ├── generic_list.ads │ │ │ └── main.adb │ ├── 170_tagged_derivation-in_depth.rst │ ├── 170_tagged_derivation.rst │ ├── 170_tagged_derivation │ │ ├── 01-introduction.rst │ │ ├── 02-tagged_derivation-in_depth.rst │ │ ├── 02-tagged_derivation.rst │ │ ├── 03-extending_tagged_types.rst │ │ ├── 88-tagged_derivation-in_depth.lab.rst │ │ ├── 88-tagged_derivation.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ ├── tagged_derivation-in_depth │ │ │ ├── ada95 │ │ │ │ ├── default.gpr │ │ │ │ ├── employee.adb │ │ │ │ ├── employee.ads │ │ │ │ └── main.adb │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── employee.adb │ │ │ │ ├── employee.ads │ │ │ │ └── main.adb │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ ├── employee.adb │ │ │ │ ├── employee.ads │ │ │ │ └── main.adb │ │ │ └── tagged_derivation │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ ├── employee.adb │ │ │ ├── employee.ads │ │ │ └── main.adb │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── employee.adb │ │ │ ├── employee.ads │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── employee.adb │ │ │ ├── employee.ads │ │ │ └── main.adb │ ├── 175_multiple_inheritance.rst │ ├── 175_multiple_inheritance │ │ ├── 01-introduction.rst │ │ ├── 02-interfaces.rst │ │ ├── 88-multiple_inheritance.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── multiple_inheritance │ │ │ ├── answer │ │ │ ├── base_types.ads │ │ │ ├── default.gpr │ │ │ ├── geometry.ads │ │ │ ├── line_draw.adb │ │ │ ├── line_draw.ads │ │ │ ├── main.adb │ │ │ ├── printable_object.adb │ │ │ ├── printable_object.ads │ │ │ ├── rectangle.adb │ │ │ └── rectangle.ads │ │ │ └── prompt │ │ │ ├── base_types.ads │ │ │ ├── default.gpr │ │ │ ├── geometry.ads │ │ │ ├── line_draw.adb │ │ │ ├── line_draw.ads │ │ │ ├── main.adb │ │ │ ├── printable_object.adb │ │ │ ├── printable_object.ads │ │ │ ├── rectangle.adb │ │ │ └── rectangle.ads │ ├── 180_polymorphism.rst │ ├── 180_polymorphism │ │ ├── 01-introduction.rst │ │ ├── 02-classes_of_types.rst │ │ ├── 03-dispatching_and_redispatching.rst │ │ ├── 04-exotic_dispatching_operations.rst │ │ ├── 88-polymorphism.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── polymorphism │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── shapes.adb │ │ │ └── shapes.ads │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── shapes.adb │ │ │ └── shapes.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── shapes.adb │ │ │ └── shapes.ads │ ├── 190_exceptions-in_depth.rst │ ├── 190_exceptions.rst │ ├── 190_exceptions │ │ ├── 01-introduction.rst │ │ ├── 02-handlers.rst │ │ ├── 03-implicitly_and_explicitly_raised_exceptions.rst │ │ ├── 04-language_defined_exceptions.rst │ │ ├── 05-user_defined_exceptions.rst │ │ ├── 06-propagation.rst │ │ ├── 07-partial_and_nested_handlers.rst │ │ ├── 08-exceptions_as_objects-in_depth.rst │ │ ├── 08-exceptions_as_objects.rst │ │ ├── 09-raise_expressions.rst │ │ ├── 10-in_practice.rst │ │ ├── 88-exceptions-in_depth.lab.rst │ │ ├── 88-exceptions.lab.rst │ │ ├── 99-summary-in_depth.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ ├── exceptions-in_depth │ │ │ │ ├── ada95 │ │ │ │ │ ├── default.gpr │ │ │ │ │ ├── main.adb │ │ │ │ │ ├── operations.adb │ │ │ │ │ └── operations.ads │ │ │ │ ├── answer │ │ │ │ │ ├── default.gpr │ │ │ │ │ ├── main.adb │ │ │ │ │ ├── operations.adb │ │ │ │ │ └── operations.ads │ │ │ │ └── prompt │ │ │ │ │ ├── default.gpr │ │ │ │ │ ├── main.adb │ │ │ │ │ ├── operations.adb │ │ │ │ │ └── operations.ads │ │ │ └── exceptions │ │ │ │ ├── ada95 │ │ │ │ ├── converter.adb │ │ │ │ ├── converter.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ └── types.ads │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── numeric_types.adb │ │ │ │ └── numeric_types.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── numeric_types.adb │ │ │ │ └── numeric_types.ads │ │ └── syntax.bnf │ ├── 230_interfacing_with_c.rst │ ├── 230_interfacing_with_c │ │ ├── 01-introduction.rst │ │ ├── 02-import__export.rst │ │ ├── 03-parameter_passing.rst │ │ ├── 04-complex_data_types.rst │ │ ├── 05-interfacesc.rst │ │ ├── 10-example_refcount_wrap.rst │ │ ├── 88-interfacing_with_c.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── interfacing_with_c │ │ │ ├── ada95 │ │ │ ├── c_file.c │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ ├── answer │ │ │ ├── c_file.c │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ └── speed.c │ ├── 240_tasking-in_depth.rst │ ├── 240_tasking-light.rst │ ├── 240_tasking-light_in_depth.rst │ ├── 240_tasking.rst │ ├── 240_tasking │ │ ├── 01-intro.rst │ │ ├── 02-tasks.rst │ │ ├── 03-protected_objects.rst │ │ ├── 03-protected_objects_in_depth.rst │ │ ├── 04-delays.rst │ │ ├── 05-task_types.rst │ │ ├── 05-task_types_in_depth.rst │ │ ├── 06-advanced_concepts.rst │ │ ├── 06-advanced_concepts_in_depth.rst │ │ ├── 11-light_tasking.rst │ │ ├── 12-comparing_standard_and_light_tasking.rst │ │ ├── 13-light_tasking_behavior.rst │ │ ├── 14-tasking_control.rst │ │ ├── 21-gnat_semaphores.rst │ │ ├── 22-task_safe_interfaces.rst │ │ ├── 88-tasking-in_depth.lab.rst │ │ ├── 88-tasking.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ ├── tasking-in_depth │ │ │ ├── ada95 │ │ │ │ ├── datastore.adb │ │ │ │ ├── datastore.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── monitor.adb │ │ │ │ └── monitor.ads │ │ │ ├── answer │ │ │ │ ├── datastore.adb │ │ │ │ ├── datastore.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── monitor.adb │ │ │ │ └── monitor.ads │ │ │ └── prompt │ │ │ │ ├── datastore.adb │ │ │ │ ├── datastore.ads │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── monitor.adb │ │ │ │ └── monitor.ads │ │ │ └── tasking │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── protected_object.adb │ │ │ ├── protected_object.ads │ │ │ ├── task_type.adb │ │ │ └── task_type.ads │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── protected_object.adb │ │ │ ├── protected_object.ads │ │ │ ├── task_type.adb │ │ │ └── task_type.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── protected_object.adb │ │ │ ├── protected_object.ads │ │ │ ├── task_type.adb │ │ │ └── task_type.ads │ ├── 245_ravenscar_tasking-with_tasking_overview.rst │ ├── 245_ravenscar_tasking.rst │ ├── 245_ravenscar_tasking │ │ ├── 01-introduction.rst │ │ ├── 02-tasks.rst │ │ ├── 03-delays.rst │ │ ├── 04-protected_objects.rst │ │ ├── 05-differences_from_standard_tasking.rst │ │ ├── 06-tasking_behavior.rst │ │ ├── 07-tasking_control.rst │ │ └── 99-summary.rst │ ├── 260_controlled_types.rst │ ├── 260_controlled_types │ │ ├── 01-introduction.rst │ │ ├── 02-ada_finalization.rst │ │ ├── 03-example.rst │ │ ├── 10-idiom_refcounting.rst │ │ ├── 11-example_logger.rst │ │ ├── 88-controlled_types.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── controlled_types │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── keys_pkg.adb │ │ │ ├── keys_pkg.ads │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── keys_pkg.adb │ │ │ ├── keys_pkg.ads │ │ │ └── main.adb │ ├── 270_introduction_to_contracts.rst │ ├── 270_introduction_to_contracts │ │ ├── 01-introduction.rst │ │ ├── 02-preconditions_and_postconditions.rst │ │ ├── 03-type_invariants.rst │ │ ├── 04-subtype_predicates.rst │ │ └── 99-summary.rst │ ├── 273_subprogram_contracts.rst │ ├── 273_subprogram_contracts │ │ ├── 01-introduction.rst │ │ ├── 02-preconditions_and_postconditions.rst │ │ ├── 03-special_attributes.rst │ │ ├── 04-in_practice.rst │ │ ├── 88-subprogram_contracts.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── subprogram_contracts │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── priority_queue.adb │ │ │ └── priority_queue.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── priority_queue.adb │ │ │ └── priority_queue.ads │ ├── 276_type_contracts.rst │ ├── 276_type_contracts │ │ ├── 01-introduction.rst │ │ ├── 02-type_invariants.rst │ │ ├── 03-subtype_predicates.rst │ │ ├── 88-type_contracts.lab.rst │ │ ├── 99-summary.rst │ │ ├── lab │ │ │ └── type_contracts │ │ │ │ ├── answer │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── schedule.adb │ │ │ │ └── schedule.ads │ │ │ │ └── prompt │ │ │ │ ├── default.gpr │ │ │ │ ├── main.adb │ │ │ │ ├── schedule.adb │ │ │ │ └── schedule.ads │ │ └── syntax.bnf │ ├── 280_low_level_programming.rst │ ├── 280_low_level_programming │ │ ├── 01-introduction.rst │ │ ├── 02-data_representation.rst │ │ ├── 03-address_clauses_and_overlays.rst │ │ ├── 04-tricks.rst │ │ ├── 07-supplementary_resource_inline_asm.rst │ │ ├── 88-low_level_programming.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── low_level_programming │ │ │ ├── ada95 │ │ │ ├── crc.adb │ │ │ ├── crc.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages.adb │ │ │ └── messages.ads │ │ │ ├── answer │ │ │ ├── crc.adb │ │ │ ├── crc.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages.adb │ │ │ └── messages.ads │ │ │ └── prompt │ │ │ ├── crc.adb │ │ │ ├── crc.ads │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages.adb │ │ │ └── messages.ads │ ├── 290_advanced_data_hiding.rst │ ├── 290_advanced_data_hiding │ │ ├── 01-type_views.rst │ │ ├── 02-incomplete_types.rst │ │ ├── 03-private_library_units.rst │ │ ├── 04-indefinite_private.rst │ │ ├── 88-advanced_data_hiding.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── advanced_data_hiding │ │ │ ├── ada95 │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages-list_types-operations.adb │ │ │ ├── messages-list_types-operations.ads │ │ │ ├── messages-list_types.ads │ │ │ ├── messages.adb │ │ │ └── messages.ads │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages-list_types-operations.adb │ │ │ ├── messages-list_types-operations.ads │ │ │ ├── messages-list_types.ads │ │ │ ├── messages.adb │ │ │ └── messages.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ ├── messages-list_types-operations.adb │ │ │ ├── messages-list_types-operations.ads │ │ │ ├── messages-list_types.ads │ │ │ ├── messages.adb │ │ │ └── messages.ads │ ├── 700_expert_resource_management.rst │ ├── 890_ada_text_io.rst │ ├── 890_ada_text_io │ │ ├── 01-introduction.rst │ │ ├── 02-file_input_output.rst │ │ ├── 03-type_specific_io.rst │ │ ├── 04-exceptions.rst │ │ ├── 88-ada_text_io.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── ada_text_io │ │ │ ├── ada95 │ │ │ └── main.adb │ │ │ └── answer │ │ │ └── main.adb │ ├── 891_ada_characters.rst │ ├── 891_ada_characters │ │ ├── 01-introduction.rst │ │ ├── 02-ada_characters_latin_1.rst │ │ ├── 03-ada_characters_handling.rst │ │ ├── 88-ada_characters.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── ada_characters │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ └── main.adb │ ├── 892_ada_strings.rst │ ├── 892_ada_strings │ │ ├── 01-introduction.rst │ │ ├── 02-string_operations.rst │ │ ├── 88-ada_strings.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── ada_strings │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ └── main.adb │ ├── 893_ada_numerics.rst │ ├── 893_ada_numerics │ │ ├── 01-introduction.rst │ │ ├── 02-standard_mathematical_functions.rst │ │ ├── 03-random_numbers.rst │ │ ├── 88-ada_numerics.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── ada_numerics │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ └── main.adb │ ├── 894_ada_containers.rst │ ├── 894_ada_containers │ │ ├── 01-introduction.rst │ │ ├── 02-container_types.rst │ │ ├── 03-containers_operations.rst │ │ ├── 04-reference.rst │ │ ├── 88-ada_containers.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── ada_containers │ │ │ ├── answer │ │ │ ├── city_trivia.adb │ │ │ ├── city_trivia.ads │ │ │ ├── default.gpr │ │ │ └── main.adb │ │ │ └── prompt │ │ │ ├── city_trivia.adb │ │ │ ├── city_trivia.ads │ │ │ ├── default.gpr │ │ │ └── main.adb │ ├── 900_gnat_in_practice.rst │ ├── 900_gnat_in_practice │ │ ├── 01-file_naming_conventions.rst │ │ └── 02-vs_code.rst │ ├── 901_ada_2022_specific.rst │ ├── 902_future_capabilities.rst │ ├── 920_reference_material.rst │ ├── README.md │ ├── advanced.txt │ ├── course.toml │ ├── examples │ │ ├── 020_declarations │ │ │ ├── aspect_clauses.rst │ │ │ ├── identifiers_comments_and_pragmas.rst │ │ │ ├── named_numbers.rst │ │ │ ├── numeric_literals.rst │ │ │ ├── object_declarations.rst │ │ │ └── scope_and_visibility.rst │ │ ├── 030_scalar_types │ │ │ ├── discrete_enumeration_types.rst │ │ │ ├── discrete_numeric_types.rst │ │ │ ├── real_types.rst │ │ │ └── subtypes.rst │ │ ├── 040_statements │ │ │ ├── assignment_statements.rst │ │ │ ├── conditional_statements.rst │ │ │ └── loop_statements.rst │ │ ├── 050_array_types │ │ │ ├── attributes.rst │ │ │ ├── constrained_array_types.rst │ │ │ ├── operations.rst │ │ │ ├── slices.rst │ │ │ └── unconstrained_array_types.rst │ │ ├── 060_record_types │ │ │ ├── aggregates.rst │ │ │ ├── components_rules.rst │ │ │ ├── default_values.rst │ │ │ ├── operations.rst │ │ │ └── variant_records.rst │ │ ├── 070_subprograms │ │ │ ├── declarations_and_bodies.rst │ │ │ ├── expression_functions.rst │ │ │ ├── nested_subprograms.txt │ │ │ ├── parameters.rst │ │ │ └── potential_pitfalls.rst │ │ ├── 080_expressions │ │ │ ├── conditional_expressions.rst │ │ │ ├── membership_tests.rst │ │ │ └── quantified_expressions.rst │ │ ├── 090_overloading │ │ │ ├── call_resolution.rst │ │ │ ├── composition_of_equality.rst │ │ │ ├── enumerals_and_operators.rst │ │ │ ├── user_defined_equality.rst │ │ │ └── visibility_issues.rst │ │ ├── 100_packages │ │ │ ├── bodies.rst │ │ │ ├── declarations.rst │ │ │ ├── executable_parts.rst │ │ │ └── idioms.rst │ │ ├── 110_private_types │ │ │ ├── idioms.rst │ │ │ ├── implementing_abstract_data_types_via_views.rst │ │ │ └── private_part_construction.rst │ │ ├── 120_limited_types │ │ │ ├── combining_limited_and_private_views.rst │ │ │ ├── creating_values.rst │ │ │ ├── declarations.rst │ │ │ └── extended_return_statements.rst │ │ ├── 130_program_structure │ │ │ ├── hierarchical_library_units.rst │ │ │ ├── limited_with_clauses.rst │ │ │ ├── private_children.rst │ │ │ └── visibility_limits.rst │ │ ├── 135_visibility │ │ │ ├── renaming_entities.rst │ │ │ ├── use_all_type_clauses.rst │ │ │ ├── use_clauses.rst │ │ │ └── use_type_clauses.rst │ │ ├── 140_access_types │ │ │ ├── access_types.rst │ │ │ ├── accessibility_checks.rst │ │ │ ├── anonymous_access │ │ │ │ ├── obj │ │ │ │ │ └── .empty │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── anonymous_access_types.rst │ │ │ ├── dynamic_accessibility_check │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── general_access_types.rst │ │ │ ├── memory_management.rst │ │ │ ├── nesting_issues │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ ├── main.adb │ │ │ │ │ ├── p.adb │ │ │ │ │ └── p.ads │ │ │ └── pool_specific_access_types.rst │ │ ├── 160_genericity │ │ │ ├── generic_data.rst │ │ │ └── generic_formal_data.rst │ │ ├── 170_tagged_derivation │ │ │ ├── primitives.rst │ │ │ ├── simple_derivation.rst │ │ │ └── tagged_derivation.rst │ │ ├── 190_exceptions │ │ │ ├── exceptions_as_objects.rst │ │ │ ├── handlers.rst │ │ │ ├── implicitly_and_explicitly_raised_exceptions.rst │ │ │ ├── propagation.rst │ │ │ ├── raise_expressions.rst │ │ │ └── user_defined_exceptions.rst │ │ ├── 280_low_level_programming │ │ │ ├── address_clauses_and_overlays.rst │ │ │ └── data_representation.rst │ │ ├── 290_advanced_data_hiding │ │ │ ├── capabilities_and_constraints.adb │ │ │ └── capabilities_and_constraints │ │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ └── main.adb │ │ ├── Makefile │ │ ├── ada2022 │ │ │ ├── container_aggregates │ │ │ │ ├── TODO │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ ├── decl_aspect.ads │ │ │ │ │ └── decl_object.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── contract_access │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ └── decl.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── delta_aggregates │ │ │ │ ├── TODO │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ └── spec.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── general_aggregates │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ ├── iteration_filters.ads │ │ │ │ │ └── square_brackets.ads │ │ │ │ ├── prj.adc │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── generalized_image_attribute │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ └── put_line.adb │ │ │ │ ├── out.txt │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── generalized_literals │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ ├── main.adb │ │ │ │ │ └── my_int.ads │ │ │ │ ├── prj.adc │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ ├── main.adb │ │ │ │ │ └── my_int.ads │ │ │ ├── iteration_filters │ │ │ │ ├── prj.adc │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── reduction_expression │ │ │ │ ├── prj.adc │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── staticness │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ └── static_expr_fun.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── user_defined_image_attribute │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ │ ├── body.adb │ │ │ │ │ └── spec.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ └── variadic │ │ │ │ ├── build.sh │ │ │ │ ├── extracts │ │ │ │ └── variadic_decl.ads │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ └── main.adb │ │ ├── adv_075_primitives │ │ │ ├── dispatching.1.rst │ │ │ ├── dispatching.2.rst │ │ │ ├── dispatching │ │ │ │ ├── obj │ │ │ │ │ └── .empty │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ │ └── main.adb │ │ │ ├── subprogram_primitive_declaration.rst │ │ │ └── subprogram_primitive_declaration │ │ │ │ ├── prj.gpr │ │ │ │ └── src │ │ │ │ └── main.adb │ │ ├── adv_270_subprogram_contracts │ │ │ ├── preconditions_and_postconditions.rst │ │ │ ├── special_attributes_body.rst │ │ │ └── special_attributes_spec.rst │ │ ├── adv_275_type_contracts │ │ │ ├── subtype_predicates.rst │ │ │ └── type_invariants.rst │ │ ├── protected_objects │ │ │ ├── README.md │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ │ ├── protected_objects.adb │ │ │ │ ├── protected_objects.ads │ │ │ │ ├── tasks.adb │ │ │ │ ├── tasks.ads │ │ │ │ └── test_protected_objects.adb │ │ ├── protected_objects_2 │ │ │ ├── README.md │ │ │ ├── cut_extracts.sh │ │ │ ├── extracts │ │ │ │ └── tasks.body.adb │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ │ ├── protected_objects.adb │ │ │ │ ├── protected_objects.ads │ │ │ │ ├── tasks.adb │ │ │ │ ├── tasks.ads │ │ │ │ └── test_protected_objects.adb │ │ ├── protected_objects_lock_free │ │ │ ├── README.md │ │ │ ├── cut_extracts.sh │ │ │ ├── extracts │ │ │ │ └── protected_objects.lock_free_declare.ads │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ │ ├── protected_objects.adb │ │ │ │ ├── protected_objects.ads │ │ │ │ ├── tasks.adb │ │ │ │ ├── tasks.ads │ │ │ │ └── test_protected_objects.adb │ │ ├── select_non_blocking_entry_and_call │ │ │ ├── README.md │ │ │ ├── cut_extracts.sh │ │ │ ├── extracts │ │ │ │ ├── main_no_call.adb │ │ │ │ ├── main_no_send_message.adb │ │ │ │ ├── main_no_stop.adb │ │ │ │ └── tasks.adb │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ │ ├── main_no_call.adb │ │ │ │ ├── main_no_send_message.adb │ │ │ │ ├── main_no_stop.adb │ │ │ │ ├── tasks.adb │ │ │ │ └── tasks.ads │ │ ├── select_requeue_issue │ │ │ ├── README.md │ │ │ ├── cut_extracts.sh │ │ │ ├── extracts │ │ │ │ └── tasks.bodies.adb │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ │ ├── main.adb │ │ │ │ ├── tasks.adb │ │ │ │ └── tasks.ads │ │ └── task_select_multiple_or │ │ │ ├── README.md │ │ │ ├── cut_extracts.sh │ │ │ ├── extracts │ │ │ └── task_select.select_or.adb │ │ │ ├── obj │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ └── src │ │ │ ├── main.adb │ │ │ ├── task_select.adb │ │ │ └── task_select.ads │ ├── mini_projects │ │ ├── README.md │ │ └── cinema │ │ │ ├── .gitignore │ │ │ ├── README.md │ │ │ ├── answer │ │ │ ├── display │ │ │ │ ├── char_display_driver.adb │ │ │ │ ├── char_display_driver.ads │ │ │ │ ├── drawable_chars.adb │ │ │ │ └── drawable_chars.ads │ │ │ ├── format │ │ │ │ ├── bmp_file_io.adb │ │ │ │ └── bmp_file_io.ads │ │ │ ├── mini_cinema │ │ │ │ └── mini_cinema.adb │ │ │ ├── movie │ │ │ │ ├── movies.adb │ │ │ │ └── movies.ads │ │ │ ├── server │ │ │ │ ├── movie_servers.adb │ │ │ │ └── movie_servers.ads │ │ │ └── sprites │ │ │ │ ├── pixels.adb │ │ │ │ ├── pixels.ads │ │ │ │ ├── surfaces.adb │ │ │ │ └── surfaces.ads │ │ │ ├── build.sh │ │ │ ├── include │ │ │ ├── drawable_chars-circles.ads │ │ │ └── drawable_chars-latin_1.ads │ │ │ ├── instructions.rst │ │ │ ├── logs │ │ │ ├── logs.adb │ │ │ └── logs.ads │ │ │ ├── mini_cinema.adc │ │ │ ├── mini_cinema.gpr │ │ │ ├── package.sh │ │ │ ├── resources │ │ │ ├── dummy_square_10x10.bmp │ │ │ ├── dummy_triangle_20x20.bmp │ │ │ ├── movies │ │ │ │ ├── nian │ │ │ │ │ ├── nian_0.bmp │ │ │ │ │ ├── nian_1.bmp │ │ │ │ │ ├── nian_2.bmp │ │ │ │ │ ├── nian_3.bmp │ │ │ │ │ ├── nian_4.bmp │ │ │ │ │ ├── nian_5.bmp │ │ │ │ │ └── nian_6.bmp │ │ │ │ ├── rotating_triangle │ │ │ │ │ ├── 0.bmp │ │ │ │ │ ├── 1.bmp │ │ │ │ │ ├── 10.bmp │ │ │ │ │ ├── 11.bmp │ │ │ │ │ ├── 2.bmp │ │ │ │ │ ├── 3.bmp │ │ │ │ │ ├── 4.bmp │ │ │ │ │ ├── 5.bmp │ │ │ │ │ ├── 6.bmp │ │ │ │ │ ├── 7.bmp │ │ │ │ │ ├── 8.bmp │ │ │ │ │ └── 9.bmp │ │ │ │ └── space │ │ │ │ │ ├── 1.bmp │ │ │ │ │ ├── 10.bmp │ │ │ │ │ ├── 11.bmp │ │ │ │ │ ├── 12.bmp │ │ │ │ │ ├── 13.bmp │ │ │ │ │ ├── 14.bmp │ │ │ │ │ ├── 15.bmp │ │ │ │ │ ├── 16.bmp │ │ │ │ │ ├── 17.bmp │ │ │ │ │ ├── 18.bmp │ │ │ │ │ ├── 19.bmp │ │ │ │ │ ├── 2.bmp │ │ │ │ │ ├── 20.bmp │ │ │ │ │ ├── 21.bmp │ │ │ │ │ ├── 3.bmp │ │ │ │ │ ├── 4.bmp │ │ │ │ │ ├── 5.bmp │ │ │ │ │ ├── 6.bmp │ │ │ │ │ ├── 7.bmp │ │ │ │ │ ├── 8.bmp │ │ │ │ │ └── 9.bmp │ │ │ └── sunset.bmp │ │ │ ├── src │ │ │ ├── display │ │ │ │ ├── char_display_driver.adb │ │ │ │ ├── char_display_driver.ads │ │ │ │ ├── drawable_chars.adb │ │ │ │ └── drawable_chars.ads │ │ │ ├── format │ │ │ │ ├── bmp_file_io.adb │ │ │ │ └── bmp_file_io.ads │ │ │ ├── mini_cinema │ │ │ │ └── mini_cinema.adb │ │ │ ├── movie │ │ │ │ ├── movies.adb │ │ │ │ └── movies.ads │ │ │ ├── server │ │ │ │ ├── movie_servers.adb │ │ │ │ └── movie_servers.ads │ │ │ └── sprites │ │ │ │ ├── pixels.adb │ │ │ │ ├── pixels.ads │ │ │ │ ├── surfaces.adb │ │ │ │ └── surfaces.ads │ │ │ ├── template │ │ │ ├── display │ │ │ │ ├── char_display_driver.adb │ │ │ │ ├── char_display_driver.ads │ │ │ │ ├── drawable_chars.adb │ │ │ │ └── drawable_chars.ads │ │ │ ├── format │ │ │ │ ├── bmp_file_io.adb │ │ │ │ └── bmp_file_io.ads │ │ │ ├── mini_cinema │ │ │ │ └── mini_cinema.adb │ │ │ ├── movie │ │ │ │ ├── movies.adb │ │ │ │ └── movies.ads │ │ │ ├── server │ │ │ │ ├── movie_servers.adb │ │ │ │ └── movie_servers.ads │ │ │ └── sprites │ │ │ │ ├── pixels.adb │ │ │ │ ├── pixels.ads │ │ │ │ ├── surfaces.adb │ │ │ │ └── surfaces.ads │ │ │ ├── tests │ │ │ ├── movie_server_test.adb │ │ │ ├── run_test_display.adb │ │ │ ├── run_test_sprites.adb │ │ │ ├── run_tests.adb │ │ │ ├── simple_movie_play.adb │ │ │ └── static_image_display.adb │ │ │ └── testsuite │ │ │ ├── bmp_file_io-tests.adb │ │ │ ├── bmp_file_io-tests.ads │ │ │ ├── char_display_driver-tests.adb │ │ │ ├── char_display_driver-tests.ads │ │ │ ├── drawable_chars-tests.adb │ │ │ ├── drawable_chars-tests.ads │ │ │ ├── pixels-tests.adb │ │ │ ├── pixels-tests.ads │ │ │ ├── surfaces-tests.adb │ │ │ ├── surfaces-tests.ads │ │ │ ├── test_suite-test.adb │ │ │ ├── test_suite-test.ads │ │ │ ├── test_suite.adb │ │ │ └── test_suite.ads │ ├── quiz │ │ ├── README.md │ │ ├── derivation_op_override │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── generic_subp_syntax │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── genericity_limited_type │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── genericity_type_and_variable │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── incomplete_type │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── limited_constructor_syntax │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── limited_extended_return │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── limited_operators │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── limited_private │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── limited_syntax │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── multiple_primitive │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── mutable_with_array │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── operators_override_simple │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── package_subprogram_completion │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── primitives_and_classwide │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── privacy_completion │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── private_incomplete │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── quantified_expr_equality │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── quantified_expr_syntax │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── record_component_decl │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── tagged_dot_and_with │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ ├── src │ │ │ │ ├── colors.ads │ │ │ │ ├── shapes.ads │ │ │ │ └── weights.ads │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── tagged_primitives │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── unconstrained_arrays_declaration │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── user_defined_character │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ ├── variant_record_assignment_wrong_discriminant │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ │ └── main.adb │ │ └── variant_record_decl │ │ │ ├── obj │ │ │ └── .empty │ │ │ ├── prj.gpr │ │ │ ├── quiz.rst │ │ │ └── template │ │ │ └── main.adb │ └── standard_course.txt ├── advanced_exception_analysis │ ├── 010_advanced_exception_analysis.rst │ ├── course.toml │ ├── examples │ │ ├── main.adb │ │ ├── main_exceptions.adb │ │ ├── main_symbolic.adb │ │ └── main_tracebacks.adb │ └── labs │ │ ├── 010_advanced_exception_analysis.lab.rst │ │ └── source │ │ ├── default.gpr │ │ ├── file.txt │ │ ├── obj │ │ └── .empty │ │ └── src │ │ ├── main.adb │ │ ├── numbers.adb │ │ ├── numbers.ads │ │ ├── parser.adb │ │ ├── parser.ads │ │ ├── strings.adb │ │ ├── strings.ads │ │ ├── types.adb │ │ └── types.ads ├── gnat_project_facility │ ├── 010_overview.rst │ ├── 020_building_with_gprbuild.rst │ ├── 030_project_properties.rst │ ├── 040_structuring_your_application.rst │ ├── 050_advanced_capabilities.rst │ ├── 060_summary.rst │ ├── course.toml │ ├── labs │ │ ├── 020_building_with_gprbuild.lab.rst │ │ ├── 030_project_properties.lab.rst │ │ ├── 040_structuring_your_application.lab.rst │ │ └── source │ │ │ ├── 020_building_with_gprbuild │ │ │ ├── queens.adb │ │ │ ├── queens_pkg.adb │ │ │ └── queens_pkg.ads │ │ │ ├── 030_project_properties │ │ │ ├── conditional │ │ │ │ ├── fibonacci.float │ │ │ │ └── fibonacci.unsigned │ │ │ ├── fibonacci.adb │ │ │ ├── fibonacci.ads │ │ │ ├── main.adb │ │ │ └── naming │ │ │ │ ├── fibonacci.1.ada │ │ │ │ ├── fibonacci.2.ada │ │ │ │ └── main.2.ada │ │ │ └── 040_structuring_your_application │ │ │ ├── application │ │ │ └── src │ │ │ │ ├── main.adb │ │ │ │ ├── odometer_task.adb │ │ │ │ └── odometer_task.ads │ │ │ ├── base │ │ │ └── src │ │ │ │ ├── base_types.adb │ │ │ │ └── base_types.ads │ │ │ ├── messages │ │ │ ├── src │ │ │ │ ├── sender.adb │ │ │ │ └── sender.ads │ │ │ └── test │ │ │ │ └── sender.adb │ │ │ └── sensors │ │ │ ├── src │ │ │ ├── odometer.adb │ │ │ └── odometer.ads │ │ │ └── test │ │ │ └── odometer.adb │ └── standard_course.txt ├── gnat_studio │ ├── 010_gnat_studio.rst │ ├── 900_quickstart.rst │ ├── 910_quickstart_navigate.rst │ ├── 920_quickstart_debugging.rst │ ├── README.md │ ├── course.toml │ ├── course.txt │ └── labs │ │ ├── 010_gnat_studio.lab.rst │ │ └── source │ │ ├── common │ │ ├── except.ads │ │ ├── input.adb │ │ ├── input.ads │ │ ├── screen_output.adb │ │ ├── screen_output.ads │ │ ├── sdc.adb │ │ ├── sdc.ads │ │ ├── stack.adb │ │ └── stack.ads │ │ └── struct │ │ ├── instructions.adb │ │ ├── instructions.ads │ │ ├── tokens.adb │ │ ├── tokens.ads │ │ ├── values-operations.adb │ │ ├── values-operations.ads │ │ ├── values.adb │ │ └── values.ads ├── gnatdas │ ├── 010_overview.rst │ ├── README.md │ ├── course.toml │ ├── cover_010_overview.rst │ ├── cover_020_basic_workflow.rst │ ├── cover_030_advanced_topics.rst │ ├── cover_040_gnatstudio.rst │ ├── examples │ │ ├── README.md │ │ └── cover_coverage │ │ │ ├── default.gpr │ │ │ └── src │ │ │ ├── examples.adb │ │ │ ├── examples.ads │ │ │ └── main.adb │ ├── labs │ │ ├── README.md │ │ ├── cover_020_basic_workflow.lab.rst │ │ ├── cover_020_basic_workflow │ │ │ ├── default.gpr │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ └── src │ │ │ │ ├── ops.adb │ │ │ │ ├── ops.ads │ │ │ │ └── test_driver.adb │ │ ├── cover_030_advanced_topics.lab.rst │ │ ├── cover_030_advanced_topics │ │ │ ├── README.md │ │ │ ├── io │ │ │ │ ├── io.gpr │ │ │ │ └── src │ │ │ │ │ ├── except.ads │ │ │ │ │ ├── input.adb │ │ │ │ │ ├── input.ads │ │ │ │ │ ├── screen_output.adb │ │ │ │ │ └── screen_output.ads │ │ │ ├── sdc │ │ │ │ ├── sdc.gpr │ │ │ │ └── src │ │ │ │ │ ├── instructions.adb │ │ │ │ │ ├── instructions.ads │ │ │ │ │ ├── sdc.adb │ │ │ │ │ ├── tokens.adb │ │ │ │ │ └── tokens.ads │ │ │ └── utils │ │ │ │ ├── src │ │ │ │ ├── stack.adb │ │ │ │ ├── stack.ads │ │ │ │ ├── values-operations.adb │ │ │ │ ├── values-operations.ads │ │ │ │ ├── values.adb │ │ │ │ └── values.ads │ │ │ │ └── utils.gpr │ │ ├── cover_040_gnatstudio.lab.rst │ │ ├── cover_040_gnatstudio │ │ │ ├── default.gpr │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ └── src │ │ │ │ ├── ops.adb │ │ │ │ ├── ops.ads │ │ │ │ └── test_driver.adb │ │ ├── test_020_usage.lab.rst │ │ ├── test_020_usage │ │ │ ├── answers.txt │ │ │ ├── default.gpr │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ └── src │ │ │ │ ├── simple_stack.adb │ │ │ │ └── simple_stack.ads │ │ ├── test_030_controlling_gnattest.lab.rst │ │ ├── test_030_controlling_gnattest │ │ │ ├── default.gpr │ │ │ ├── obj │ │ │ │ └── .empty │ │ │ └── src │ │ │ │ ├── simple_stack.adb │ │ │ │ └── simple_stack.ads │ │ ├── test_040_advanced_testing.lab.rst │ │ └── test_040_advanced_testing │ │ │ ├── default.gpr │ │ │ ├── obj │ │ │ └── .empty │ │ │ └── src │ │ │ ├── logger.adb │ │ │ ├── logger.ads │ │ │ ├── sensor.adb │ │ │ ├── sensor.ads │ │ │ ├── simple.adb │ │ │ └── simple.ads │ ├── standard_course.txt │ ├── test_010_overview.rst │ ├── test_020_usage.rst │ ├── test_030_controlling_gnattest.rst │ └── test_040_advanced_testing.rst ├── gnatsas │ ├── 010_course_overview.rst │ ├── README.md │ ├── check_010_overview.rst │ ├── check_020_getting_started.rst │ ├── check_030_predefined_rules.rst │ ├── check_040_lkql.rst │ ├── course.toml │ ├── labs │ │ ├── README.md │ │ ├── check_020_getting_started.lab.rst │ │ ├── check_020_getting_started │ │ │ ├── coding_standard.rules │ │ │ ├── include │ │ │ │ ├── chop.ads │ │ │ │ ├── phil.ads │ │ │ │ ├── random_generic.ads │ │ │ │ ├── room.ads │ │ │ │ ├── screen.ads │ │ │ │ ├── society.ads │ │ │ │ └── windows.ads │ │ │ ├── simple.gpr │ │ │ └── src │ │ │ │ ├── chop.adb │ │ │ │ ├── diners.adb │ │ │ │ ├── phil.adb │ │ │ │ ├── random_generic.adb │ │ │ │ ├── room.adb │ │ │ │ ├── screen.adb │ │ │ │ └── windows.adb │ │ ├── check_040_lkql.lab.rst │ │ ├── check_040_lkql │ │ │ ├── default.gpr │ │ │ └── src │ │ │ │ ├── test_pkg.adb │ │ │ │ └── test_pkg.ads │ │ ├── metric_010_overview.lab.rst │ │ ├── metric_010_overview │ │ │ ├── complexity_metrics_example.adb │ │ │ ├── complexity_metrics_example.ads │ │ │ ├── coupling_metrics_dependency.adb │ │ │ ├── coupling_metrics_dependency.ads │ │ │ ├── coupling_metrics_example.adb │ │ │ ├── coupling_metrics_example.ads │ │ │ ├── default.gpr │ │ │ ├── line_metrics_example.adb │ │ │ ├── line_metrics_example.ads │ │ │ ├── main.adb │ │ │ ├── syntax_metrics_example.adb │ │ │ └── syntax_metrics_example.ads │ │ └── sas_060_tutorial │ │ │ ├── common │ │ │ ├── except.ads │ │ │ ├── input.adb │ │ │ ├── input.ads │ │ │ ├── screen_output.adb │ │ │ ├── screen_output.ads │ │ │ ├── sdc.adb │ │ │ ├── sdc.ads │ │ │ ├── stack.adb │ │ │ └── stack.ads │ │ │ ├── input.txt │ │ │ ├── obj │ │ │ └── .empty │ │ │ ├── sdc.gpr │ │ │ └── struct │ │ │ ├── instructions.adb │ │ │ ├── instructions.ads │ │ │ ├── tokens.adb │ │ │ ├── tokens.ads │ │ │ ├── values-operations.adb │ │ │ ├── values-operations.ads │ │ │ ├── values.adb │ │ │ └── values.ads │ ├── metric_010_overview.rst │ ├── sas_010_introduction.rst │ ├── sas_020_overview.rst │ ├── sas_030_analysis.rst │ ├── sas_040_viewing_results.rst │ ├── sas_050_reviewing_messages.rst │ ├── sas_060_tutorial.rst │ └── standard_course.txt ├── misc_tools │ ├── 010_overview.rst │ ├── 100_gnatstub.rst │ ├── 200_gnatstack.rst │ ├── README.md │ ├── course.toml │ └── labs │ │ ├── 100_gnatstub │ │ ├── answer │ │ │ └── math.adb │ │ ├── lab.rst │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── main.adb │ │ │ └── math.ads │ │ └── 200_gnatstack │ │ ├── complicated │ │ ├── cycles_example.adb │ │ ├── cycles_example.ads │ │ ├── cycles_main.adb │ │ ├── default.gpr │ │ ├── dispatching_example.adb │ │ ├── dispatching_example.ads │ │ ├── dispatching_main.adb │ │ ├── indirect_example.adb │ │ ├── indirect_example.ads │ │ └── indirect_main.adb │ │ ├── lab.rst │ │ └── simple │ │ └── main_unit.adb ├── rust_essentials │ ├── 010_introduction.rst │ ├── 010_introduction │ │ ├── 01-about_adacore.rst │ │ └── 02-about_this_training.rst │ ├── 015_overview.rst │ ├── 015_overview │ │ ├── 01_what_is_rust.rst │ │ ├── 02_benefits.rst │ │ └── 03_tooling.rst │ ├── 020_hello_world.rst │ ├── 020_hello_world │ │ ├── 01_hello_world.rst │ │ ├── 02_creating_a_program.rst │ │ └── 99_summary.rst │ ├── 030_types_and_values.rst │ ├── 030_types_and_values │ │ ├── 00_introduction.rst │ │ ├── 02_variables.rst │ │ ├── 03_types.rst │ │ ├── 04_arithmetic.rst │ │ ├── 99_lab.rst │ │ ├── 99_summary.rst │ │ └── src │ │ │ └── 030_types_and_values.rs │ ├── 040_control_flow_basics.rst │ ├── 040_control_flow_basics │ │ ├── 01_if.rst │ │ ├── 02_match.rst │ │ ├── 03_loops.rst │ │ ├── 04_break_continue.rst │ │ ├── 05_blocks_and_scopes.rst │ │ ├── 06_functions.rst │ │ ├── 07_macros.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 040_control_flow_basics.rs │ ├── 050_tuples_and_arrays.rst │ ├── 050_tuples_and_arrays │ │ ├── 01_arrays.rst │ │ ├── 02_tuples.rst │ │ ├── 03_iteration.rst │ │ ├── 04_destructuring.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 050_tuples_and_arrays.rs │ ├── 060_references.rst │ ├── 060_references │ │ ├── 01_shared.rst │ │ ├── 02_exclusive.rst │ │ ├── 03_slices.rst │ │ ├── 04_strings.rst │ │ ├── 05_dangling.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 060_references.rs │ ├── 070_user_defined_types.rst │ ├── 070_user_defined_types │ │ ├── 01_named_structs.rst │ │ ├── 02_tuple_structs.rst │ │ ├── 03_enums.rst │ │ ├── 04_aliases.rst │ │ ├── 05_const.rst │ │ ├── 06_static.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 070_user_defined_types.rs │ ├── 080_pattern_matching.rst │ ├── 080_pattern_matching │ │ ├── 01_match.rst │ │ ├── 02_destructuring_structs.rst │ │ ├── 03_destructuring_enums.rst │ │ ├── 04_let_control_flow.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 080_pattern_matching.rs │ ├── 090_methods_and_traits.rst │ ├── 090_methods_and_traits │ │ ├── 01_methods.rst │ │ ├── 02_traits.rst │ │ ├── 03_deriving.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 090_methods_and_traits.rs │ ├── 100_generics.rst │ ├── 100_generics │ │ ├── 01_generic_functions.rst │ │ ├── 02_generic_data.rst │ │ ├── 03_generic_traits.rst │ │ ├── 04_trait_bounds.rst │ │ ├── 05_impl_trait.rst │ │ ├── 06_dyn_trait.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 100_generics.rs │ ├── 110_std_types.rst │ ├── 110_std_types │ │ ├── 01_std.rst │ │ ├── 02_docs.rst │ │ ├── 03_option.rst │ │ ├── 04_result.rst │ │ ├── 05_string.rst │ │ ├── 06_vec.rst │ │ ├── 07_hashmap.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 110_std_types.rs │ ├── 120_std_traits.rst │ ├── 120_std_traits │ │ ├── 01_comparisons.rst │ │ ├── 02_operators.rst │ │ ├── 03_from_and_into.rst │ │ ├── 04_casting.rst │ │ ├── 05_read_and_write.rst │ │ ├── 06_default.rst │ │ ├── 07_closures.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 120_std_traits.rs │ ├── 130_memory_management.rst │ ├── 130_memory_management │ │ ├── 01_review.rst │ │ ├── 02_approaches.rst │ │ ├── 03_ownership.rst │ │ ├── 04_move.rst │ │ ├── 05_clone.rst │ │ ├── 06_copy_types.rst │ │ ├── 07_drop.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 130_memory_management.rs │ ├── 140_smart_pointers.rst │ ├── 140_smart_pointers │ │ ├── 01_box.rst │ │ ├── 02_rc.rst │ │ ├── 03_trait_objects.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 140_smart_pointers.rs │ ├── 150_borrowing.rst │ ├── 150_borrowing │ │ ├── 01_shared.rst │ │ ├── 02_borrowck.rst │ │ ├── 03_examples.rst │ │ ├── 04_interior_mutability.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 150_borrowing.rs │ ├── 160_lifetimes.rst │ ├── 160_lifetimes │ │ ├── 01_lifetime_annotations.rst │ │ ├── 02_lifetime_elision.rst │ │ ├── 03_struct_lifetimes.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 160_lifetimes.rs │ ├── 170_iterators.rst │ ├── 170_iterators │ │ ├── 01_motivation.rst │ │ ├── 02_iterator.rst │ │ ├── 03_helpers.rst │ │ ├── 04_collect.rst │ │ ├── 05_intoiterator.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 170_iterators.rs │ ├── 180_modules.rst │ ├── 180_modules │ │ ├── 01_modules.rst │ │ ├── 02_filesystem.rst │ │ ├── 03_visibility.rst │ │ ├── 04_encapsulation.rst │ │ ├── 05_paths.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ ├── 180_modules-main.rs │ │ │ ├── 180_modules-widgets-button.rs │ │ │ ├── 180_modules-widgets-label.rs │ │ │ ├── 180_modules-widgets-window.rs │ │ │ ├── 180_modules-widgets.rs │ │ │ └── 180_modules.rs │ ├── 190_testing.rst │ ├── 190_testing │ │ ├── 01_unit_tests.rst │ │ ├── 02_other.rst │ │ ├── 03_lints.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 190_testing.rs │ ├── 200_error_handling.rst │ ├── 200_error_handling │ │ ├── 01_panics.rst │ │ ├── 02_result.rst │ │ ├── 03_try.rst │ │ ├── 04_try_conversions.rst │ │ ├── 05_error.rst │ │ ├── 06_thiserror.rst │ │ ├── 07_anyhow.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 200_error_handling.rs │ ├── 210_unsafe_rust.rst │ ├── 210_unsafe_rust │ │ ├── 01_unsafe.rst │ │ ├── 02_dereferencing.rst │ │ ├── 03_mutable_static.rst │ │ ├── 04_unions.rst │ │ ├── 05_unsafe_functions.rst │ │ ├── 06_unsafe_traits.rst │ │ ├── 99_lab.rst │ │ └── src │ │ │ └── 210_unsafe_rust.rs │ ├── README.md │ ├── comprehensive_course.txt │ ├── course.toml │ └── standard_course.txt ├── spark_essentials │ ├── 010_course_overview.rst │ ├── 010_course_overview │ │ ├── 01-about_this_course.rst │ │ ├── 02-a_little_history.rst │ │ ├── 03-spark.rst │ │ └── 04-course_contents.rst │ ├── 020_formal_methods_and_spark.rst │ ├── 020_formal_methods_and_spark │ │ ├── 01-introduction.rst │ │ ├── 02-formal_methods.rst │ │ ├── 03-spark.rst │ │ ├── 04-applying_spark_in_practice.rst │ │ ├── 05-quiz.rst │ │ └── 99-summary.rst │ ├── 030_spark_language.rst │ ├── 030_spark_language │ │ ├── 01-introduction.rst │ │ ├── 02-spark_language_subset.rst │ │ ├── 03-language_restrictions.rst │ │ ├── 04-migrating_to_spark.rst │ │ └── 99-summary.rst │ ├── 040_spark_tools.rst │ ├── 040_spark_tools │ │ ├── 01-introduction.rst │ │ ├── 02-gnat_development_tools.rst │ │ ├── 03-spark_analysis_tools.rst │ │ ├── 04-ides_for_spark.rst │ │ ├── 88_spark_tools.lab.rst │ │ └── 99-summary.rst │ ├── 050_flow_analysis.rst │ ├── 050_flow_analysis │ │ ├── 01-introduction.rst │ │ ├── 02-flow_analysis.rst │ │ ├── 03-limitations_of_flow_analysis.rst │ │ ├── 88_flow_analysis.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── flow_analysis │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 060_proof.rst │ ├── 060_proof │ │ ├── 01-introduction.rst │ │ ├── 02-proof.rst │ │ ├── 03-limitations_of_proof.rst │ │ ├── 88_proof.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── proof │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 070_specification_language.rst │ ├── 070_specification_language │ │ ├── 01-introduction.rst │ │ ├── 02-conditional_expressions.rst │ │ ├── 03-quantified_expressions.rst │ │ ├── 04-new_aggregate_expressions.rst │ │ ├── 05-structuring_expressions.rst │ │ ├── 88_specification_language.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── specification_language │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 080_subprogram_contracts.rst │ ├── 080_subprogram_contracts │ │ ├── 01-introduction.rst │ │ ├── 02-frame_condition.rst │ │ ├── 03-contracts_by_cases.rst │ │ ├── 04-contracts_and_refinement.rst │ │ ├── 05-preventing_unsoundness.rst │ │ ├── 06-quiz.rst │ │ └── 99-summary.rst │ ├── 090_type_contracts.rst │ ├── 090_type_contracts │ │ ├── 01-introduction.rst │ │ ├── 02-type_predicates.rst │ │ ├── 03-type_invariants.rst │ │ ├── 88_type_contracts.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── type_contracts │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 100_advanced_proof.rst │ ├── 100_advanced_proof │ │ ├── 01-introduction.rst │ │ ├── 02-relaxed_initialization.rst │ │ ├── 03-loops.rst │ │ ├── 04-formal_containers.rst │ │ ├── 88_advanced_proof.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── advanced_proof │ │ │ ├── answer │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── loop_init.adb │ │ │ ├── loop_init.ads │ │ │ ├── loop_types.ads │ │ │ └── sparklib.gpr │ │ │ └── prompt │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── loop_init.adb │ │ │ ├── loop_init.ads │ │ │ ├── loop_types.ads │ │ │ └── sparklib.gpr │ ├── 110_advanced_flow_analysis.rst │ ├── 110_advanced_flow_analysis │ │ ├── 01-introduction.rst │ │ ├── 02-information_flow_analysis.rst │ │ ├── 03-flow_dependency_contracts.rst │ │ ├── 04-automatic_generation.rst │ │ ├── 88_advanced_flow_analysis.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── advanced_flow_analysis │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 120_pointer_programs.rst │ ├── 120_pointer_programs │ │ ├── 01-introduction.rst │ │ ├── 02-ownership_checking.rst │ │ ├── 03-loops_and_predicted_values.rst │ │ ├── 04-spark_libraries.rst │ │ ├── 05-access_to_subprogram_values.rst │ │ ├── 88_pointer_programs.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── pointer_programs │ │ │ ├── answer │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── pointers.adb │ │ │ └── pointers.ads │ │ │ └── prompt │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── pointers.adb │ │ │ └── pointers.ads │ ├── 130_autoactive_proof.rst │ ├── 130_autoactive_proof │ │ ├── 01-introduction.rst │ │ ├── 02-toolnamegnatprove_messages.rst │ │ ├── 03-increasing_the_proof_effort.rst │ │ ├── 04-ghost_code.rst │ │ ├── 05-dealing_with_hard_proofs.rst │ │ ├── 88_autoactive_proof.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── autoactive_proof │ │ │ ├── answer │ │ │ ├── another_answer │ │ │ │ ├── config.adc │ │ │ │ ├── lab.gpr │ │ │ │ ├── nat_multisets.ads │ │ │ │ ├── perm-lemma_subprograms.adb │ │ │ │ ├── perm-lemma_subprograms.ads │ │ │ │ ├── perm.ads │ │ │ │ ├── sort.adb │ │ │ │ ├── sort.ads │ │ │ │ ├── sort_types.ads │ │ │ │ └── sparklib.gpr │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── sort.adb │ │ │ ├── sort.ads │ │ │ └── sort_types.ads │ │ │ └── prompt │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── sort.adb │ │ │ ├── sort.ads │ │ │ ├── sort_types.ads │ │ │ └── sparklib.gpr │ ├── 140_state_abstraction.rst │ ├── 140_state_abstraction │ │ ├── 01-introduction.rst │ │ ├── 02-abstract_states.rst │ │ ├── 03-additional_states.rst │ │ ├── 04-dependency_contracts.rst │ │ ├── 05-package_initialization.rst │ │ ├── 88_state_abstraction.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── state_abstraction │ │ │ ├── answer │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ │ │ └── prompt │ │ │ ├── basics.adb │ │ │ ├── basics.ads │ │ │ ├── config.adc │ │ │ └── lab.gpr │ ├── 150_spark_boundary.rst │ ├── 150_spark_boundary │ │ ├── 01-introduction.rst │ │ ├── 02-system_boundary.rst │ │ ├── 03-software_boundary.rst │ │ ├── 04-assumptions.rst │ │ ├── 88_spark_boundary.lab.rst │ │ ├── 99-summary.rst │ │ └── lab │ │ │ └── spark_boundary │ │ │ ├── answer │ │ │ ├── alarm.adb │ │ │ ├── alarm.ads │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── main.adb │ │ │ ├── random_numbers.adb │ │ │ ├── random_numbers.ads │ │ │ ├── swap.c │ │ │ └── swap.rs │ │ │ └── prompt │ │ │ ├── alarm.adb │ │ │ ├── alarm.ads │ │ │ ├── config.adc │ │ │ ├── lab.gpr │ │ │ ├── main.adb │ │ │ ├── random_numbers.adb │ │ │ ├── random_numbers.ads │ │ │ ├── swap.c │ │ │ └── swap.rs │ ├── 990_spark_example_project.rst │ ├── 990_spark_example_project │ │ └── lab │ │ │ └── spark_example_project │ │ │ ├── answer │ │ │ ├── default.gpr │ │ │ ├── string_fixed.adb │ │ │ └── string_fixed.ads │ │ │ └── prompt │ │ │ ├── default.gpr │ │ │ ├── string_fixed.adb │ │ │ └── string_fixed.ads │ ├── README.md │ ├── course.toml │ ├── labs │ │ └── source │ │ │ ├── gpr_project_path.bat │ │ │ └── gpr_project_path.sh │ └── standard_course.txt ├── static_analysis_via_compiler │ ├── 010_static_analysis_via_compiler.rst │ └── course.toml └── toolchain │ ├── course.toml │ ├── elaboration.rst │ ├── examples │ └── elaboration │ │ ├── elaboration.rst │ │ └── elaboration_control.rst │ ├── gnat_options.rst │ ├── gnat_toolchain.txt │ ├── gpr_basics.rst │ └── labs │ ├── answers │ └── elaboration.txt │ ├── elaboration.lab.rst │ └── prompts │ └── elaboration │ ├── constants.ads │ ├── datastore.adb │ ├── datastore.ads │ ├── default.gpr │ └── main.adb ├── images ├── README.md ├── ada_vs_spark_venn.png ├── advanced_exception_analysis │ └── properties_dialog.jpg ├── airbag_exception_handler.png ├── annotated_assembly_statement.png ├── array_diagram.svg ├── barnes_2012_cover.png ├── black_box_flow.svg ├── block_scope_example.svg ├── blue_line.png ├── circular_dependencies.svg ├── compile_and_build_buttons.jpg ├── comprehensive_rust_training │ ├── copy_assignment_2.svg │ ├── move_semantics_2.svg │ ├── pattern_matching_exercise_1.svg │ ├── pattern_matching_exercise_2.svg │ ├── review_of_program_memory.svg │ ├── smart_pointers_box_1.svg │ ├── smart_pointers_box_2.svg │ └── smart_pointers_owned_objects.svg ├── connected_cubes.png ├── control_flow_graph.svg ├── controlled_gl_object.svg ├── fortify_analyze_prove_cycle.png ├── github │ ├── artifacts_1.png │ ├── artifacts_2.png │ └── artifacts_3.png ├── gnat_studio │ ├── after_using_wrench.jpg │ ├── build_error.jpg │ ├── build_main_icon.jpg │ ├── build_multiple_icon.jpg │ ├── build_project_main_menu.jpg │ ├── build_switches_dialog.jpg │ ├── call_trees.png │ ├── clean_icon.jpg │ ├── commits_view_add_commit.svg │ ├── completion_examples_for_packages.jpg │ ├── completion_formal_parameters.jpg │ ├── completion_proposals_filtered.jpg │ ├── debug_active_perspective.jpg │ ├── debug_icon.jpg │ ├── debug_perspective.jpg │ ├── debug_task_view.jpg │ ├── debug_toolbar.jpg │ ├── editor_contextual_menu.jpg │ ├── fix_missing_semi.jpg │ ├── git_3_states.png │ ├── help_gnat_runtime.jpg │ ├── help_menu_cascade.jpg │ ├── information_in_subprogram_proposals.jpg │ ├── internal_run_window.jpg │ ├── lab_breakpoint_editor.jpg │ ├── line_block_delimiter_highlighting.jpg │ ├── location_windows_wrench.jpg │ ├── menu-edit │ │ └── project_properties │ │ │ ├── build-switches-ada-style-tooltip.jpg │ │ │ ├── build-switches-ada-style.jpg │ │ │ ├── build-switches-ada-warnings.jpg │ │ │ └── build-switches-ada.jpg │ ├── outline_view.png │ ├── project_perspective.jpg │ ├── quickstart │ │ ├── debug-data_hover.jpg │ │ ├── debug-data_view.jpg │ │ ├── getting_started-main.jpg │ │ ├── getting_started-open_project.jpg │ │ ├── getting_started-success.jpg │ │ ├── getting_started-welcome_dialog.jpg │ │ ├── navigation-declaration.jpg │ │ ├── navigation-reference_result.jpg │ │ └── navigation-references.jpg │ ├── run_main_icon.jpg │ ├── run_multiple_icon.jpg │ ├── run_the_program.jpg │ ├── start_from_file_explorer.png │ ├── syntax_highlighting.jpg │ ├── tooltip_example.jpg │ ├── users_guides_and_examples.jpg │ ├── vcs_actions.png │ ├── vcs_diff.png │ ├── vcs_staging.png │ ├── vcs_staging_showing_changes.png │ ├── welcome_dialog.jpg │ └── welcome_to_gnat_studio.jpg ├── gnatcheck │ ├── Thumbs.db │ ├── do178_table_a5.jpg │ ├── gnatstudio_menu.png │ ├── gnatstudio_rightclick_directory.png │ ├── gnatstudio_rightclick_editor.png │ ├── gnatstudio_rightclick_file.png │ ├── gnatstudio_rightclick_project.png │ ├── properties_dialog.png │ └── results_in_gnatstudio.png ├── gnatdas │ ├── cover_decision.png │ ├── cover_icon.png │ ├── cover_mcdc.png │ ├── cover_mcdc_expanded.png │ ├── cover_menu.png │ ├── cover_multiple_projects.png │ ├── cover_properties_dialog.png │ ├── cover_statement.png │ ├── coverage_report.png │ ├── coverage_report_expanded.png │ ├── coverage_select_entity.png │ └── test_what_can_be_automated.jpg ├── gnatmetric │ ├── cyclomatic_complexity_edges_and_nodes.svg │ ├── execute_dialog.jpg │ └── menu_cascade.jpg ├── gnatprove-output-file.jpeg ├── gnatprove-output-ide.jpeg ├── gnatprove-output-options.png ├── gnatsas │ ├── sas_annotation_example.png │ ├── sas_custom_statuses.png │ ├── sas_lab_removed_messages.png │ ├── sas_lab_report.png │ ├── sas_lab_tokens_line_26.png │ ├── sas_manual_review.png │ ├── sas_manual_review_custom.png │ ├── sas_report.png │ ├── sas_report_annotated.png │ └── sas_review_actions.png ├── gnatstudio-help-gnat.jpeg ├── gnatstudio-look_and_feel.png ├── gnatstudio-preferences-spark.jpeg ├── hello_world_0.svg ├── hello_world_1.svg ├── hello_world_2.svg ├── hello_world_3.svg ├── hello_world_4.svg ├── hello_world_5.svg ├── hello_world_6.svg ├── hierarchical_library_units.png ├── hierarchical_visibility_1.svg ├── hierarchical_visibility_2.svg ├── hierarchical_visibility_3.svg ├── hierarchical_visibility_4.svg ├── identifier_flow.svg ├── identifiers_vs_names_1.svg ├── identifiers_vs_names_2.svg ├── interface_vs_implementation.svg ├── items_on_stack.svg ├── lightbulb.pdf ├── lightbulb.svg ├── logo.png ├── loop_invariants.png ├── loop_invariants_placement.png ├── mark_twain.jpeg ├── mini_projects │ └── cinema │ │ ├── mini_cinema.png │ │ ├── static_image_display.png │ │ └── ut_success.png ├── mutual_dependencies.svg ├── note.pdf ├── packages_hiding_global_data.svg ├── pre_and_post_insertion_flow.svg ├── prove_dialog-advanced.png ├── prove_dialog-basic.png ├── ravenscar_ceiling_locking.png ├── record_packing_examples.svg ├── relative_cost_to_fix_bugs.svg ├── software_assurance_levels.png ├── spark_menu-explanations.png ├── spark_rightclick-code.jpeg ├── spark_rightclick-source_tree.jpeg ├── spark_structure.png ├── stack_pointing_to_heap.svg ├── subprogram_contracts_special_attributes-answer1.svg ├── subprogram_contracts_special_attributes-answer2.svg ├── subprogram_contracts_special_attributes-answer3.svg ├── subprogram_contracts_special_attributes-legend.svg ├── subprograms_accessing_global.svg ├── title_background.pdf ├── type_invariant_check_flow.svg ├── types_tree.png ├── types_tree_complete.svg ├── use_clause_comparison.svg ├── vscode_set_project.jpg └── warning.pdf ├── marketing ├── README.md ├── ada_4_hours │ ├── 010_overview.rst │ ├── 020_declarations.rst │ ├── 030_scalar_types.rst │ ├── 040_statements.rst │ ├── 050_array_types.rst │ ├── 060_record_types.rst │ ├── 070_subprograms.rst │ ├── 100_packages.rst │ ├── 110_private_types.rst │ ├── 130_program_structure.rst │ ├── 140_access_types.rst │ ├── 160_genericity.rst │ ├── 170_tagged_derivation.rst │ ├── 180_polymorphism.rst │ ├── 230_interfacing_with_c.rst │ ├── 240_tasking.rst │ ├── 270_contracts.rst │ ├── 280_low_level_programming.rst │ ├── course.toml │ └── overview.txt └── ada_8_hours │ ├── 010_overview.rst │ ├── 020_declarations.rst │ ├── 030_scalar_types.rst │ ├── 040_statements.rst │ ├── 050_array_types.rst │ ├── 060_record_types.rst │ ├── 070_subprograms.rst │ ├── 095_library_units.rst │ ├── 100_packages.rst │ ├── 110_private_types.rst │ ├── 130_program_structure.rst │ ├── 135_visibility.rst │ ├── 140_access_types.rst │ ├── 170_tagged_derivation.rst │ ├── 180_polymorphism.rst │ ├── 230_interfacing_with_c.rst │ ├── 240_tasking.rst │ ├── adv_280_low_level_programming.rst │ ├── course.toml │ ├── intro_160_genericity.rst │ ├── intro_270_contracts.rst │ └── overview.txt ├── pandoc ├── README.md ├── beamer_filter.py ├── beamer_filter.rst ├── bnf.xml ├── default_lab_docs.yaml ├── lab_docs.py ├── pandoc_fe.py ├── parse_pandoc_defaults.py ├── rst_indentation.py ├── snippet_parser.py ├── test │ ├── svg │ │ ├── Test.svg │ │ ├── input.rst │ │ ├── output.lines │ │ └── test_include_svg.py │ └── wrong_tick │ │ ├── input.rst │ │ ├── output.lines │ │ └── test_wrong_tick.py └── title_data.txt ├── style_guide.rst └── support_files ├── AdaCore.potx ├── README.md ├── beamercolorthemeadacore.sty ├── beamerthemeadacore.sty ├── build_labs_folder.py ├── generate_course.py ├── language_version.py ├── note-blocks.sty ├── prelude.rst ├── syllabus.dotm ├── syllabus.py └── templates └── adacore.latex /.github/workflows/main.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/.github/workflows/main.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.gitlab/merge_request_templates/Default.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/.gitlab/merge_request_templates/Default.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/README.md -------------------------------------------------------------------------------- /contrib/ci/alr_gnat_env.profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/alr_gnat_env.profile -------------------------------------------------------------------------------- /contrib/ci/build_labs_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/build_labs_check.py -------------------------------------------------------------------------------- /contrib/ci/check_images.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/check_images.py -------------------------------------------------------------------------------- /contrib/ci/course.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/course.py -------------------------------------------------------------------------------- /contrib/ci/default_course.toml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contrib/ci/fix_prelude.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/fix_prelude.py -------------------------------------------------------------------------------- /contrib/ci/lab_env.profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/lab_env.profile -------------------------------------------------------------------------------- /contrib/ci/package_labs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/package_labs.py -------------------------------------------------------------------------------- /contrib/ci/package_labs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/package_labs.sh -------------------------------------------------------------------------------- /contrib/ci/slides.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/ci/slides.py -------------------------------------------------------------------------------- /contrib/definitions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/definitions -------------------------------------------------------------------------------- /contrib/dependency_checker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/dependency_checker.py -------------------------------------------------------------------------------- /contrib/fix_broken_titles.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/fix_broken_titles.py -------------------------------------------------------------------------------- /contrib/process_definitions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/process_definitions.py -------------------------------------------------------------------------------- /contrib/quiz.README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/quiz.README.md -------------------------------------------------------------------------------- /contrib/quiz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/quiz.py -------------------------------------------------------------------------------- /contrib/quiz_update.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/quiz_update.py -------------------------------------------------------------------------------- /contrib/review_run_slides: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/review_run_slides -------------------------------------------------------------------------------- /contrib/rst_files_with_prelude.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/rst_files_with_prelude.txt -------------------------------------------------------------------------------- /contrib/rst_update_prelude.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/contrib/rst_update_prelude.py -------------------------------------------------------------------------------- /courses/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/README.md -------------------------------------------------------------------------------- /courses/ada_essentials/005_introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/005_introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/010_overview.rst -------------------------------------------------------------------------------- /courses/ada_essentials/010_overview/02-big_picture.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/010_overview/02-big_picture.rst -------------------------------------------------------------------------------- /courses/ada_essentials/013_hello_world.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/013_hello_world.rst -------------------------------------------------------------------------------- /courses/ada_essentials/013_hello_world/88-lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/013_hello_world/88-lab.rst -------------------------------------------------------------------------------- /courses/ada_essentials/013_hello_world/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/013_hello_world/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/015_type_model.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/015_type_model.rst -------------------------------------------------------------------------------- /courses/ada_essentials/015_type_model/02-types_in_ada.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/015_type_model/02-types_in_ada.rst -------------------------------------------------------------------------------- /courses/ada_essentials/015_type_model/03-ada_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/015_type_model/03-ada_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/020_declarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/020_declarations.rst -------------------------------------------------------------------------------- /courses/ada_essentials/020_declarations/03-literals.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/020_declarations/03-literals.rst -------------------------------------------------------------------------------- /courses/ada_essentials/020_declarations/07-aspects.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/020_declarations/07-aspects.rst -------------------------------------------------------------------------------- /courses/ada_essentials/020_declarations/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/020_declarations/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/020_declarations/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/020_declarations/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types-extras.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types-extras.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types-in_depth.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types-in_depth.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/07-real_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/07-real_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/08-base_type.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/08-base_type.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/10-subtypes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/10-subtypes.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/12-big_numbers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/12-big_numbers.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/13-attributes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/13-attributes.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/030_scalar_types/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/030_scalar_types/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/040_statements.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/040_statements.rst -------------------------------------------------------------------------------- /courses/ada_essentials/040_statements/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/040_statements/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/040_statements/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/040_statements/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/040_statements/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/040_statements/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types/04-strings.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types/04-strings.rst -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types/05-attributes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types/05-attributes.rst -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/050_array_types/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/050_array_types/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/060_record_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/060_record_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/060_record_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/060_record_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/060_record_types/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/060_record_types/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/065_discriminated_records.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/065_discriminated_records.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms/02-syntax.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms/02-syntax.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms/03-parameters.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms/03-parameters.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/070_subprograms/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/070_subprograms/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/075_type_derivation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/075_type_derivation.rst -------------------------------------------------------------------------------- /courses/ada_essentials/075_type_derivation/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/075_type_derivation/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/080_expressions-intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/080_expressions-intro.rst -------------------------------------------------------------------------------- /courses/ada_essentials/080_expressions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/080_expressions.rst -------------------------------------------------------------------------------- /courses/ada_essentials/080_expressions/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/080_expressions/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/080_expressions/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/080_expressions/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/080_expressions/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/080_expressions/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/090_overloading-with_equality.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/090_overloading-with_equality.rst -------------------------------------------------------------------------------- /courses/ada_essentials/090_overloading.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/090_overloading.rst -------------------------------------------------------------------------------- /courses/ada_essentials/090_overloading/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/090_overloading/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/090_overloading/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/090_overloading/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/04-bodies.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/04-bodies.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/06-idioms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/06-idioms.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/88-packages.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/88-packages.lab.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/100_packages/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/100_packages/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/110_private_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/110_private_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/110_private_types/06-idioms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/110_private_types/06-idioms.rst -------------------------------------------------------------------------------- /courses/ada_essentials/110_private_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/110_private_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/110_private_types/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/110_private_types/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/120_limited_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/120_limited_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/120_limited_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/120_limited_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/120_limited_types/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/120_limited_types/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/130_program_structure.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/130_program_structure.rst -------------------------------------------------------------------------------- /courses/ada_essentials/130_program_structure/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/130_program_structure/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/135_visibility.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/135_visibility.rst -------------------------------------------------------------------------------- /courses/ada_essentials/135_visibility/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/135_visibility/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/135_visibility/02-use_clauses.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/135_visibility/02-use_clauses.rst -------------------------------------------------------------------------------- /courses/ada_essentials/135_visibility/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/135_visibility/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/135_visibility/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/135_visibility/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/140_access_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/140_access_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/140_access_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/140_access_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/143_general_access_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/143_general_access_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/146_storage_pools.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/146_storage_pools.rst -------------------------------------------------------------------------------- /courses/ada_essentials/146_storage_pools/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/146_storage_pools/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/160_genericity-intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/160_genericity-intro.rst -------------------------------------------------------------------------------- /courses/ada_essentials/160_genericity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/160_genericity.rst -------------------------------------------------------------------------------- /courses/ada_essentials/160_genericity/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/160_genericity/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/160_genericity/03-generic_data.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/160_genericity/03-generic_data.rst -------------------------------------------------------------------------------- /courses/ada_essentials/160_genericity/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/160_genericity/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/170_tagged_derivation-in_depth.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/170_tagged_derivation-in_depth.rst -------------------------------------------------------------------------------- /courses/ada_essentials/170_tagged_derivation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/170_tagged_derivation.rst -------------------------------------------------------------------------------- /courses/ada_essentials/175_multiple_inheritance.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/175_multiple_inheritance.rst -------------------------------------------------------------------------------- /courses/ada_essentials/180_polymorphism.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/180_polymorphism.rst -------------------------------------------------------------------------------- /courses/ada_essentials/180_polymorphism/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/180_polymorphism/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions-in_depth.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions-in_depth.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/02-handlers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/02-handlers.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/06-propagation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/06-propagation.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/10-in_practice.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/10-in_practice.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/190_exceptions/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/190_exceptions/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/230_interfacing_with_c.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/230_interfacing_with_c.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking-in_depth.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking-in_depth.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking-light.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking-light.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking-light_in_depth.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking-light_in_depth.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/01-intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/01-intro.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/02-tasks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/02-tasks.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/04-delays.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/04-delays.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/05-task_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/05-task_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/11-light_tasking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/11-light_tasking.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/14-tasking_control.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/14-tasking_control.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/21-gnat_semaphores.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/21-gnat_semaphores.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/88-tasking.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/88-tasking.lab.rst -------------------------------------------------------------------------------- /courses/ada_essentials/240_tasking/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/240_tasking/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/245_ravenscar_tasking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/245_ravenscar_tasking.rst -------------------------------------------------------------------------------- /courses/ada_essentials/245_ravenscar_tasking/02-tasks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/245_ravenscar_tasking/02-tasks.rst -------------------------------------------------------------------------------- /courses/ada_essentials/245_ravenscar_tasking/03-delays.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/245_ravenscar_tasking/03-delays.rst -------------------------------------------------------------------------------- /courses/ada_essentials/260_controlled_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/260_controlled_types.rst -------------------------------------------------------------------------------- /courses/ada_essentials/260_controlled_types/03-example.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/260_controlled_types/03-example.rst -------------------------------------------------------------------------------- /courses/ada_essentials/260_controlled_types/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/260_controlled_types/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/270_introduction_to_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/270_introduction_to_contracts.rst -------------------------------------------------------------------------------- /courses/ada_essentials/273_subprogram_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/273_subprogram_contracts.rst -------------------------------------------------------------------------------- /courses/ada_essentials/276_type_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/276_type_contracts.rst -------------------------------------------------------------------------------- /courses/ada_essentials/276_type_contracts/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/276_type_contracts/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/276_type_contracts/syntax.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/276_type_contracts/syntax.bnf -------------------------------------------------------------------------------- /courses/ada_essentials/280_low_level_programming.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/280_low_level_programming.rst -------------------------------------------------------------------------------- /courses/ada_essentials/290_advanced_data_hiding.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/290_advanced_data_hiding.rst -------------------------------------------------------------------------------- /courses/ada_essentials/700_expert_resource_management.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/700_expert_resource_management.rst -------------------------------------------------------------------------------- /courses/ada_essentials/890_ada_text_io.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/890_ada_text_io.rst -------------------------------------------------------------------------------- /courses/ada_essentials/890_ada_text_io/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/890_ada_text_io/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/890_ada_text_io/04-exceptions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/890_ada_text_io/04-exceptions.rst -------------------------------------------------------------------------------- /courses/ada_essentials/890_ada_text_io/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/890_ada_text_io/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/891_ada_characters.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/891_ada_characters.rst -------------------------------------------------------------------------------- /courses/ada_essentials/891_ada_characters/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/891_ada_characters/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/892_ada_strings.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/892_ada_strings.rst -------------------------------------------------------------------------------- /courses/ada_essentials/892_ada_strings/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/892_ada_strings/01-introduction.rst -------------------------------------------------------------------------------- /courses/ada_essentials/892_ada_strings/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/892_ada_strings/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/893_ada_numerics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/893_ada_numerics.rst -------------------------------------------------------------------------------- /courses/ada_essentials/893_ada_numerics/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/893_ada_numerics/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/894_ada_containers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/894_ada_containers.rst -------------------------------------------------------------------------------- /courses/ada_essentials/894_ada_containers/04-reference.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/894_ada_containers/04-reference.rst -------------------------------------------------------------------------------- /courses/ada_essentials/894_ada_containers/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/894_ada_containers/99-summary.rst -------------------------------------------------------------------------------- /courses/ada_essentials/900_gnat_in_practice.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/900_gnat_in_practice.rst -------------------------------------------------------------------------------- /courses/ada_essentials/900_gnat_in_practice/02-vs_code.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/900_gnat_in_practice/02-vs_code.rst -------------------------------------------------------------------------------- /courses/ada_essentials/901_ada_2022_specific.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/901_ada_2022_specific.rst -------------------------------------------------------------------------------- /courses/ada_essentials/902_future_capabilities.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/902_future_capabilities.rst -------------------------------------------------------------------------------- /courses/ada_essentials/920_reference_material.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/920_reference_material.rst -------------------------------------------------------------------------------- /courses/ada_essentials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/README.md -------------------------------------------------------------------------------- /courses/ada_essentials/advanced.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/advanced.txt -------------------------------------------------------------------------------- /courses/ada_essentials/course.toml: -------------------------------------------------------------------------------- 1 | name = "Ada Essentials" 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/050_array_types/slices.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/050_array_types/slices.rst -------------------------------------------------------------------------------- /courses/ada_essentials/examples/100_packages/bodies.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/100_packages/bodies.rst -------------------------------------------------------------------------------- /courses/ada_essentials/examples/100_packages/idioms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/100_packages/idioms.rst -------------------------------------------------------------------------------- /courses/ada_essentials/examples/140_access_types/anonymous_access/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/290_advanced_data_hiding/capabilities_and_constraints/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/Makefile -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/container_aggregates/TODO: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/contract_access/build.sh: -------------------------------------------------------------------------------- 1 | #! /usr/bin/env bash 2 | set -ex 3 | 4 | $ADACUT -d -c=1 src/main.adb > extracts/decl.ads 5 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/delta_aggregates/TODO: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/delta_aggregates/build.sh: -------------------------------------------------------------------------------- 1 | #! /usr/bin/env bash 2 | set -ex 3 | 4 | $ADACUT -d -c=1 src/main.adb > extracts/spec.ads 5 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/general_aggregates/extracts/iteration_filters.ads: -------------------------------------------------------------------------------- 1 | O4 : A := (for I of O3 when I /= 0 => I); 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/general_aggregates/prj.adc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/generalized_literals/extracts/main.adb: -------------------------------------------------------------------------------- 1 | I : My_Int_T := 1; 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/generalized_literals/prj.adc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/iteration_filters/prj.adc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/reduction_expression/prj.adc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/staticness/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/ada2022/staticness/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/variadic/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/ada2022/variadic/build.sh -------------------------------------------------------------------------------- /courses/ada_essentials/examples/ada2022/variadic/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/ada2022/variadic/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/examples/adv_075_primitives/dispatching/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/protected_objects/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/protected_objects/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/examples/protected_objects/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/examples/protected_objects_2/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/protected_objects_lock_free/extracts/protected_objects.lock_free_declare.ads: -------------------------------------------------------------------------------- 1 | protected Object 2 | with Lock_Free is 3 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/protected_objects_lock_free/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/select_non_blocking_entry_and_call/extracts/main_no_send_message.adb: -------------------------------------------------------------------------------- 1 | T.Start; 2 | T.Stop; 3 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/select_non_blocking_entry_and_call/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/select_requeue_issue/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/examples/task_select_multiple_or/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/README.md -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/.gitignore: -------------------------------------------------------------------------------- 1 | pkg 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/cinema/README.md -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/cinema/build.sh -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/logs/logs.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/cinema/logs/logs.adb -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/logs/logs.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/cinema/logs/logs.ads -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/mini_cinema.adc: -------------------------------------------------------------------------------- 1 | pragma Warnings (Off, "use [] instead"); 2 | -------------------------------------------------------------------------------- /courses/ada_essentials/mini_projects/cinema/package.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/mini_projects/cinema/package.sh -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/README.md -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/derivation_op_override/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/derivation_op_override/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/derivation_op_override/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/generic_subp_syntax/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/generic_subp_syntax/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/generic_subp_syntax/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/generic_subp_syntax/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/generic_subp_syntax/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/genericity_limited_type/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/genericity_type_and_variable/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/incomplete_type/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/incomplete_type/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/incomplete_type/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/incomplete_type/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/incomplete_type/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_constructor_syntax/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_extended_return/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_operators/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_operators/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_operators/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_operators/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_operators/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_private/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_private/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_private/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_private/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_private/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_syntax/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_syntax/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_syntax/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/limited_syntax/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/limited_syntax/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/multiple_primitive/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/multiple_primitive/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/multiple_primitive/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/multiple_primitive/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/multiple_primitive/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/mutable_with_array/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/mutable_with_array/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/mutable_with_array/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/mutable_with_array/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/mutable_with_array/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/operators_override_simple/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/primitives_and_classwide/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/privacy_completion/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/privacy_completion/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/privacy_completion/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/privacy_completion/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/privacy_completion/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/private_incomplete/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/private_incomplete/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/private_incomplete/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/private_incomplete/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/private_incomplete/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/quantified_expr_equality/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/quantified_expr_syntax/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/quantified_expr_syntax/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/quantified_expr_syntax/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/record_component_decl/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/record_component_decl/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/record_component_decl/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/record_component_decl/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/record_component_decl/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_dot_and_with/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_dot_and_with/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/tagged_dot_and_with/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_dot_and_with/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/tagged_dot_and_with/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_primitives/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_primitives/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/tagged_primitives/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/tagged_primitives/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/tagged_primitives/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/unconstrained_arrays_declaration/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/user_defined_character/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/user_defined_character/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/variant_record_assignment_wrong_discriminant/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/variant_record_decl/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/variant_record_decl/prj.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/variant_record_decl/prj.gpr -------------------------------------------------------------------------------- /courses/ada_essentials/quiz/variant_record_decl/quiz.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/quiz/variant_record_decl/quiz.rst -------------------------------------------------------------------------------- /courses/ada_essentials/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/ada_essentials/standard_course.txt -------------------------------------------------------------------------------- /courses/advanced_exception_analysis/course.toml: -------------------------------------------------------------------------------- 1 | name = "Advanced Exception Analysis" 2 | -------------------------------------------------------------------------------- /courses/advanced_exception_analysis/examples/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/advanced_exception_analysis/examples/main.adb -------------------------------------------------------------------------------- /courses/advanced_exception_analysis/labs/source/file.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/advanced_exception_analysis/labs/source/file.txt -------------------------------------------------------------------------------- /courses/advanced_exception_analysis/labs/source/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnat_project_facility/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_project_facility/010_overview.rst -------------------------------------------------------------------------------- /courses/gnat_project_facility/030_project_properties.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_project_facility/030_project_properties.rst -------------------------------------------------------------------------------- /courses/gnat_project_facility/060_summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_project_facility/060_summary.rst -------------------------------------------------------------------------------- /courses/gnat_project_facility/course.toml: -------------------------------------------------------------------------------- 1 | name = "GNAT Project Facility" 2 | -------------------------------------------------------------------------------- /courses/gnat_project_facility/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_project_facility/standard_course.txt -------------------------------------------------------------------------------- /courses/gnat_studio/010_gnat_studio.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/010_gnat_studio.rst -------------------------------------------------------------------------------- /courses/gnat_studio/900_quickstart.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/900_quickstart.rst -------------------------------------------------------------------------------- /courses/gnat_studio/910_quickstart_navigate.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/910_quickstart_navigate.rst -------------------------------------------------------------------------------- /courses/gnat_studio/920_quickstart_debugging.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/920_quickstart_debugging.rst -------------------------------------------------------------------------------- /courses/gnat_studio/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/README.md -------------------------------------------------------------------------------- /courses/gnat_studio/course.toml: -------------------------------------------------------------------------------- 1 | name = "GNAT Studio" 2 | -------------------------------------------------------------------------------- /courses/gnat_studio/course.txt: -------------------------------------------------------------------------------- 1 | 010_gnat_studio.rst 2 | -------------------------------------------------------------------------------- /courses/gnat_studio/labs/010_gnat_studio.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/010_gnat_studio.lab.rst -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/except.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/except.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/input.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/input.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/input.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/input.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/screen_output.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/screen_output.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/screen_output.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/screen_output.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/sdc.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/sdc.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/sdc.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/sdc.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/stack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/stack.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/common/stack.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/common/stack.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/instructions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/instructions.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/instructions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/instructions.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/tokens.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/tokens.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/tokens.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/tokens.ads -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/values.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/values.adb -------------------------------------------------------------------------------- /courses/gnat_studio/labs/source/struct/values.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnat_studio/labs/source/struct/values.ads -------------------------------------------------------------------------------- /courses/gnatdas/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/010_overview.rst -------------------------------------------------------------------------------- /courses/gnatdas/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/README.md -------------------------------------------------------------------------------- /courses/gnatdas/course.toml: -------------------------------------------------------------------------------- 1 | name = "GNAT Dynamic Analysis Suite" 2 | -------------------------------------------------------------------------------- /courses/gnatdas/cover_010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/cover_010_overview.rst -------------------------------------------------------------------------------- /courses/gnatdas/cover_020_basic_workflow.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/cover_020_basic_workflow.rst -------------------------------------------------------------------------------- /courses/gnatdas/cover_030_advanced_topics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/cover_030_advanced_topics.rst -------------------------------------------------------------------------------- /courses/gnatdas/cover_040_gnatstudio.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/cover_040_gnatstudio.rst -------------------------------------------------------------------------------- /courses/gnatdas/examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/examples/README.md -------------------------------------------------------------------------------- /courses/gnatdas/examples/cover_coverage/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/examples/cover_coverage/default.gpr -------------------------------------------------------------------------------- /courses/gnatdas/examples/cover_coverage/src/examples.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/examples/cover_coverage/src/examples.adb -------------------------------------------------------------------------------- /courses/gnatdas/examples/cover_coverage/src/examples.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/examples/cover_coverage/src/examples.ads -------------------------------------------------------------------------------- /courses/gnatdas/examples/cover_coverage/src/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/examples/cover_coverage/src/main.adb -------------------------------------------------------------------------------- /courses/gnatdas/labs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/README.md -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_020_basic_workflow.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_020_basic_workflow.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_020_basic_workflow/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_020_basic_workflow/default.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_020_basic_workflow/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_020_basic_workflow/src/ops.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_020_basic_workflow/src/ops.adb -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_020_basic_workflow/src/ops.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_020_basic_workflow/src/ops.ads -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_030_advanced_topics.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_030_advanced_topics.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_030_advanced_topics/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_030_advanced_topics/README.md -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_030_advanced_topics/io/io.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_030_advanced_topics/io/io.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_030_advanced_topics/sdc/sdc.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_030_advanced_topics/sdc/sdc.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_040_gnatstudio.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_040_gnatstudio.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_040_gnatstudio/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_040_gnatstudio/default.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_040_gnatstudio/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_040_gnatstudio/src/ops.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_040_gnatstudio/src/ops.adb -------------------------------------------------------------------------------- /courses/gnatdas/labs/cover_040_gnatstudio/src/ops.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/cover_040_gnatstudio/src/ops.ads -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_020_usage.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage/answers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_020_usage/answers.txt -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_020_usage/default.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage/src/simple_stack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_020_usage/src/simple_stack.adb -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_020_usage/src/simple_stack.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_020_usage/src/simple_stack.ads -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_030_controlling_gnattest.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_030_controlling_gnattest.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_030_controlling_gnattest/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_040_advanced_testing.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_040_advanced_testing.lab.rst -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_040_advanced_testing/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/labs/test_040_advanced_testing/default.gpr -------------------------------------------------------------------------------- /courses/gnatdas/labs/test_040_advanced_testing/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatdas/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/standard_course.txt -------------------------------------------------------------------------------- /courses/gnatdas/test_010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/test_010_overview.rst -------------------------------------------------------------------------------- /courses/gnatdas/test_020_usage.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/test_020_usage.rst -------------------------------------------------------------------------------- /courses/gnatdas/test_030_controlling_gnattest.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/test_030_controlling_gnattest.rst -------------------------------------------------------------------------------- /courses/gnatdas/test_040_advanced_testing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatdas/test_040_advanced_testing.rst -------------------------------------------------------------------------------- /courses/gnatsas/010_course_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/010_course_overview.rst -------------------------------------------------------------------------------- /courses/gnatsas/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/README.md -------------------------------------------------------------------------------- /courses/gnatsas/check_010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/check_010_overview.rst -------------------------------------------------------------------------------- /courses/gnatsas/check_020_getting_started.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/check_020_getting_started.rst -------------------------------------------------------------------------------- /courses/gnatsas/check_030_predefined_rules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/check_030_predefined_rules.rst -------------------------------------------------------------------------------- /courses/gnatsas/check_040_lkql.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/check_040_lkql.rst -------------------------------------------------------------------------------- /courses/gnatsas/course.toml: -------------------------------------------------------------------------------- 1 | name = "GNAT Static Analysis Suite" 2 | -------------------------------------------------------------------------------- /courses/gnatsas/labs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/README.md -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_020_getting_started.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_020_getting_started.lab.rst -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_020_getting_started/simple.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_020_getting_started/simple.gpr -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_040_lkql.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_040_lkql.lab.rst -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_040_lkql/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_040_lkql/default.gpr -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/metric_010_overview.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/metric_010_overview.lab.rst -------------------------------------------------------------------------------- /courses/gnatsas/labs/metric_010_overview/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/metric_010_overview/default.gpr -------------------------------------------------------------------------------- /courses/gnatsas/labs/metric_010_overview/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/metric_010_overview/main.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/except.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/except.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/input.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/input.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/input.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/input.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/sdc.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/sdc.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/sdc.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/sdc.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/stack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/stack.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/common/stack.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/common/stack.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/input.txt: -------------------------------------------------------------------------------- 1 | 1 2 + print 2 | -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/obj/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/sdc.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/sdc.gpr -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/struct/tokens.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/struct/tokens.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/struct/tokens.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/struct/tokens.ads -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/struct/values.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/struct/values.adb -------------------------------------------------------------------------------- /courses/gnatsas/labs/sas_060_tutorial/struct/values.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/labs/sas_060_tutorial/struct/values.ads -------------------------------------------------------------------------------- /courses/gnatsas/metric_010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/metric_010_overview.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_010_introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_010_introduction.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_020_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_020_overview.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_030_analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_030_analysis.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_040_viewing_results.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_040_viewing_results.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_050_reviewing_messages.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_050_reviewing_messages.rst -------------------------------------------------------------------------------- /courses/gnatsas/sas_060_tutorial.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/sas_060_tutorial.rst -------------------------------------------------------------------------------- /courses/gnatsas/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/gnatsas/standard_course.txt -------------------------------------------------------------------------------- /courses/misc_tools/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/010_overview.rst -------------------------------------------------------------------------------- /courses/misc_tools/100_gnatstub.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/100_gnatstub.rst -------------------------------------------------------------------------------- /courses/misc_tools/200_gnatstack.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/200_gnatstack.rst -------------------------------------------------------------------------------- /courses/misc_tools/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/README.md -------------------------------------------------------------------------------- /courses/misc_tools/course.toml: -------------------------------------------------------------------------------- 1 | name = "Miscellaneous Tools" 2 | -------------------------------------------------------------------------------- /courses/misc_tools/labs/100_gnatstub/answer/math.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/100_gnatstub/answer/math.adb -------------------------------------------------------------------------------- /courses/misc_tools/labs/100_gnatstub/lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/100_gnatstub/lab.rst -------------------------------------------------------------------------------- /courses/misc_tools/labs/100_gnatstub/prompt/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/100_gnatstub/prompt/default.gpr -------------------------------------------------------------------------------- /courses/misc_tools/labs/100_gnatstub/prompt/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/100_gnatstub/prompt/main.adb -------------------------------------------------------------------------------- /courses/misc_tools/labs/100_gnatstub/prompt/math.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/100_gnatstub/prompt/math.ads -------------------------------------------------------------------------------- /courses/misc_tools/labs/200_gnatstack/lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/200_gnatstack/lab.rst -------------------------------------------------------------------------------- /courses/misc_tools/labs/200_gnatstack/simple/main_unit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/misc_tools/labs/200_gnatstack/simple/main_unit.adb -------------------------------------------------------------------------------- /courses/rust_essentials/010_introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/010_introduction.rst -------------------------------------------------------------------------------- /courses/rust_essentials/015_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/015_overview.rst -------------------------------------------------------------------------------- /courses/rust_essentials/015_overview/01_what_is_rust.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/015_overview/01_what_is_rust.rst -------------------------------------------------------------------------------- /courses/rust_essentials/015_overview/02_benefits.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/015_overview/02_benefits.rst -------------------------------------------------------------------------------- /courses/rust_essentials/015_overview/03_tooling.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/015_overview/03_tooling.rst -------------------------------------------------------------------------------- /courses/rust_essentials/020_hello_world.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/020_hello_world.rst -------------------------------------------------------------------------------- /courses/rust_essentials/020_hello_world/01_hello_world.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/020_hello_world/01_hello_world.rst -------------------------------------------------------------------------------- /courses/rust_essentials/020_hello_world/99_summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/020_hello_world/99_summary.rst -------------------------------------------------------------------------------- /courses/rust_essentials/030_types_and_values.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/030_types_and_values.rst -------------------------------------------------------------------------------- /courses/rust_essentials/030_types_and_values/03_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/030_types_and_values/03_types.rst -------------------------------------------------------------------------------- /courses/rust_essentials/030_types_and_values/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/030_types_and_values/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/040_control_flow_basics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/040_control_flow_basics.rst -------------------------------------------------------------------------------- /courses/rust_essentials/040_control_flow_basics/01_if.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/040_control_flow_basics/01_if.rst -------------------------------------------------------------------------------- /courses/rust_essentials/040_control_flow_basics/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/040_control_flow_basics/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/050_tuples_and_arrays.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/050_tuples_and_arrays.rst -------------------------------------------------------------------------------- /courses/rust_essentials/050_tuples_and_arrays/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/050_tuples_and_arrays/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/01_shared.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/01_shared.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/02_exclusive.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/02_exclusive.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/03_slices.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/03_slices.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/04_strings.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/04_strings.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/05_dangling.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/05_dangling.rst -------------------------------------------------------------------------------- /courses/rust_essentials/060_references/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/060_references/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/070_user_defined_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/070_user_defined_types.rst -------------------------------------------------------------------------------- /courses/rust_essentials/070_user_defined_types/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/070_user_defined_types/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/080_pattern_matching.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/080_pattern_matching.rst -------------------------------------------------------------------------------- /courses/rust_essentials/080_pattern_matching/01_match.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/080_pattern_matching/01_match.rst -------------------------------------------------------------------------------- /courses/rust_essentials/080_pattern_matching/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/080_pattern_matching/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/090_methods_and_traits.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/090_methods_and_traits.rst -------------------------------------------------------------------------------- /courses/rust_essentials/090_methods_and_traits/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/090_methods_and_traits/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/02_generic_data.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/02_generic_data.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/03_generic_traits.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/03_generic_traits.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/04_trait_bounds.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/04_trait_bounds.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/05_impl_trait.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/05_impl_trait.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/06_dyn_trait.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/06_dyn_trait.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/100_generics/src/100_generics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/100_generics/src/100_generics.rs -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/01_std.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/01_std.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/02_docs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/02_docs.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/03_option.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/03_option.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/04_result.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/04_result.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/05_string.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/05_string.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/06_vec.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/06_vec.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/07_hashmap.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/07_hashmap.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/110_std_types/src/110_std_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/110_std_types/src/110_std_types.rs -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/01_comparisons.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/01_comparisons.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/02_operators.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/02_operators.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/04_casting.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/04_casting.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/06_default.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/06_default.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/07_closures.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/07_closures.rst -------------------------------------------------------------------------------- /courses/rust_essentials/120_std_traits/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/120_std_traits/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/130_memory_management.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/130_memory_management.rst -------------------------------------------------------------------------------- /courses/rust_essentials/130_memory_management/04_move.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/130_memory_management/04_move.rst -------------------------------------------------------------------------------- /courses/rust_essentials/130_memory_management/05_clone.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/130_memory_management/05_clone.rst -------------------------------------------------------------------------------- /courses/rust_essentials/130_memory_management/07_drop.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/130_memory_management/07_drop.rst -------------------------------------------------------------------------------- /courses/rust_essentials/130_memory_management/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/130_memory_management/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/140_smart_pointers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/140_smart_pointers.rst -------------------------------------------------------------------------------- /courses/rust_essentials/140_smart_pointers/01_box.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/140_smart_pointers/01_box.rst -------------------------------------------------------------------------------- /courses/rust_essentials/140_smart_pointers/02_rc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/140_smart_pointers/02_rc.rst -------------------------------------------------------------------------------- /courses/rust_essentials/140_smart_pointers/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/140_smart_pointers/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing/01_shared.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing/01_shared.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing/02_borrowck.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing/02_borrowck.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing/03_examples.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing/03_examples.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/150_borrowing/src/150_borrowing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/150_borrowing/src/150_borrowing.rs -------------------------------------------------------------------------------- /courses/rust_essentials/160_lifetimes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/160_lifetimes.rst -------------------------------------------------------------------------------- /courses/rust_essentials/160_lifetimes/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/160_lifetimes/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/160_lifetimes/src/160_lifetimes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/160_lifetimes/src/160_lifetimes.rs -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators.rst -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators/01_motivation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators/01_motivation.rst -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators/02_iterator.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators/02_iterator.rst -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators/03_helpers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators/03_helpers.rst -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators/04_collect.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators/04_collect.rst -------------------------------------------------------------------------------- /courses/rust_essentials/170_iterators/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/170_iterators/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/01_modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/01_modules.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/02_filesystem.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/02_filesystem.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/03_visibility.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/03_visibility.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/04_encapsulation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/04_encapsulation.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/05_paths.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/05_paths.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/180_modules/src/180_modules.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/180_modules/src/180_modules.rs -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing.rst -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing/01_unit_tests.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing/01_unit_tests.rst -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing/02_other.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing/02_other.rst -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing/03_lints.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing/03_lints.rst -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/190_testing/src/190_testing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/190_testing/src/190_testing.rs -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/01_panics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/01_panics.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/02_result.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/02_result.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/03_try.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/03_try.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/05_error.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/05_error.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/07_anyhow.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/07_anyhow.rst -------------------------------------------------------------------------------- /courses/rust_essentials/200_error_handling/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/200_error_handling/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/210_unsafe_rust.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/210_unsafe_rust.rst -------------------------------------------------------------------------------- /courses/rust_essentials/210_unsafe_rust/01_unsafe.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/210_unsafe_rust/01_unsafe.rst -------------------------------------------------------------------------------- /courses/rust_essentials/210_unsafe_rust/04_unions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/210_unsafe_rust/04_unions.rst -------------------------------------------------------------------------------- /courses/rust_essentials/210_unsafe_rust/99_lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/210_unsafe_rust/99_lab.rst -------------------------------------------------------------------------------- /courses/rust_essentials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/README.md -------------------------------------------------------------------------------- /courses/rust_essentials/comprehensive_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/comprehensive_course.txt -------------------------------------------------------------------------------- /courses/rust_essentials/course.toml: -------------------------------------------------------------------------------- 1 | name = "Rust Essentials" 2 | -------------------------------------------------------------------------------- /courses/rust_essentials/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/rust_essentials/standard_course.txt -------------------------------------------------------------------------------- /courses/spark_essentials/010_course_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/010_course_overview.rst -------------------------------------------------------------------------------- /courses/spark_essentials/030_spark_language.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/030_spark_language.rst -------------------------------------------------------------------------------- /courses/spark_essentials/040_spark_tools.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/040_spark_tools.rst -------------------------------------------------------------------------------- /courses/spark_essentials/040_spark_tools/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/040_spark_tools/99-summary.rst -------------------------------------------------------------------------------- /courses/spark_essentials/050_flow_analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/050_flow_analysis.rst -------------------------------------------------------------------------------- /courses/spark_essentials/050_flow_analysis/lab/flow_analysis/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/050_flow_analysis/lab/flow_analysis/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/060_proof.rst -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/01-introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/060_proof/01-introduction.rst -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/02-proof.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/060_proof/02-proof.rst -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/88_proof.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/060_proof/88_proof.lab.rst -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/99-summary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/060_proof/99-summary.rst -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/lab/proof/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/060_proof/lab/proof/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/070_specification_language.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/070_specification_language.rst -------------------------------------------------------------------------------- /courses/spark_essentials/070_specification_language/lab/specification_language/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/070_specification_language/lab/specification_language/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/080_subprogram_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/080_subprogram_contracts.rst -------------------------------------------------------------------------------- /courses/spark_essentials/090_type_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/090_type_contracts.rst -------------------------------------------------------------------------------- /courses/spark_essentials/090_type_contracts/lab/type_contracts/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/090_type_contracts/lab/type_contracts/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/100_advanced_proof.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/100_advanced_proof.rst -------------------------------------------------------------------------------- /courses/spark_essentials/100_advanced_proof/03-loops.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/100_advanced_proof/03-loops.rst -------------------------------------------------------------------------------- /courses/spark_essentials/100_advanced_proof/lab/advanced_proof/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/100_advanced_proof/lab/advanced_proof/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/110_advanced_flow_analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/110_advanced_flow_analysis.rst -------------------------------------------------------------------------------- /courses/spark_essentials/110_advanced_flow_analysis/lab/advanced_flow_analysis/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/110_advanced_flow_analysis/lab/advanced_flow_analysis/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/120_pointer_programs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/120_pointer_programs.rst -------------------------------------------------------------------------------- /courses/spark_essentials/120_pointer_programs/lab/pointer_programs/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/120_pointer_programs/lab/pointer_programs/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/130_autoactive_proof.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/130_autoactive_proof.rst -------------------------------------------------------------------------------- /courses/spark_essentials/130_autoactive_proof/lab/autoactive_proof/answer/another_answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/130_autoactive_proof/lab/autoactive_proof/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/130_autoactive_proof/lab/autoactive_proof/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/140_state_abstraction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/140_state_abstraction.rst -------------------------------------------------------------------------------- /courses/spark_essentials/140_state_abstraction/lab/state_abstraction/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/140_state_abstraction/lab/state_abstraction/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/150_spark_boundary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/150_spark_boundary.rst -------------------------------------------------------------------------------- /courses/spark_essentials/150_spark_boundary/lab/spark_boundary/answer/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/150_spark_boundary/lab/spark_boundary/prompt/config.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/990_spark_example_project.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/990_spark_example_project.rst -------------------------------------------------------------------------------- /courses/spark_essentials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/README.md -------------------------------------------------------------------------------- /courses/spark_essentials/course.toml: -------------------------------------------------------------------------------- 1 | name = "SPARK" 2 | -------------------------------------------------------------------------------- /courses/spark_essentials/labs/source/gpr_project_path.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/labs/source/gpr_project_path.sh -------------------------------------------------------------------------------- /courses/spark_essentials/standard_course.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/spark_essentials/standard_course.txt -------------------------------------------------------------------------------- /courses/static_analysis_via_compiler/course.toml: -------------------------------------------------------------------------------- 1 | name = "Static Analysis Via Compiler" 2 | -------------------------------------------------------------------------------- /courses/toolchain/course.toml: -------------------------------------------------------------------------------- 1 | name = "GNAT Toolchain" 2 | -------------------------------------------------------------------------------- /courses/toolchain/elaboration.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/elaboration.rst -------------------------------------------------------------------------------- /courses/toolchain/examples/elaboration/elaboration.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/examples/elaboration/elaboration.rst -------------------------------------------------------------------------------- /courses/toolchain/gnat_options.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/gnat_options.rst -------------------------------------------------------------------------------- /courses/toolchain/gnat_toolchain.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/gnat_toolchain.txt -------------------------------------------------------------------------------- /courses/toolchain/gpr_basics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/gpr_basics.rst -------------------------------------------------------------------------------- /courses/toolchain/labs/answers/elaboration.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/answers/elaboration.txt -------------------------------------------------------------------------------- /courses/toolchain/labs/elaboration.lab.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/elaboration.lab.rst -------------------------------------------------------------------------------- /courses/toolchain/labs/prompts/elaboration/constants.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/prompts/elaboration/constants.ads -------------------------------------------------------------------------------- /courses/toolchain/labs/prompts/elaboration/datastore.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/prompts/elaboration/datastore.adb -------------------------------------------------------------------------------- /courses/toolchain/labs/prompts/elaboration/datastore.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/prompts/elaboration/datastore.ads -------------------------------------------------------------------------------- /courses/toolchain/labs/prompts/elaboration/default.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/prompts/elaboration/default.gpr -------------------------------------------------------------------------------- /courses/toolchain/labs/prompts/elaboration/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/courses/toolchain/labs/prompts/elaboration/main.adb -------------------------------------------------------------------------------- /images/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/README.md -------------------------------------------------------------------------------- /images/ada_vs_spark_venn.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/ada_vs_spark_venn.png -------------------------------------------------------------------------------- /images/advanced_exception_analysis/properties_dialog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/advanced_exception_analysis/properties_dialog.jpg -------------------------------------------------------------------------------- /images/airbag_exception_handler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/airbag_exception_handler.png -------------------------------------------------------------------------------- /images/annotated_assembly_statement.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/annotated_assembly_statement.png -------------------------------------------------------------------------------- /images/array_diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/array_diagram.svg -------------------------------------------------------------------------------- /images/barnes_2012_cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/barnes_2012_cover.png -------------------------------------------------------------------------------- /images/black_box_flow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/black_box_flow.svg -------------------------------------------------------------------------------- /images/block_scope_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/block_scope_example.svg -------------------------------------------------------------------------------- /images/blue_line.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/blue_line.png -------------------------------------------------------------------------------- /images/circular_dependencies.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/circular_dependencies.svg -------------------------------------------------------------------------------- /images/compile_and_build_buttons.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/compile_and_build_buttons.jpg -------------------------------------------------------------------------------- /images/comprehensive_rust_training/copy_assignment_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/comprehensive_rust_training/copy_assignment_2.svg -------------------------------------------------------------------------------- /images/comprehensive_rust_training/move_semantics_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/comprehensive_rust_training/move_semantics_2.svg -------------------------------------------------------------------------------- /images/connected_cubes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/connected_cubes.png -------------------------------------------------------------------------------- /images/control_flow_graph.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/control_flow_graph.svg -------------------------------------------------------------------------------- /images/controlled_gl_object.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/controlled_gl_object.svg -------------------------------------------------------------------------------- /images/fortify_analyze_prove_cycle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/fortify_analyze_prove_cycle.png -------------------------------------------------------------------------------- /images/github/artifacts_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/github/artifacts_1.png -------------------------------------------------------------------------------- /images/github/artifacts_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/github/artifacts_2.png -------------------------------------------------------------------------------- /images/github/artifacts_3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/github/artifacts_3.png -------------------------------------------------------------------------------- /images/gnat_studio/after_using_wrench.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/after_using_wrench.jpg -------------------------------------------------------------------------------- /images/gnat_studio/build_error.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/build_error.jpg -------------------------------------------------------------------------------- /images/gnat_studio/build_main_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/build_main_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/build_multiple_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/build_multiple_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/build_project_main_menu.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/build_project_main_menu.jpg -------------------------------------------------------------------------------- /images/gnat_studio/build_switches_dialog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/build_switches_dialog.jpg -------------------------------------------------------------------------------- /images/gnat_studio/call_trees.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/call_trees.png -------------------------------------------------------------------------------- /images/gnat_studio/clean_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/clean_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/commits_view_add_commit.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/commits_view_add_commit.svg -------------------------------------------------------------------------------- /images/gnat_studio/completion_examples_for_packages.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/completion_examples_for_packages.jpg -------------------------------------------------------------------------------- /images/gnat_studio/completion_formal_parameters.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/completion_formal_parameters.jpg -------------------------------------------------------------------------------- /images/gnat_studio/completion_proposals_filtered.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/completion_proposals_filtered.jpg -------------------------------------------------------------------------------- /images/gnat_studio/debug_active_perspective.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/debug_active_perspective.jpg -------------------------------------------------------------------------------- /images/gnat_studio/debug_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/debug_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/debug_perspective.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/debug_perspective.jpg -------------------------------------------------------------------------------- /images/gnat_studio/debug_task_view.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/debug_task_view.jpg -------------------------------------------------------------------------------- /images/gnat_studio/debug_toolbar.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/debug_toolbar.jpg -------------------------------------------------------------------------------- /images/gnat_studio/editor_contextual_menu.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/editor_contextual_menu.jpg -------------------------------------------------------------------------------- /images/gnat_studio/fix_missing_semi.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/fix_missing_semi.jpg -------------------------------------------------------------------------------- /images/gnat_studio/git_3_states.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/git_3_states.png -------------------------------------------------------------------------------- /images/gnat_studio/help_gnat_runtime.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/help_gnat_runtime.jpg -------------------------------------------------------------------------------- /images/gnat_studio/help_menu_cascade.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/help_menu_cascade.jpg -------------------------------------------------------------------------------- /images/gnat_studio/internal_run_window.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/internal_run_window.jpg -------------------------------------------------------------------------------- /images/gnat_studio/lab_breakpoint_editor.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/lab_breakpoint_editor.jpg -------------------------------------------------------------------------------- /images/gnat_studio/line_block_delimiter_highlighting.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/line_block_delimiter_highlighting.jpg -------------------------------------------------------------------------------- /images/gnat_studio/location_windows_wrench.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/location_windows_wrench.jpg -------------------------------------------------------------------------------- /images/gnat_studio/outline_view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/outline_view.png -------------------------------------------------------------------------------- /images/gnat_studio/project_perspective.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/project_perspective.jpg -------------------------------------------------------------------------------- /images/gnat_studio/quickstart/debug-data_hover.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/quickstart/debug-data_hover.jpg -------------------------------------------------------------------------------- /images/gnat_studio/quickstart/debug-data_view.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/quickstart/debug-data_view.jpg -------------------------------------------------------------------------------- /images/gnat_studio/quickstart/getting_started-main.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/quickstart/getting_started-main.jpg -------------------------------------------------------------------------------- /images/gnat_studio/quickstart/navigation-declaration.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/quickstart/navigation-declaration.jpg -------------------------------------------------------------------------------- /images/gnat_studio/quickstart/navigation-references.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/quickstart/navigation-references.jpg -------------------------------------------------------------------------------- /images/gnat_studio/run_main_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/run_main_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/run_multiple_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/run_multiple_icon.jpg -------------------------------------------------------------------------------- /images/gnat_studio/run_the_program.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/run_the_program.jpg -------------------------------------------------------------------------------- /images/gnat_studio/start_from_file_explorer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/start_from_file_explorer.png -------------------------------------------------------------------------------- /images/gnat_studio/syntax_highlighting.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/syntax_highlighting.jpg -------------------------------------------------------------------------------- /images/gnat_studio/tooltip_example.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/tooltip_example.jpg -------------------------------------------------------------------------------- /images/gnat_studio/users_guides_and_examples.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/users_guides_and_examples.jpg -------------------------------------------------------------------------------- /images/gnat_studio/vcs_actions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/vcs_actions.png -------------------------------------------------------------------------------- /images/gnat_studio/vcs_diff.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/vcs_diff.png -------------------------------------------------------------------------------- /images/gnat_studio/vcs_staging.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/vcs_staging.png -------------------------------------------------------------------------------- /images/gnat_studio/vcs_staging_showing_changes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/vcs_staging_showing_changes.png -------------------------------------------------------------------------------- /images/gnat_studio/welcome_dialog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/welcome_dialog.jpg -------------------------------------------------------------------------------- /images/gnat_studio/welcome_to_gnat_studio.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnat_studio/welcome_to_gnat_studio.jpg -------------------------------------------------------------------------------- /images/gnatcheck/Thumbs.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/Thumbs.db -------------------------------------------------------------------------------- /images/gnatcheck/do178_table_a5.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/do178_table_a5.jpg -------------------------------------------------------------------------------- /images/gnatcheck/gnatstudio_menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/gnatstudio_menu.png -------------------------------------------------------------------------------- /images/gnatcheck/gnatstudio_rightclick_directory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/gnatstudio_rightclick_directory.png -------------------------------------------------------------------------------- /images/gnatcheck/gnatstudio_rightclick_editor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/gnatstudio_rightclick_editor.png -------------------------------------------------------------------------------- /images/gnatcheck/gnatstudio_rightclick_file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/gnatstudio_rightclick_file.png -------------------------------------------------------------------------------- /images/gnatcheck/gnatstudio_rightclick_project.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/gnatstudio_rightclick_project.png -------------------------------------------------------------------------------- /images/gnatcheck/properties_dialog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/properties_dialog.png -------------------------------------------------------------------------------- /images/gnatcheck/results_in_gnatstudio.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatcheck/results_in_gnatstudio.png -------------------------------------------------------------------------------- /images/gnatdas/cover_decision.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_decision.png -------------------------------------------------------------------------------- /images/gnatdas/cover_icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_icon.png -------------------------------------------------------------------------------- /images/gnatdas/cover_mcdc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_mcdc.png -------------------------------------------------------------------------------- /images/gnatdas/cover_mcdc_expanded.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_mcdc_expanded.png -------------------------------------------------------------------------------- /images/gnatdas/cover_menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_menu.png -------------------------------------------------------------------------------- /images/gnatdas/cover_multiple_projects.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_multiple_projects.png -------------------------------------------------------------------------------- /images/gnatdas/cover_properties_dialog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_properties_dialog.png -------------------------------------------------------------------------------- /images/gnatdas/cover_statement.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/cover_statement.png -------------------------------------------------------------------------------- /images/gnatdas/coverage_report.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/coverage_report.png -------------------------------------------------------------------------------- /images/gnatdas/coverage_report_expanded.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/coverage_report_expanded.png -------------------------------------------------------------------------------- /images/gnatdas/coverage_select_entity.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/coverage_select_entity.png -------------------------------------------------------------------------------- /images/gnatdas/test_what_can_be_automated.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatdas/test_what_can_be_automated.jpg -------------------------------------------------------------------------------- /images/gnatmetric/execute_dialog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatmetric/execute_dialog.jpg -------------------------------------------------------------------------------- /images/gnatmetric/menu_cascade.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatmetric/menu_cascade.jpg -------------------------------------------------------------------------------- /images/gnatprove-output-file.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatprove-output-file.jpeg -------------------------------------------------------------------------------- /images/gnatprove-output-ide.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatprove-output-ide.jpeg -------------------------------------------------------------------------------- /images/gnatprove-output-options.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatprove-output-options.png -------------------------------------------------------------------------------- /images/gnatsas/sas_annotation_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_annotation_example.png -------------------------------------------------------------------------------- /images/gnatsas/sas_custom_statuses.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_custom_statuses.png -------------------------------------------------------------------------------- /images/gnatsas/sas_lab_removed_messages.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_lab_removed_messages.png -------------------------------------------------------------------------------- /images/gnatsas/sas_lab_report.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_lab_report.png -------------------------------------------------------------------------------- /images/gnatsas/sas_lab_tokens_line_26.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_lab_tokens_line_26.png -------------------------------------------------------------------------------- /images/gnatsas/sas_manual_review.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_manual_review.png -------------------------------------------------------------------------------- /images/gnatsas/sas_manual_review_custom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_manual_review_custom.png -------------------------------------------------------------------------------- /images/gnatsas/sas_report.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_report.png -------------------------------------------------------------------------------- /images/gnatsas/sas_report_annotated.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_report_annotated.png -------------------------------------------------------------------------------- /images/gnatsas/sas_review_actions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatsas/sas_review_actions.png -------------------------------------------------------------------------------- /images/gnatstudio-help-gnat.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatstudio-help-gnat.jpeg -------------------------------------------------------------------------------- /images/gnatstudio-look_and_feel.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatstudio-look_and_feel.png -------------------------------------------------------------------------------- /images/gnatstudio-preferences-spark.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/gnatstudio-preferences-spark.jpeg -------------------------------------------------------------------------------- /images/hello_world_0.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_0.svg -------------------------------------------------------------------------------- /images/hello_world_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_1.svg -------------------------------------------------------------------------------- /images/hello_world_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_2.svg -------------------------------------------------------------------------------- /images/hello_world_3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_3.svg -------------------------------------------------------------------------------- /images/hello_world_4.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_4.svg -------------------------------------------------------------------------------- /images/hello_world_5.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_5.svg -------------------------------------------------------------------------------- /images/hello_world_6.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hello_world_6.svg -------------------------------------------------------------------------------- /images/hierarchical_library_units.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hierarchical_library_units.png -------------------------------------------------------------------------------- /images/hierarchical_visibility_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hierarchical_visibility_1.svg -------------------------------------------------------------------------------- /images/hierarchical_visibility_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hierarchical_visibility_2.svg -------------------------------------------------------------------------------- /images/hierarchical_visibility_3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hierarchical_visibility_3.svg -------------------------------------------------------------------------------- /images/hierarchical_visibility_4.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/hierarchical_visibility_4.svg -------------------------------------------------------------------------------- /images/identifier_flow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/identifier_flow.svg -------------------------------------------------------------------------------- /images/identifiers_vs_names_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/identifiers_vs_names_1.svg -------------------------------------------------------------------------------- /images/identifiers_vs_names_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/identifiers_vs_names_2.svg -------------------------------------------------------------------------------- /images/interface_vs_implementation.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/interface_vs_implementation.svg -------------------------------------------------------------------------------- /images/items_on_stack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/items_on_stack.svg -------------------------------------------------------------------------------- /images/lightbulb.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/lightbulb.pdf -------------------------------------------------------------------------------- /images/lightbulb.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/lightbulb.svg -------------------------------------------------------------------------------- /images/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/logo.png -------------------------------------------------------------------------------- /images/loop_invariants.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/loop_invariants.png -------------------------------------------------------------------------------- /images/loop_invariants_placement.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/loop_invariants_placement.png -------------------------------------------------------------------------------- /images/mark_twain.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/mark_twain.jpeg -------------------------------------------------------------------------------- /images/mini_projects/cinema/mini_cinema.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/mini_projects/cinema/mini_cinema.png -------------------------------------------------------------------------------- /images/mini_projects/cinema/static_image_display.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/mini_projects/cinema/static_image_display.png -------------------------------------------------------------------------------- /images/mini_projects/cinema/ut_success.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/mini_projects/cinema/ut_success.png -------------------------------------------------------------------------------- /images/mutual_dependencies.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/mutual_dependencies.svg -------------------------------------------------------------------------------- /images/note.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/note.pdf -------------------------------------------------------------------------------- /images/packages_hiding_global_data.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/packages_hiding_global_data.svg -------------------------------------------------------------------------------- /images/pre_and_post_insertion_flow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/pre_and_post_insertion_flow.svg -------------------------------------------------------------------------------- /images/prove_dialog-advanced.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/prove_dialog-advanced.png -------------------------------------------------------------------------------- /images/prove_dialog-basic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/prove_dialog-basic.png -------------------------------------------------------------------------------- /images/ravenscar_ceiling_locking.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/ravenscar_ceiling_locking.png -------------------------------------------------------------------------------- /images/record_packing_examples.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/record_packing_examples.svg -------------------------------------------------------------------------------- /images/relative_cost_to_fix_bugs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/relative_cost_to_fix_bugs.svg -------------------------------------------------------------------------------- /images/software_assurance_levels.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/software_assurance_levels.png -------------------------------------------------------------------------------- /images/spark_menu-explanations.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/spark_menu-explanations.png -------------------------------------------------------------------------------- /images/spark_rightclick-code.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/spark_rightclick-code.jpeg -------------------------------------------------------------------------------- /images/spark_rightclick-source_tree.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/spark_rightclick-source_tree.jpeg -------------------------------------------------------------------------------- /images/spark_structure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/spark_structure.png -------------------------------------------------------------------------------- /images/stack_pointing_to_heap.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/stack_pointing_to_heap.svg -------------------------------------------------------------------------------- /images/subprograms_accessing_global.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/subprograms_accessing_global.svg -------------------------------------------------------------------------------- /images/title_background.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/title_background.pdf -------------------------------------------------------------------------------- /images/type_invariant_check_flow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/type_invariant_check_flow.svg -------------------------------------------------------------------------------- /images/types_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/types_tree.png -------------------------------------------------------------------------------- /images/types_tree_complete.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/types_tree_complete.svg -------------------------------------------------------------------------------- /images/use_clause_comparison.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/use_clause_comparison.svg -------------------------------------------------------------------------------- /images/vscode_set_project.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/vscode_set_project.jpg -------------------------------------------------------------------------------- /images/warning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/images/warning.pdf -------------------------------------------------------------------------------- /marketing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/README.md -------------------------------------------------------------------------------- /marketing/ada_4_hours/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/010_overview.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/020_declarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/020_declarations.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/030_scalar_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/030_scalar_types.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/040_statements.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/040_statements.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/050_array_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/050_array_types.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/060_record_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/060_record_types.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/070_subprograms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/070_subprograms.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/100_packages.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/100_packages.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/110_private_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/110_private_types.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/130_program_structure.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/130_program_structure.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/140_access_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/140_access_types.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/160_genericity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/160_genericity.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/170_tagged_derivation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/170_tagged_derivation.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/180_polymorphism.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/180_polymorphism.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/230_interfacing_with_c.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/230_interfacing_with_c.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/240_tasking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/240_tasking.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/270_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/270_contracts.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/280_low_level_programming.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/280_low_level_programming.rst -------------------------------------------------------------------------------- /marketing/ada_4_hours/course.toml: -------------------------------------------------------------------------------- 1 | name = "Half-Day Ada Overview" 2 | -------------------------------------------------------------------------------- /marketing/ada_4_hours/overview.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_4_hours/overview.txt -------------------------------------------------------------------------------- /marketing/ada_8_hours/010_overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/010_overview.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/020_declarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/020_declarations.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/030_scalar_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/030_scalar_types.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/040_statements.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/040_statements.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/050_array_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/050_array_types.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/060_record_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/060_record_types.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/070_subprograms.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/070_subprograms.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/095_library_units.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/095_library_units.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/100_packages.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/100_packages.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/110_private_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/110_private_types.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/130_program_structure.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/130_program_structure.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/135_visibility.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/135_visibility.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/140_access_types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/140_access_types.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/170_tagged_derivation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/170_tagged_derivation.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/180_polymorphism.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/180_polymorphism.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/230_interfacing_with_c.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/230_interfacing_with_c.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/240_tasking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/240_tasking.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/adv_280_low_level_programming.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/adv_280_low_level_programming.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/course.toml: -------------------------------------------------------------------------------- 1 | name = "One Day Ada Overview" 2 | -------------------------------------------------------------------------------- /marketing/ada_8_hours/intro_160_genericity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/intro_160_genericity.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/intro_270_contracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/intro_270_contracts.rst -------------------------------------------------------------------------------- /marketing/ada_8_hours/overview.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/marketing/ada_8_hours/overview.txt -------------------------------------------------------------------------------- /pandoc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/README.md -------------------------------------------------------------------------------- /pandoc/beamer_filter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/beamer_filter.py -------------------------------------------------------------------------------- /pandoc/beamer_filter.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/beamer_filter.rst -------------------------------------------------------------------------------- /pandoc/bnf.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/bnf.xml -------------------------------------------------------------------------------- /pandoc/default_lab_docs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/default_lab_docs.yaml -------------------------------------------------------------------------------- /pandoc/lab_docs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/lab_docs.py -------------------------------------------------------------------------------- /pandoc/pandoc_fe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/pandoc_fe.py -------------------------------------------------------------------------------- /pandoc/parse_pandoc_defaults.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/parse_pandoc_defaults.py -------------------------------------------------------------------------------- /pandoc/rst_indentation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/rst_indentation.py -------------------------------------------------------------------------------- /pandoc/snippet_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/snippet_parser.py -------------------------------------------------------------------------------- /pandoc/test/svg/Test.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/svg/Test.svg -------------------------------------------------------------------------------- /pandoc/test/svg/input.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/svg/input.rst -------------------------------------------------------------------------------- /pandoc/test/svg/output.lines: -------------------------------------------------------------------------------- 1 | \includegraphics{Test.svg} 2 | -------------------------------------------------------------------------------- /pandoc/test/svg/test_include_svg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/svg/test_include_svg.py -------------------------------------------------------------------------------- /pandoc/test/wrong_tick/input.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/wrong_tick/input.rst -------------------------------------------------------------------------------- /pandoc/test/wrong_tick/output.lines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/wrong_tick/output.lines -------------------------------------------------------------------------------- /pandoc/test/wrong_tick/test_wrong_tick.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/test/wrong_tick/test_wrong_tick.py -------------------------------------------------------------------------------- /pandoc/title_data.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/pandoc/title_data.txt -------------------------------------------------------------------------------- /style_guide.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/style_guide.rst -------------------------------------------------------------------------------- /support_files/AdaCore.potx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/AdaCore.potx -------------------------------------------------------------------------------- /support_files/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/README.md -------------------------------------------------------------------------------- /support_files/beamercolorthemeadacore.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/beamercolorthemeadacore.sty -------------------------------------------------------------------------------- /support_files/beamerthemeadacore.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/beamerthemeadacore.sty -------------------------------------------------------------------------------- /support_files/build_labs_folder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/build_labs_folder.py -------------------------------------------------------------------------------- /support_files/generate_course.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/generate_course.py -------------------------------------------------------------------------------- /support_files/language_version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/language_version.py -------------------------------------------------------------------------------- /support_files/note-blocks.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/note-blocks.sty -------------------------------------------------------------------------------- /support_files/prelude.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/prelude.rst -------------------------------------------------------------------------------- /support_files/syllabus.dotm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/syllabus.dotm -------------------------------------------------------------------------------- /support_files/syllabus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/syllabus.py -------------------------------------------------------------------------------- /support_files/templates/adacore.latex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/training_material/HEAD/support_files/templates/adacore.latex --------------------------------------------------------------------------------