Commit Graph

Select branches

Hide Pull Requests

030_type_typo

060_record_types_updates

140_lab_solar_typo

18-remove-radar-and-solar-system-labs

34-ci-failure-on-latest-merge

CI/quiz_update

ada_advanced_course

adacut_quiz

adv_060_discriminated_records

all_labs_compile

black

black_python

build/115-2024-05-27-issues-and-typos

build/159-all-is-are-instances-should-have-a-space

build/lab-env-profile-cleanup

build/low_level_no_asm

build/pandoc_fe-cleanup

build/quiz-improve-readme

build/review_run_slides-no_watch

build/run-all-push

build/switch-github-to-adacore-ecr

build/update_actions

build/visibility-use-all-type-makes-enumerals-directly-visible

ci/prebuilt_pandoc

course_list_comments

experimental/svg

experimental/svg_22.04

fix/access_depth

fix/labs_sdl

glab_master

gnat_shift_rotate_intrinsics

gprbuild_fix_labs_include

intro_genericity

labs/radar_remove_if_expr

master

mini_projects

mr/112-add-gnatyr-to_spark_labs

mr/112-add-gnatyr-warning-to-all-labs-code

mr/112-run_gnatformat_on_ada_labs

mr/127-create-an-introduction-to-polymorphism-rst

mr/167-step_1_create_script_to_read_provides_section

mr/181-better_use_of_name_and_identifier

mr/197-use-system-provided-adacut

mr/205-create_copyright_insertion_script

mr/228-bnf_conversion_part_4

mr/228-bnf_coversion_part_5

mr/228-conversion_part_3

mr/228-convert-syntax-code-blocks-part-1

mr/228-convert-syntax-code-blocks-part-2

mr/229-create-script-to-auto-generate-syllabus-for-a-training-course

mr/231-refactor-usage-of-simplified-for-syntax

mr/232-add-explanations-to-quizzes-part-1

mr/233-access-types-design-slide-apply-fix-for-containers

mr/245-create-a-style-guide-for-rst-file-content

mr/246-convert-control_flow_graph-jpg-to-svg

mr/256-convert-subprograms_accessing_global-png

mr/257-convert-stack_pointing_to_heap-png

mr/258-convert-packages_hiding_global_data-png

mr/259-convert-items_on_stack-png

mr/261-convert-identifier_flow-png

mr/262-convert-block_scope_example-jpeg

mr/264-script-to-simplify-pdf-and-docx-generation

mr/266-2025-06-23-spark-training-issues

mr/267-convert-fundamentals_of_ada

mr/267-convert-fundamentals_of_ada_folder_name

mr/268-make-more-clear-that-it-s-ada-and-not-ada

mr/269-refine-slide-bullet-points-in-overview-big-picture

mr/270-remove-tagged-reference-in-slide-to-simplify-understanding

mr/271-add-examples-to-understand-better-the-difference-for-name-vs-identifier

mr/272-refine-slide-variant-records-for-better-readability

mr/273-refine-explanations-for-answer-in-record-types-aggregates-quizz

mr/274-refine-explanations-for-answer-in-array-types-aggregates-quizz

mr/275-refine-slide-in-statements-introduction

mr/277-modify-confusing-slide-title-for-predefined-types

mr/278-modify-and-refine-slide-in-basic-types-for-overall-comprehension

mr/279-illustrate-bullet-points-for-discrete-numeric-types

mr/280-make-the-predefined-declarations-slide-more-clear

mr/283-move-the-scope-and-visibility-slide

mr/286-create-a-separate-chapter-for-attributes

mr/290-refactor-the-aspects-chapter

mr/291-enhance-the-details-in-the-materials-readme-about-building-the-slides-locally

mr/295-move-gnatsas-lab-content-to-appropriate-module

mr/295-move-lab-answers-to-appropriate-module

mr/295-move-lab-instructions-to-appropriate-module

mr/295-move-lab-prompts-to-appropriate-folder

mr/295-move-lab-prompts-to-appropriate-module

mr/295-move-spark_lab-content-to-appropriate-module

mr/295-tool-to_create_labs_folder

mr/296-improve-source_include-processing-in-beamer_filter

mr/301-create_addendum

mr/302-remove-3-core-language-description-slides

mr/305-update-rust-course-content-based-on-latest-google-version

mr/306-delete-current-content-of-rust-essentials-folder-and-move-comprehensive-rust-content-into-it

mr/307-create-user-s-guide-for-beamer_filter-py

mr/307-update_beamer_filter

mr/308-remove-superfluous-wording-from-roundtable-intro-slide

mr/309-create-a-type-model-module

