mirror of
https://github.com/AdaCore/training_material.git
synced 2026-02-12 13:08:57 -08:00
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
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
-
2bfaab7533
[!] Moving/removing points that caused confusion during review
Dana Binkley
2025-11-21 19:15:16 -05:00 -
311a9eaea8
[!] Renaming "values & types"
Dana Binkley
2025-11-21 18:47:05 -05:00 -
dbde023f26
[-] Removing intro bullet and heading over list
Dana Binkley
2025-11-21 18:44:48 -05:00 -
381f568835
Merge branch 'mr/420-rework-scalar-types-lab' into 'master'
Michael Frank
2025-11-21 15:08:19 +00:00 -
f88dfc16e7
Resolve "Rework Ada Essentials Scalar Types lab"
Michael Frank
2025-11-21 15:08:19 +00:00 -
5383524bc0
Merge branch 'mr/426-update-expressions-lab-to-remove-console-input' into 'master'
Michael Frank
2025-11-21 15:08:00 +00:00 -
018ed3517d
Resolve "Update Expressions lab to remove console input"
Michael Frank
2025-11-21 15:08:00 +00:00 -
f960e43a34
Merge branch 'mr/405-apply-internal-training-learnings-improvements-to-private-types-module' into 'master'
Michael Frank
2025-11-21 15:07:42 +00:00 -
ac9d6885ce
Resolve "Apply internal training learnings/improvements to Private Types Module"
Michael Frank
2025-11-21 15:07:42 +00:00 -
2a3f950cc9
[!] Modify title --
Dana Binkley
2025-11-20 19:49:57 -05:00 -
1d479009d7
Apply 20 suggestion(s) to 3 file(s)
Dana Binkley
2025-11-20 19:39:53 -05:00 -
b10d6d5360
[!] Replacing lab with something a bit simple
Dana Binkley
2025-11-19 19:23:21 -05:00 -
23bedf8af7
[-] Removing inference chapter
Dana Binkley
2025-11-19 19:16:29 -05:00 -
92850ec4fd
[+] Slide for divsion nuances
Dana Binkley
2025-11-19 19:14:54 -05:00 -
b1f65d6249
[!] Fixing a stray ` character
Dana Binkley
2025-11-13 20:50:18 -05:00 -
58d24b62c4
[!] Fixes for formatting/char that wasn't escaped
Dana Binkley
2025-11-13 20:40:12 -05:00 -
dfa74a12c4
[!] Adding depth to arithmetic section; removing old inference file reference
Dana Binkley
2025-11-13 20:34:10 -05:00 -
2773ed8043
[!] Trying to resize table; moving type inference for flow
Dana Binkley
2025-11-13 19:51:56 -05:00 -
58ccfddabe
[-] Removing additional characters LaTeX finds offensive
Dana Binkley
2025-11-13 17:10:15 -05:00 -
602635c0db
[-] Removing japanese character that caused LaTeX error
Dana Binkley
2025-11-13 17:03:59 -05:00 -
a8a3b51c82
[!] Updates to cover some scalar type nuances...
Dana Binkley
2025-11-13 16:31:34 -05:00 -
570acbd4f5
[!] Fix for code indented incorrectly; attempting to resolve table overlap
Dana Binkley
2025-11-12 16:29:31 -05:00 -
6b93a7a6cc
[!] Fixes for code that didn't display correctly, aligning things in code
Dana Binkley
2025-11-12 16:20:53 -05:00 -
86ebbabdf2
[!] Changing text in tip/note boxes because it looked weird
Dana Binkley
2025-11-12 16:15:11 -05:00 -
9c9872c006
[+] Slides for literals and recap
Dana Binkley
2025-11-12 16:12:14 -05:00 -
c63a99e4b7
[!] Tweaking mutable variables slide to add a tip
Dana Binkley
2025-11-12 15:06:33 -05:00 -
299f9b9e4e
[!] Minor edits after looking at generated slides
Dana Binkley
2025-11-06 20:35:31 -05:00 -
06f4354410
[!] Refactoring the varaibles slide + making an introduction
Dana Binkley
2025-11-06 20:13:50 -05:00 -
130e7143a7
Apply 1 suggestion(s) to 1 file(s)
mr/411-rework-subprogram-contracts-module
Michael Frank
2025-11-20 22:32:50 +00:00 -
a07ff1ac10
Merge branch 'mr/417-rework-type-contract' into 'master'
Michael Frank
2025-11-20 19:26:32 +00:00 -
d94c0d8782
Resolve "Rework Ada Essentials module Type Contract"
Michael Frank
2025-11-20 19:26:32 +00:00 -
75a234c3e9
Merge branch 'mr/397-overhaul-of-access-types-modules' into 'master'
Michael Frank
2025-11-20 19:25:22 +00:00 -
1b8486428e
Resolve "Feature: Overhaul of Access Types modules"
Michael Frank
2025-11-20 19:25:22 +00:00 -
db66a06045
Fixes per review comments
mr/397-overhaul-of-access-types-modules
Michael Frank
2025-11-20 08:57:17 -05:00 -
a6fda4281e
Get correct version of lab
Michael Frank
2025-11-20 00:05:02 -05:00 -
e23dff864a
Add Storage Pools module
Michael Frank
2025-11-19 23:22:25 -05:00 -
695939e135
Add General Access Types module
Michael Frank
2025-11-19 23:03:28 -05:00 -
62094e8cf9
Updated Access Types module
Michael Frank
2025-11-19 22:29:40 -05:00 -
8d9917a3c5
Merge branch 'mr/419-rework-statements-lab' into 'master'
Michael Frank
2025-11-20 03:14:36 +00:00 -
36fb43ef2d
Resolve "Rework Ada Essentials Statements lab"
Michael Frank
2025-11-20 03:14:36 +00:00 -
30bde09b18
[-] Removing auto-assignment of reviewers at MR creation, as it is quite painful in the current workflow
mr/remove-auto-assign
Dana Binkley
2025-11-19 16:49:31 -05:00 -
54841919cf
Merge branch 'mr/397-feature-overhaul-of-access-types-modules' of ssh.gitlab.adacore-it.com:feng/training/material into mr/397-feature-overhaul-of-access-types-modules
mr/397-feature-overhaul-of-access-types-modules
Michael Frank
2025-11-19 16:36:20 -05:00 -
3416aa94d5
Merge branch 'mr/379-rework-rust-hello-world' into 'master'
Dana Binkley
2025-11-19 16:35:53 -05:00 -
6c8a9e3303
Resolve "Rework Rust Essentials module: Hello world"
Dana Binkley
2025-11-19 16:35:53 -05:00 -
13c0cc8e16
Resolve "Apply internal training learnings/improvements to Access Types Module"
Michael Frank
2025-11-19 20:20:50 +00:00 -
f458214651
Resolve "Revamp Access Types module"
Michael Frank
2025-10-30 13:12:32 +00:00 -
6d1b6d8aff
Fixes per review comments
mr/405-apply-internal-training-learnings-improvements-to-private-types-module
Michael Frank
2025-11-19 16:03:33 -05:00 -
fa47261a00
Apply 3 suggestion(s) to 1 file(s)
Michael Frank
2025-11-19 20:55:07 +00:00 -
66c9fa6ae4
Apply 1 suggestion(s) to 1 file(s)
mr/371-create-general-access-types-module
Michael Frank
2025-11-19 20:51:11 +00:00 -
7a4ac061f4
Merge branch 'mr/418-rework-ada-essentials-module-genericity' into 'master'
Michael Frank
2025-11-19 20:28:19 +00:00 -
59dd1f25ec
Resolve "Rework Ada Essentials Module Genericity"
Michael Frank
2025-11-19 20:28:19 +00:00 -
057f935fd1
Merge branch 'mr/410-rework-package-module' into 'master'
Michael Frank
2025-11-19 20:28:00 +00:00 -
7b3f48f5e1
Resolve "Rework Ada Essentials Package Module"
Michael Frank
2025-11-19 20:28:00 +00:00 -
c6068e6103
Merge branch 'mr/403-rework-record-module' into 'master'
Michael Frank
2025-11-19 20:21:32 +00:00 -
92f939530a
Resolve "Rework Ada essentials Record module"
Michael Frank
2025-11-19 20:21:32 +00:00 -
0377d55e1b
Merge branch 'mr/413-apply-internal-training-learnings-improvements-to-access-types-module' into 'mr/397-feature-overhaul-of-access-types-modules'
Michael Frank
2025-11-19 20:20:51 +00:00 -
1efc9d4899
Resolve "Apply internal training learnings/improvements to Access Types Module"
Michael Frank
2025-11-19 20:20:50 +00:00 -
af2342d3e5
Merge branch 'mr/416-apply-internal-training-learnings-improvements-to-program-structure-module' into 'master'
Michael Frank
2025-11-19 20:20:12 +00:00 -
1c94a103b8
Resolve "Apply internal training learnings/improvements to Program Structure Module"
Michael Frank
2025-11-19 20:20:12 +00:00 -
b0fb4b2420
Update lab to remove console input
mr/426-update-expressions-lab-to-remove-console-input
Michael Frank
2025-11-19 11:10:16 -05:00 -
1ec0b9c6c0
Change "private part" to "private section"
mr/416-apply-internal-training-learnings-improvements-to-program-structure-module
Michael Frank
2025-11-19 09:12:30 -05:00 -
1c5380bd1a
Use consistent plural for APIs
mr/372-create-storage-pools-module
Michael Frank
2025-11-18 23:35:49 -05:00 -
c2c11f807b
Add comments to code block
Michael Frank
2025-11-18 23:29:32 -05:00 -
495c62b23c
Fixes per review comments
Michael Frank
2025-11-18 23:18:20 -05:00 -
ccdc271e6b
Fix emphasis
mr/418-rework-ada-essentials-module-genericity
Michael Frank
2025-11-18 22:44:22 -05:00 -
23b3632764
Merge branch 'mr/404-apply-internal-training-learnings-improvements-to-expressions-module' into 'master'
training/2025-12-01_frank
Michael Frank
2025-11-19 03:42:45 +00:00 -
5a03c18d15
Resolve "Apply internal training learnings/improvements to Expressions Module"
Michael Frank
2025-11-19 03:42:44 +00:00 -
186e574f9c
Merge branch 'mr/422-rework-array-lab' into 'master'
Michael Frank
2025-11-19 03:41:54 +00:00 -
130494a90e
Resolve "Rework Ada Essentials Array Lab"
Michael Frank
2025-11-19 03:41:54 +00:00 -
d76d6d9f3e
Apply 1 suggestion(s) to 1 file(s)
mr/413-apply-internal-training-learnings-improvements-to-access-types-module
Michael Frank
2025-11-19 03:41:28 +00:00 -
6fcef8b66c
Merge branch 'mr/402-rework-ada-essentials-array-module' into 'master'
Michael Frank
2025-11-19 03:40:09 +00:00 -
b0a58117e3
Resolve "Rework Ada Essentials Array module"
Michael Frank
2025-11-19 03:40:09 +00:00 -
80cb06a0e3
Apply 1 suggestion(s) to 1 file(s)
mr/403-rework-record-module
Michael Frank
2025-11-19 03:38:44 +00:00 -
70b878bbd9
Fix slide title separators length
mr/410-rework-package-module
Michael Frank
2025-11-18 22:36:51 -05:00 -
c85780c889
Reorder some slides in Scope and Visibility section
mr/283-move-the-scope-and-visibility-slide
Michael Frank
2025-11-18 15:07:22 -05:00 -
8cf5578735
Updates per review comments
mr/419-rework-statements-lab
Michael Frank
2025-11-18 11:29:41 -05:00 -
34b36f6019
Better explanations about integer bounds
mr/279-illustrate-bullet-points-for-discrete-numeric-types
Michael Frank
2025-11-18 11:22:32 -05:00 -
c9b91218c4
Show results of trying the extra credit
mr/420-rework-scalar-types-lab
Michael Frank
2025-11-18 09:59:13 -05:00 -
7f4b5471e5
Merge branch 'mr/401-apply-internal-training-learnings-improvements-to-subprograms-module' into 'master'
Michael Frank
2025-11-18 05:28:19 +00:00 -
c6e46e7e5c
Resolve "Apply internal training learnings/improvements to Subprograms Module"
Michael Frank
2025-11-18 05:28:19 +00:00 -
8f85c3fd18
Clean up slide over the edge
mr/422-rework-array-lab
Michael Frank
2025-11-17 16:46:43 -05:00 -
07b08acd03
Simplify statements lab
Michael Frank
2025-11-17 16:36:35 -05:00 -
8d5e403288
[!] Spacing
mr/379-rework-rust-hello-world
Dana Binkley
2025-11-14 16:22:23 -05:00 -
dca885a253
[!] Changing rustc formatting to use toolname for consistency
Dana Binkley
2025-11-14 16:21:02 -05:00 -
51bc64a94c
[!] Fixing typo
Dana Binkley
2025-11-14 16:20:13 -05:00 -
d90b35596b
[!] Reworking slide for easier comprehension
Dana Binkley
2025-11-14 16:11:48 -05:00 -
2b19449301
[+] Adding a "null reference" bullet to the java section
Dana Binkley
2025-11-14 15:58:17 -05:00 -
27bd9a3c30
[-] Bullets from commands
Dana Binkley
2025-11-14 15:49:10 -05:00 -
f3e9c106e0
[-] Removing comma from Hello, World
Dana Binkley
2025-11-14 15:47:57 -05:00 -
d4589d3b45
[!] Replacing italic text with note box
Dana Binkley
2025-11-14 15:45:59 -05:00 -
02887fe750
[!] Moving the order of the bullets around per review comments
Dana Binkley
2025-11-14 15:43:36 -05:00 -
8c63d47ae6
[-] Confusing language comparison references
Dana Binkley
2025-11-14 15:33:40 -05:00 -
7d9ceafc20
[+] OOP bullet
Dana Binkley
2025-11-14 15:32:05 -05:00 -
5cf22c2b0f
[!] Changing confusing terminology
Dana Binkley
2025-11-14 15:13:56 -05:00 -
6a5985bbab
[-] Bullet about reinventing things - it's confusing
Dana Binkley
2025-11-14 15:07:11 -05:00 -
657b5e080d
[-] Removing "wide range of devices" bullet
Dana Binkley
2025-11-14 15:06:14 -05:00 -
1a6e9a5340
[+] Adding toolname formatting for tools...
Dana Binkley
2025-11-14 15:03:14 -05:00 -
454aecdd46
Update colors
mr/369-look-at-brand-guidelines-and-brand-visions-to-update-our-slides
Michael Frank
2025-11-14 14:47:53 -05:00 -
af915176d4
Updates per internal review comments
Michael Frank
2025-11-14 14:40:07 -05:00 -
5e95343044
Use "designer" instead of server
Michael Frank
2025-11-14 14:19:18 -05:00