mr/31-update_style_guide_for_code_snippet_names

mr/310-make-type-references-more-generic

mr/310-move-slides-to-different-modules

mr/310-refactor-the-declarations-module

mr/310-refactor-the-declarations-move-identifed-slides

mr/310-rephrase-some-slides

mr/311-simplify-pandoc_fe-py-to-allow-for-relative-paths-for-parameters

mr/312-refactor-the-basic-types-module

mr/313-move-scalar-types-intro-slide-into-recap

mr/314-type-contracts-lab-utilizes-exception_information-even-though-the-exceptions-lab-did-not

mr/317-PoC-goals-review-module-structure

mr/319-unify-standard-course-and-pat-content

mr/320-new_hello_world_module

mr/321-discrete-types-slide-is-confusing

mr/322-statements-lab-remove-console-input

mr/322-update-statements-lab-to-remove-console-input

mr/323-update-record-types-lab-to-remove-console-input

mr/324-update-discriminated-records-lab-to-remove-console-input

mr/325-rename_expressions_lab

mr/325-update-both-expressions-labs-to-remove-console-input

mr/326-update-overloading-lab-to-remove-console-input

mr/327-update-packages-lab-to-remove-console-input

mr/328-update-private-types-lab-to-remove-console-input

mr/329-update-access-types-lab-to-remove-console-input

mr/330-update-exceptions-lab-to-remove-console-input

mr/331-update-tasking-lab-to-remove-console-input

mr/332-remove-console-input-from-low-level-programming-lab

mr/332-update-low-level-programming-lab-to-remove-console-input

mr/333-rename-basic-types-to-scalar-types

mr/335-generate-bnf-source-file

mr/339-standard_course-txt-should-have-no-module-versions-with-hyphens

mr/340-remove-hello-world-stuff-from-overview-module

mr/341-adding-standard_course-txt-to-gnatsas-and-gnatdas-modules

mr/347-pandoc_fe-py-needs-a-better-title-when-building-gnatsas-and-gnatdas-standard-course

mr/349-bad-scripts-uploaded-to-master

mr/352-convert-black_box_flow-png-to-svg

mr/353-rename-tagged-derivation-labs-step-1

mr/353-rename-tagged-derivation-labs=step-2

mr/354-convert-relative_cost_to_fix_bugs-jpg-to-svg

mr/355-chapters-in-standard-modules-should-not-have-hyphens

mr/356-fix_rst_indentation_issues

mr/356-support-background-colors-for-code-blocks

mr/357-remove-provides-and-requires-sections-from-prelude

mr/359-convert-record_packing_examples-png-to-svg

mr/360-convert-use_clause_comparison-png-to-svg

mr/361-convert-cyclic_dependencies-png-to-svg

mr/363-allow-code-blocks-to-specify-attributes

mr/363-code_blocks_should_not_be_block_quotes

mr/364-use-code-block-attribute-to-specify-font-size

mr/367-convert-hierarchical_visibility-png-to-svg

mr/368-update-colors-to-match-new-brand-guidelines

mr/369-look-at-brand-guidelines-and-brand-visions-to-update-our-slides

mr/369-update_slide_styles_and_colors

mr/370-revamp-access-types-module

mr/371-create-general-access-types-module

mr/372-create-storage-pools-module

mr/374-overhaul-tasking-module

mr/375-remove-all-access-all-where-not-needed

mr/376-feature-better-look-and-feel-to-course-material

mr/377-apply-internal-training-learnings-improvements-to-scalar-types-module

mr/378-rust-intro-rework

mr/379-rework-rust-hello-world

mr/380-rework-rust-essentials-module-types-and-values

mr/381-rework-rust-essentials-module-control-flow-basic

mr/381-rework-rust-essentials-module-control-flow-basics

mr/382-rework-rust-essentials-module-tuples-and-arrays

mr/383-rework-rust-essentials-module-references

mr/384-rework-rust-essentials-module-user-defined-types

mr/385-rework-pattern-matching

mr/386-rework-rust-essentials-module-methods-and-traits

mr/387-rework-rust-essentials-module-generics

mr/388-rework-rust-essentials-module-std-types

mr/389-rework-rust-essentials-module-std-traits

mr/390-rework-rust-essentials-module-memory-management

mr/391-rework-rust-essentials-module-smart-pointers

mr/393-rework-rust-essentials-module-lifetimes

mr/397-feature-overhaul-of-access-types-modules

mr/397-overhaul-of-access-types-modules

mr/398-create-role-for-tool-error-messages

mr/400-apply-internal-training-learnings-improvements-to-statements-module

mr/401-apply-internal-training-learnings-improvements-to-subprograms-module

mr/402-rework-ada-essentials-array-module

mr/403-rework-record-module

mr/404-apply-internal-training-learnings-improvements-to-expressions-module

mr/405-apply-internal-training-learnings-improvements-to-private-types-module

mr/407-apply-internal-training-learnings-improvements-to-interfacing-with-c-module

mr/408-improvements-to-tagged-derivation-module

mr/409-rework-ada-essentials-module-visibility

mr/410-rework-package-module

mr/411-rework-subprogram-contracts-module

mr/412-no-formatting-in-slide-titles

mr/413-apply-internal-training-learnings-improvements-to-access-types-module

mr/414-update-introduction-slides-to-align-with-rust-essentials

mr/416-apply-internal-training-learnings-improvements-to-program-structure-module

mr/417-rework-type-contract

mr/418-rework-ada-essentials-module-genericity

mr/419-rework-statements-lab

mr/420-rework-scalar-types-lab

mr/421-create-hello-world-animation-for-rust

mr/422-rework-array-lab

mr/424-correct-ada-essentials-record-lab-solution

mr/425-add-precision-for-ada-essentials-subprogram-module

mr/426-update-expressions-lab-to-remove-console-input

mr/429-create-ada95-version-of-standard-course

mr/430-add-unit-type-slide-to-types-and-values-module

mr/433-2025-12-05-training-bugs

mr/433-2025-12-05-training-bugs-2

mr/435-corrections-to-overview-module

mr/436-corrections-to-types-and-values-module

mr/439-remove-comprehensive_course-txt-from-the-rust-essential-folder

mr/441-generate-a-specific-svg-for-arrays-in-rust

mr/442-convert-fortify_analyze_prove_cycle-png

mr/443-update-document-copyright-for-2026

mr/444-in-line-code-blocks-should-have-a-background-color

mr/448-rework-slides-after-2026-eu-pat-training-fixing-bugs

mr/MR_template_update

mr/apply-default-reviewers

mr/remove-auto-assign

mr/style-guide-updates

pandoc/clear_stacktrace

pandoc/parallel_conversion_restore

pandoc/parallel_conversions

pandoc/update_pygmentsmaster

slides/0318-slides-improvements

slides/0408

slides/05-05-updates

slides/109-fix-typo-in-file-name-for-spec_902_future_capbilities-rst

slides/110-low-level-improvements

slides/111-array-chapter-improvements

slides/116-update-slides-to-remove-some-ada-2012-references

slides/118-create-svg-diagram-to-help-answer-special-attributes-quiz-in-subprogram-contracts

slides/118-diagram-answer-for-special-attributes-quiz

slides/120-create-svg-diagram-to-show-hierarchical-visibility-in-program-structure-module

slides/121-create-svg-diagram-to-show-what-an-array-looks-like

slides/123-refine-the-overview-intro-module-by-removing-recap-slides

slides/124-access-types-add-precision-to-aliased-dfn

slides/125-visibility-nitpicks

slides/129-lab_updates

slides/129-minor_typos

slides/129-title_capitalization

slides/130-delete-obsolete-module-adv_060_discriminated_record_types

slides/131-replace-field_and_element_in_other_courses

slides/131-replace-field_with_component

slides/131-replace_element_with_component

slides/132-break-020_declarations-into-chapters

slides/133-break-030_basic_types-into-chapters

slides/134-break-040_statements-into-chapters

slides/135-break-050_array_types-into-chapters

slides/136-break-060_record_types-into-chapters

slides/137-break-070_subprograms-into-chapters

slides/138-break-080_expressions-into-chapters

slides/139-break-090_overloading-into-chapters

slides/140-break-100_packages-into-chapters

slides/141-break-110_private_types-into-chapters

slides/142-break-120_limited_types-into-chapters

slides/143-break-130_program_structure-into-chapters

slides/144-break-140_access_types-into-chapters

slides/145-break-160_genericity-into-chapters

slides/146-break-170_tagged_derivation-into-chapters

slides/147-break-180_polymorphism-into-chapters

slides/148-break-190_exceptions-into-chapters

slides/149-break-230_interfacing_with_c-into-chapters

slides/150-incorporate-other-tasking-modules-into-240_tasking

slides/151-simple-content-updates-base-on-7-22-24-training

slides/152-make-runtime-and-run-time-consistent-across-all-slides

slides/155-create-demo-slides-for-gnatfuzz

slides/156-make-spelling-of-classwide-consistent-in-all-modules

slides/157-break-270_subprogram_contracts-into-chapters

slides/157-break-273_subprogram_contracts-into-chapters

slides/158-break-275_type_contracts-into-chapters

slides/165-each-rst-file-should-contain-a-section-listing-what-concepts-are-described

slides/166-each-rst-file-should-contain-a-section-listing-what-concepts-are-prerequisites

slides/166-make_module_titles_unique

slides/169-rst-prelude-checker-should-verify-file-contains-the-requires-provides-sections

slides/178-2024-11-04_sas_das

slides/178-add_non_integer_to_lkql_lab

slides/178-fix_mccabe_diagram

slides/178-minor_typos

slides/181-fix-inconsistencies-between-usage-of-name-and-identifier

slides/181-replace_identifier_with_name_where_appropriate

slides/182-sub-bullets-in-column-have-smaller-text-than-main-bullet

slides/183-type-invariant-graphic-clean-up-and-port-to-svg

slides/184-genericity-simplify-quiz-answer-explanations-for-generic-formal-data-quiz

slides/185-simplify-extended-examples-within-the-subprograms-module

slides/186-subprograms-expression-functions-quiz-introduces-concepts-that-have-not-been-covered

slides/187-expressions-membership-tests-quiz-add-information-prior-to-quiz-outlining-usage-of-or

slides/188-expressions-quantified-expressions-remove-slide

slides/189-break-005_introduction-into-chapters

slides/190-break-010_overview-into-chapters

slides/191-break-065_discriminated_records-into-chapters

slides/192-break-075_type_derivation-into-chapters

slides/193-break-135_visibility-into-chapters

slides/194-245_ravenscar_tasking-into-chapters

slides/194-break-245_ravenscar_nto-chapters

slides/194-break-245_ravenscar_tasking-into-chapters

slides/195-chapterization-of-fringe-modules

slides/195-reorganization-of-some-fringe-modules

slides/198-ada-contracts-result-slide-could-use-an-example

slides/199-convert-rust-slides-to-feng-format

slides/2-problems-found-from-PAT

slides/201-convert-rust-slides-to-feng-material-style

slides/2024-10-nits

slides/2024-11-04_sas_das

slides/207-convert-google-rust-training-into-rst

slides/209-comprehensive-rust-details_slides

slides/209-convert_ascii_art_to_svg

slides/209-convert_grid_table_to_list_table

slides/209-fix_urls

slides/209-process_include_statements

slides/209-update-comprehensive-rust-course-to-our-documentation-style

slides/209-use_rust_role

slides/209-use_rust_role_for_code

slides/210-chapters-in-140_tasking-section-follow-incorrect-naming-scheme

slides/211-add-rust-role-to-material-prefix

slides/212-rst_update_prelude-py-needs-to-work

slides/214-make-fix_prelude-actually-fix-the-prelude-when-run-from-the-command-line

slides/215-add-slides-on-the-ada-2022-concept-big-numbers

slides/216-use-formatting-instead-of-quoted-strings

slides/217-create-gnatstack_module

slides/217-create_gnatstub_training_module

slides/217-gnatstub_module

slides/217-update_gnat_project_facility

slides/219-build_list_of_definitions

slides/220-chapterize-spark-course

slides/220-update-spark_course_filenames

slides/222-add-strong-documentation-for-beamer_filter-assumptions

slides/223-do-not-merge-2025-05-12

slides/224-better-generation-of-multi-course-slide-material

slides/227-fix-tagged-derivation-lab-prompt-for-simple-version

slides/230-create-a-base-ada95-course

slides/235-minor-tweaks-and-typos

slides/236-060_records-and-065_discriminated_records

slides/238-genericity-with-subprogram-parameters

slides/240-spark-training-minor-issues-and-typos

slides/2408-fixes

slides/241-simplify_advanced_flow_analysis_lab

slides/241-simplify_auto_active_proof_lab

slides/241-simplify_flow_analysis_lab

slides/241-simplify_pointer_programs_lab

slides/241-simplify_proof_lab

slides/241-simplify_spark_boundary_lab

slides/241-simplify_specification_language_lab

slides/241-simplify_state_abstraction_lab

slides/241-split_advanced_proof

slides/248-runtime-vs-run-time-in-spark-code

slides/249-spark-labs-needing-lemmas-should-include-sparklib-gpr-and-show-how-to-set-gpr_roject_path

slides/251-spark-tools-module-lab-should-be-much-simpler

slides/254-use_indexes_as_plural_of_index

slides/267-convert-spark-folder-name

slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters

slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters

slides/285-material-update-notes-from-2025-07-14-training

slides/287-fix-merge-issue-causing-build-failure

slides/288-remove-unused-images

slides/31-090_overloading-single-char-improvements

slides/31-code-snippets-should-use-better-names-than-single-characters

slides/31-moduel_240_code-snippets-should-use-better-names-than-single-characters

slides/31-module_245_code-snippets-should-use-better-names-than-single-characters

slides/31_mod-270_rename_single_char_vars

slides/47-add-aliased-parameter-to-subprograms-slides

slides/48-reword-the-pragmas-slide

slides/50-replace-cannot-be-modified-text-on-attributes-slide

slides/51-elaborate-on-unicode-support-by-language-version

slides/52-restructure-and-refine-discriminated-record-modules

slides/70-add_target_name_symbol

slides/70-container_aggregates

slides/70-enumeral_representation

slides/71-remove_version_comparison

slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types

slides/74-subprogram-contracts-introduction-quizzes-are-excessive

slides/86-095_library_units-rst-remove-section-and-repurpose-key-slides-into-other-modules

slides/PAT-fixes

slides/add-advanced-resources-management

slides/add-some-idioms

slides/add_color_capability_to_slides

slides/add_image_overlay_capability

slides/add_notes_tips_warnings_up_to_basic

slides/clarify_use_type_vs_use_all_type

slides/convert_one_png_to_svg

slides/convert_slides_to_pure_2012

slides/course-introduction-icebreakers

slides/fix-types-casing

slides/fix_attributes_casing

slides/fixes-from-6-23

slides/generalized-finalization

slides/gprbuild-lab-030-parts

slides/issue_70_delta_aggregates

slides/issue_75_chapter_240_tasking

slides/md-output-support

slides/remove-example-extract

slides/reorganize_075_modules

slides/review-run-slides

slides/review-run-slides-add-description

slides/simplify_type_contracts_lab

slides/support-notes

slides/test-multiple-runs

slides/tic_image_upgrade_for_2022

slides/updates-from-7-14-US

symbols_common

test/remove_bold

training-one_day

training/0402

training/05-05-2025

training/126-l-2403-1232_training_material-do-not-merge

training/2021.05.E1/access

training/2021.10.E2/integrate

training/2021.10.E2/plan

training/2021.10.E2/prepare

training/2021.10/prepare

training/2021.11.E1/integrate

training/2021.11.E1/prepare

training/2021_05_E1/prep

training/2022-10-04-germond/tagged_typo

training/2022-10-04-germond/task_nitpicks

training/2022-10-19-germond/ci

training/2022-11-21/ci

training/2022.01.E1/integrate

training/2022.01.E1/prepare

training/2022.01.E2/prepare

training/2022.02.E1/prepare

training/2022.05.09-germond

training/2022.05.09/110

training/2022.05.09/140

training/2022.05.09/170

training/2022.05.09/adv_240

training/2022.09.05-germond

training/2022.10.04-germond/ada2022

training/2022.10.04-germond/ci

training/2022.10.10-germond/ci

training/20220.09.26-germond

training/2023-12-11/germond

training/2023-12-13-germond-fixes

training/2023.02.16/fixes_4

training/2023.02.16/germond

training/2023.04.03/germond

training/2023.06.28/germond

training/2023.08.21/germond

training/2023.09.25/frank

training/2023.10.02/germond

training/2024-01-08-germond

training/2024-01-29

training/2024-02-06-fixes

training/2024-02-06-germond

training/2024-03-18-frank

training/2024-03-18-germond

training/2024-04-02-germond

training/2024-04-08-germond

training/2024-04-22-fixes

training/2024-04-22-germond

training/2024-05-13

training/2024-05-13-fixes

training/2024-05-17

training/2024-05-17-fixes

training/2024-05-27

training/2024-05-27-fixes

training/2024-06-10-eu-pat

training/2024-06-10-fixes

training/2024-09-01-germond

training/2024-11-05-ada-essential

training/2024-11-07-Tools

training/2024-gnat-internal

training/2024.01.01-germond

training/2024.01.22/germond

training/2025-01-06-pat

training/2025-02-18

training/2025-02-18-germond-adv

training/2025-03-25

training/2025-05-13-germond

training/2025-05-20-germond

training/2025-06-10-germond

training/2025-06-23_binkley

training/2025-07-14_binkley

training/2025-12-01_frank

training/2026-01-12_Berkane

training/2026-02-17_gora

training/L-2403-1232-fundamentals

training/cover_updates_based_on_3_18_training

training/gnat_sas_updates_based_on_3_18_training

unconstrained_types

update_actions_v3

verify_lab_answers

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#235

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#334

#335

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#350

#351

#352

#353

#354

#355

#356

#357

#358

#359

#36

#360

#361

#362

#363

#364

#365

#366

#367

#368

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#390

#391

#392

#393

#394

#394

#395

#396

#397

#398

#399

#4

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#423

#424

#425

#426

#427

#427

#428

#429

#43

#430

#430

#431

#431

#432

#432

#433

#434

#434

#435

#435

#436

#436

#437

#437

#438

#438

#439

#44

#440

#440

#441

#442

#442

#443

#444

#445

#445

#446

#446

#447

#447

#448

#448

#449

#449

#45

#450

#450

#451

#451

#452

#452

#453

#454

#454

#455

#455

#456

#456

#457

#457

#458

#458

#459

#459

#46

#460

#460

#461

#461

#462

#462

#463

#463

#464

#464

#465

#465

#466

#467

#467

#468

#469

#469

#47

#470

#470

#471

#471

#472

#472

#473

#473

#474

#474

#475

#475

#476

#476

#477

#477

#478

#478

#479

#479

#48

#480

#480

#481

#481

#482

#482

#483

#483

#484

#484

#485

#485

#486

#489

#489

#49

#490

#490

#491

#491

#492

#492

#493

#493

#494

#494

#495

#495

#496

#497

#497

#498

#498

#499

#499

#5

#50

#500

#500

#501

#501

#502

#503

#503

#504

#504

#505

#505

#506

#506

#507

#507

#508

#508

#509

#509

#51

#510

#511

#511

#512

#513

#513

#514

#514

#515

#515

#516

#516

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

2021.01.E1

2021.04.E1

2021.05.E1

2021.10.E1_presented

2021.10.E2-1

Lab-2020-12

TA28-032_2020-12

training/2021-10-11-germond/1

training/2021.11.E1-1

training/2021.11.E1/split

training/2022-09-26-germond/2

training/2022-10-04-germond/2

training/2022-10-19-germond/1

training/2022-11-21-germond/sent-syllabus

training/2022.09.26-germond-1

training/2022.10.04-germond/1

training/2022.10.10-germond/1

training/2022.10.10-germond/2

training/20220.09.26-germond/1

Mono Color

• f118b1da0e Updating macros from feedback Romain Gora 2025-12-15 11:42:03 +01:00
• ba8e7d5498 Updating functions from feedback Romain Gora 2025-12-15 11:41:42 +01:00
• 459c077ca3 Separate macros and functions Romain Gora 2025-12-15 11:40:22 +01:00
• 3579c015c7 Exception lab should use exception package data mr/314-type-contracts-lab-utilizes-exception_information-even-though-the-exceptions-lab-did-not Michael Frank 2025-12-12 15:38:15 -05:00
• 02af8009cf Simplify Type Contracts lab to not handle exception Michael Frank 2025-12-12 15:10:56 -05:00
• cedfaf6823 Merge remote-tracking branch 'origin/master' into mr/369-update_slide_styles_and_colors Michael Frank 2025-12-12 14:18:01 -05:00
• f0717f5a82 Merge branch 'mr/408-improvements-to-tagged-derivation-module' into 'master' Michael Frank 2025-12-12 19:10:29 +00:00
• 7a60de8484 Resolve "Apply internal training learnings/improvements to Tagged Derivation Module" Michael Frank 2025-12-12 19:10:29 +00:00
• 3067605214 Apply 2 suggestion(s) to 1 file(s) Michael Frank 2025-12-12 14:31:52 +00:00
• b7b69ecabe Fixing typo in summary Romain Gora 2025-12-12 13:10:30 +01:00
• ccf361dd16 Changed filename Michael Frank 2025-12-11 23:20:12 -05:00
• e9cb843590 Shrink more chapter titles Michael Frank 2025-12-11 22:47:38 -05:00
• 94ded20f3c Shrink chapter title Michael Frank 2025-12-11 22:31:43 -05:00
• 6cd1c9bad5 Shrink chapter title Michael Frank 2025-12-11 22:18:05 -05:00
• 48035fbf68 Shrink chapter title Michael Frank 2025-12-11 22:15:48 -05:00
• 1613a83e18 Rework Access Types lab to be more appropriate mr/375-remove-all-access-all-where-not-needed Michael Frank 2025-12-11 16:26:13 -05:00
• 7f80074264 Replace access types lab with in-depth version Michael Frank 2025-12-11 16:09:11 -05:00
• 3e38284f9e All these examples have been moved into the appropriate module Michael Frank 2025-12-11 16:00:38 -05:00
• 71c2d5d552 Remove unnecessary use of "access all" from slides Michael Frank 2025-12-11 15:46:06 -05:00
• 249b78db10 Better examples for Discrete Types slide mr/321-discrete-types-slide-is-confusing Michael Frank 2025-12-11 15:19:15 -05:00
• 8328d6749e Improve Aspects chapter Michael Frank 2025-12-11 14:01:08 -05:00
• f108678c0d fix for RGO Julien Berkane~ 2025-12-11 17:22:30 +01:00
• 0e80f64800 Removing useless spaces Romain Gora 2025-12-11 15:57:46 +01:00
• 4c428b4c8b Update README to describe advanced.txt file Michael Frank 2025-12-11 09:53:38 -05:00
• 4cc07c923c More fixes per review comments mr/317-PoC-goals-review-module-structure Michael Frank 2025-12-11 09:48:42 -05:00
• 62738890eb Adding arrays svg Romain Gora 2025-12-11 15:04:03 +01:00
• 3d3b2c3dfb Updating tuples Romain Gora 2025-12-11 14:54:28 +01:00
• 5e6695fe05 Updating intro, arrays, tuples, destructuring, summary Romain Gora 2025-12-11 14:52:59 +01:00
• b72715bbe1 Review DBI Julien Berkane~ 2025-12-11 14:48:06 +01:00
• 161569bb09 correction for build 2 Julien Berkane~ 2025-12-11 14:20:38 +01:00
• cf2e51b536 correction for build Julien Berkane~ 2025-12-11 12:34:19 +01:00
• e02429f54f remove unit struct and aliases Julien Berkane~ 2025-12-11 11:43:21 +01:00
• 242e80d2cd renaming struct and enums Julien Berkane~ 2025-12-11 11:38:57 +01:00
• 1b6c3d496d Updating summary Romain Gora 2025-12-11 11:34:27 +01:00
• 3c7206a902 Updating the macros chapter Romain Gora 2025-12-11 11:32:33 +01:00
• 920bd51d3e Updating the functions chapter Romain Gora 2025-12-11 11:32:05 +01:00
• 467f6df2d4 Updating the break/continue chapter Romain Gora 2025-12-11 11:31:42 +01:00
• 9f9d0d25ae Merge branch 'mr/382-rework-rust-essentials-module-tuples-and-arrays' of ssh.gitlab.adacore-it.com:feng/training/material into 'mr/382-rework-rust-essentials-module-tuples-and-arrays' Romain Gora 2025-12-10 18:26:20 +01:00
• c3769d11eb Updating arrrays chapter Romain Gora 2025-12-10 18:25:41 +01:00
• 562d44f723 Updating introduction chapter Romain Gora 2025-12-10 18:25:15 +01:00
• 20394691a1 Increase amount of information in Topics Covered Michael Frank 2025-12-10 10:42:29 -05:00
• e29066d89c Good casing for the module name Romain Gora 2025-12-10 14:54:15 +01:00
• d80c7d6d1b Improving the destructuring chapter from feedback Romain Gora 2025-12-10 14:45:57 +01:00
• f08d564822 Improving the arrays chapter from feedback Romain Gora 2025-12-10 14:45:29 +01:00
• e511fc3b58 Updating introduction Romain Gora 2025-12-10 14:45:01 +01:00
• 105f55c266 Adding improvements from feedback Romain Gora 2025-12-10 14:43:10 +01:00
• 402c8622ce Better phrasing Romain Gora 2025-12-10 11:20:22 +01:00
• 1891f761e8 Adding bold Romain Gora 2025-12-10 11:19:21 +01:00
• 5876823dd3 Adding bold Romain Gora 2025-12-10 11:18:36 +01:00
• 50202e6aed Removing useless words Romain Gora 2025-12-10 11:17:57 +01:00
• b4092341c8 Adding some bold Romain Gora 2025-12-10 11:17:09 +01:00
• dd9a86eb2b Removing "Are" Romain Gora 2025-12-10 11:16:51 +01:00
• 1c5450ff70 Adding not in bold Romain Gora 2025-12-10 11:16:32 +01:00
• 04d277668f Use inherited Print routine in lab Michael Frank 2025-12-09 16:49:12 -05:00
• 798098541b Fuller explanation of parentheses around conditional expression Michael Frank 2025-12-09 16:42:25 -05:00
• 636d6ba749 Formally introduce Natural and Positive Michael Frank 2025-12-09 16:20:32 -05:00
• 6a2d775d29 Update array lab to better show two parts Michael Frank 2025-12-09 16:14:34 -05:00
• 84e12e1cf6 Update Barnes book image Michael Frank 2025-12-09 14:37:59 -05:00
• 882fd5f7a2 Fix coding error Michael Frank 2025-12-09 14:28:29 -05:00
• 6addd168d6 Fix coding error Michael Frank 2025-12-09 14:27:27 -05:00
• 6203098dda Fix formatting indentation Michael Frank 2025-12-09 14:26:20 -05:00
• ad87833a01 Fix confusing instruction Michael Frank 2025-12-09 14:24:37 -05:00
• c5eada14af Package should be body not spec Michael Frank 2025-12-09 14:23:44 -05:00
• c583e9fc9c Fix incorrect code Michael Frank 2025-12-09 14:22:39 -05:00
• e869538831 Swap floats not booleans Michael Frank 2025-12-09 14:17:19 -05:00
• 6215018702 Show example of operator for formal subprogram parameter Michael Frank 2025-12-09 14:14:30 -05:00
• 484998f7dd Fix formatting issue Michael Frank 2025-12-09 14:12:51 -05:00
• 092f04f23f Add line numbers to code example Michael Frank 2025-12-09 13:58:07 -05:00
• 0e457879ae Make missing parentheses more obvious Michael Frank 2025-12-09 13:55:13 -05:00
• d46b2f166f Rework the macros chapter Romain Gora 2025-12-09 15:28:55 +01:00
• 65ca089337 More review comments Michael Frank 2025-12-09 08:46:21 -05:00
• 8bc2fd418b correct to remove warning mr/275-refine-slide-in-statements-introduction Julien Berkane~ 2025-12-09 13:41:12 +01:00
• 481fa193b2 correct after DBI review Julien Berkane~ 2025-12-09 13:38:58 +01:00
• f76c96f7b5 correct after RGO review Julien Berkane~ 2025-12-09 13:13:19 +01:00
• a95aad0f81 Rework the functions chapteré Romain Gora 2025-12-09 11:54:11 +01:00
• f472231689 Switching from comments to commands Romain Gora 2025-12-09 10:32:11 +01:00
• 43c0735d08 Updates per review comments mr/408-improvements-to-tagged-derivation-module Michael Frank 2025-12-09 00:11:36 -05:00
• 790ddbd293 [!] Modifying note mr/430-add-unit-type-slide-to-types-and-values-module Dana Binkley 2025-12-08 19:06:48 -05:00
• ae7e5d5779 [+] More explicit bullet about only possible value Dana Binkley 2025-12-08 19:02:22 -05:00
• 0766d5417b [-] Confusing sub-bullet Dana Binkley 2025-12-08 18:52:49 -05:00
• 00a7d89054 [!] Modifying var name and removing confusing println jargon Dana Binkley 2025-12-08 18:52:10 -05:00
• b3a2e08a4e More spacing issues Michael Frank 2025-12-08 16:07:32 -05:00
• 297aeb1409 Fix long chapter name Michael Frank 2025-12-08 16:02:54 -05:00
• 86dd3a9193 Too much code Michael Frank 2025-12-08 15:58:01 -05:00
• e696027bf5 More sizing fixes Michael Frank 2025-12-08 15:54:33 -05:00
• f5cf8cbfd3 Spacing fixes Michael Frank 2025-12-08 15:48:03 -05:00
• 54e4e6b0ea Darken colors to show up better Michael Frank 2025-12-08 15:42:40 -05:00
• 4c03e44224 Fix indentation Michael Frank 2025-12-08 11:00:36 -05:00
• a1f89ba957 Fix light text color Michael Frank 2025-12-08 10:58:08 -05:00
• 916d018b8c Fix space between line numbers and code Michael Frank 2025-12-08 10:28:17 -05:00
• 4a474931ff Third-level bullet now gray Michael Frank 2025-12-08 10:11:24 -05:00
• beaf700a2d Make style slide easier to read Michael Frank 2025-12-08 10:09:29 -05:00
• 11bf2f1614 Fix block colors Michael Frank 2025-12-08 09:59:43 -05:00
• fb4ff77dcb Improving from feedback Romain Gora 2025-12-08 11:27:52 +01:00
• 582bdc5858 [!] Typo fix and rearranging bullets Dana Binkley 2025-12-04 18:04:55 -05:00
• 3b1e677951 [+] First cut at unit type Dana Binkley 2025-12-04 17:05:19 -05:00
• 2cc4b29430 Move useful macros to separate slide Romain Gora 2025-12-04 15:20:06 +01:00
• a802b12161 Various improvements in summary, match and function Romain Gora 2025-12-04 15:12:03 +01:00
• 9f82256535 Simplifying bullet point Romain Gora 2025-12-04 14:50:18 +01:00
• a828fc175a Fine-tuning functions chapter Romain Gora 2025-12-04 14:45:48 +01:00