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

• e59ab39a7a Add bold to 'must' Romain Gora 2025-12-15 14:34:07 +01:00
• 32e395e9bb Replace its by their Romain Gora 2025-12-15 14:33:10 +01:00
• 3183b6f64f Add bold words Romain Gora 2025-12-15 14:32:55 +01:00
• c13c141e71 Simplify the beginning of the line Romain Gora 2025-12-15 14:32:32 +01:00
• 3aa6c6ba82 Simplify beginning of the line Romain Gora 2025-12-15 14:32:18 +01:00
• 29ddf6b10b Add uppercase to the beginning of the line Romain Gora 2025-12-15 14:31:53 +01:00
• 0ed2d61aa5 Fixing typo in summary Romain Gora 2025-12-12 13:10:30 +01:00
• 08c2f2eacd Removing useless spaces Romain Gora 2025-12-11 15:57:46 +01:00
• 988674e4fb Adding arrays svg Romain Gora 2025-12-11 15:04:03 +01:00
• 7f7d78a0c6 Updating tuples Romain Gora 2025-12-11 14:54:28 +01:00
• ae4f198810 Updating intro, arrays, tuples, destructuring, summary Romain Gora 2025-12-11 14:52:59 +01:00
• f0a756fd51 Good casing for the module name Romain Gora 2025-12-10 14:54:15 +01:00
• 6ee17980c1 Updating arrrays chapter Romain Gora 2025-12-10 18:25:41 +01:00
• dacaf74e95 Updating introduction chapter Romain Gora 2025-12-10 18:25:15 +01:00
• 6c32431f8b Improving the destructuring chapter from feedback Romain Gora 2025-12-10 14:45:57 +01:00
• cb81d71d96 Improving the arrays chapter from feedback Romain Gora 2025-12-10 14:45:29 +01:00
• 0050080c44 Updating introduction Romain Gora 2025-12-10 14:45:01 +01:00
• bee3745080 Updating the destructuring chapter Romain Gora 2025-12-02 15:14:06 +01:00
• 928b44b95a Adding intro and summary, removing iteration Romain Gora 2025-12-02 15:13:22 +01:00
• 04449fbfe9 [!] Emptying the iteration chapter before destruction Romain Gora 2025-11-25 12:29:36 +01:00
• 7c9db6bac7 [!] Adjustements in the arrays chapter Romain Gora 2025-11-25 12:28:45 +01:00
• a99ccfad96 [!] Rework the tuples chapter Romain Gora 2025-11-25 12:26:57 +01:00
• 5a1957d382 [!] Rework the arrays chapter Romain Gora 2025-11-25 11:36:57 +01:00
• df68c9f5fa [+] Adding missing file that for some reason was not added Dana Binkley 2026-01-01 20:53:20 -05:00
• f3dbf4e36e [!] Initial pattern matching changes Dana Binkley 2026-01-01 20:48:53 -05:00
• 7ecbe2b7f8 Some minor tweaks Michael Frank 2025-12-22 17:29:33 -05:00
• 5fbd74a947 Apply 1 suggestion(s) to 1 file(s) mr/412-no-formatting-in-slide-titles Michael Frank 2025-12-22 17:27:48 +00:00
• 36f14d9388 corrections + adding value illusion Julien Berkane~ 2025-12-22 18:00:29 +01:00
• 29fe9f6008 Merge remote-tracking branch 'origin/master' into mr/369-update_slide_styles_and_colors Michael Frank 2025-12-22 10:44:14 -05:00
• b3c58902f5 Fix typo Michael Frank 2025-12-22 09:54:23 -05:00
• f51026b84f Remove redundant slide Michael Frank 2025-12-22 09:52:58 -05:00
• 75af6a16d6 Rephrase confusing bullet Michael Frank 2025-12-22 09:49:57 -05:00
• 70ffc21aa9 Better example of access / access constant Michael Frank 2025-12-22 09:42:19 -05:00
• e233c221ca Add return to function Michael Frank 2025-12-22 09:13:26 -05:00
• 7db080ae4f Fix return values in procedure Michael Frank 2025-12-22 09:11:39 -05:00
• b1c835f21c Tab was messing things up Michael Frank 2025-12-19 15:58:28 -05:00
• 06ae82bd4c Fix RST issue Michael Frank 2025-12-19 15:53:27 -05:00
• 228255032b Fix syntax error Michael Frank 2025-12-19 15:52:05 -05:00
• 97f30cffe6 Better contract case example Michael Frank 2025-12-19 15:49:42 -05:00
• babac6d2f0 Dealing with false alarms Michael Frank 2025-12-19 15:11:51 -05:00
• d7f2b9cd9a Fix style guide Michael Frank 2025-12-19 10:43:41 -05:00
• cd0f1779dc Remove emphasis from titles Michael Frank 2025-12-19 09:56:08 -05:00
• aa73701562 Updated the style guide Michael Frank 2025-12-19 09:33:30 -05:00
• b32e797b71 Update destructuring chapter from feedback Romain Gora 2025-12-19 11:18:13 +01:00
• 55ed18374d Set panic to italic Romain Gora 2025-12-19 11:17:10 +01:00
• 73601bd374 Apply 1 suggestion(s) to 1 file(s) mr/290-refactor-the-aspects-chapter Michael Frank 2025-12-18 19:24:00 +00:00
• 651d3ed6e4 Merge branch 'mr/430-add-unit-type-slide-to-types-and-values-module' into 'master' Dana Binkley 2025-12-18 11:04:21 -05:00
• 27b0ab756f Resolve "Add Unit Type Slide to "Types and Values" Module" Dana Binkley 2025-12-18 11:04:21 -05:00
• 6d25a2094c Merge branch 'mr/275-refine-slide-in-statements-introduction' into 'master' Michael Frank 2025-12-18 15:09:14 +00:00
• 18c29839ce Resolve "Refine slide in "Statements - introduction"" Julien Berkane 2025-12-18 15:09:13 +00:00
• eff3006c22 Merge branch 'mr/424-correct-ada-essentials-record-lab-solution' into 'master' Michael Frank 2025-12-18 15:08:44 +00:00
• 451e5f7b01 Resolve "Correct Ada Essentials Record lab solution" Julien Berkane 2025-12-18 15:08:44 +00:00
• 6651de28b9 Merge branch 'mr/425-add-precision-for-ada-essentials-subprogram-module' into 'master' Michael Frank 2025-12-18 15:08:09 +00:00
• cf878ad66b Resolve "Add precision for Ada Essentials Subprogram Module" Julien Berkane 2025-12-18 15:08:09 +00:00
• 5166986c42 Make type invariant quizzes the same Michael Frank 2025-12-18 09:29:15 -05:00
• dcb7effb9c Update readme mr/429-create-ada95-version-of-standard-course Michael Frank 2025-12-17 23:04:12 -05:00
• 87a76c3d4d Fixes per review comments Michael Frank 2025-12-17 23:00:25 -05:00
• 3b6dc57c7a More review comments Michael Frank 2025-12-17 15:46:44 -05:00
• 6101cf374d Fit on slide Michael Frank 2025-12-17 15:29:02 -05:00
• 2a44fb0f57 Fixes per review comments mr/433-2025-12-05-training-bugs Michael Frank 2025-12-17 12:24:39 -05:00
• 2d7a840d08 Updates per review comments mr/433-2025-12-05-training-bugs-2 Michael Frank 2025-12-17 11:53:39 -05:00
• 573cdb0b67 FCorrections after review- but needs checking Julien Berkane~ 2025-12-17 15:58:21 +01:00
• 31bfaac369 Add modifications from review Romain Gora 2025-12-17 12:43:43 +01:00
• 68af5212e4 the final commit 2 mr/274-refine-explanations-for-answer-in-array-types-aggregates-quizz Julien Berkane~ 2025-12-16 17:30:48 +01:00
• 96018fdcc5 the final commit Julien Berkane~ 2025-12-16 17:28:38 +01:00
• be6b80baa2 Rephrasing from feedback Romain Gora 2025-12-16 12:26:00 +01:00
• d54f59d79c Fix typo Romain Gora 2025-12-16 11:28:57 +01:00
• 3317dab56a Fix typo Romain Gora 2025-12-16 11:28:34 +01:00
• 8f0bfc347d Fix typo Romain Gora 2025-12-16 11:28:19 +01:00
• 6eac6e2c60 Be consistent Michael Frank 2025-12-15 23:10:29 -05:00
• 4aa99d4218 Fix spacing Michael Frank 2025-12-15 22:58:21 -05:00
• 91aa964b19 More lab titles Michael Frank 2025-12-15 22:54:03 -05:00
• a808fc0526 Long module name Michael Frank 2025-12-15 22:52:22 -05:00
• 6b23deb80e Update resource management modules Michael Frank 2025-12-15 22:50:45 -05:00
• ac7a4e5ce4 Shorten long title Michael Frank 2025-12-15 22:46:37 -05:00
• e2e2aca49e Programming Paradigms is wordy Michael Frank 2025-12-15 22:43:09 -05:00
• deaec12f8b "In-Depth" shouldn't be part of the title Michael Frank 2025-12-15 22:40:37 -05:00
• a14a11b501 Merge branch 'mr/375-remove-all-access-all-where-not-needed' into 'master' training/2026-01-12_Berkane Michael Frank 2025-12-16 03:34:21 +00:00
• 5050d80a7b Resolve "Remove all "access all" where not needed" Michael Frank 2025-12-16 03:34:21 +00:00
• 04ac478fe2 Merge branch 'mr/321-discrete-types-slide-is-confusing' into 'master' Michael Frank 2025-12-16 03:33:53 +00:00
• 7e505aa7b3 Resolve "Discrete types slide is confusing" Michael Frank 2025-12-16 03:33:53 +00:00
• ac52b97f42 Remove formatting from titles Michael Frank 2025-12-15 22:30:53 -05:00
• 2c1bce30f4 Remove formatting from slide/module titles mr/280-make-the-predefined-declarations-slide-more-clear Michael Frank 2025-12-15 18:42:57 -05:00
• cab1499a39 Clean up Predefined Declarations slide Michael Frank 2025-12-15 12:52:16 -05:00
• 8299a052eb Make macros bullets consistent mr/381-rework-rust-essentials-module-control-flow-basic Romain Gora 2025-12-15 15:32:47 +01:00
• 234902f51c Replace single letter parameter name Michael Frank 2025-12-15 09:32:09 -05:00
• ea33094970 Simplify comment on code example Romain Gora 2025-12-15 15:27:00 +01:00
• 3073082eed Add adjustemnts from feedback Romain Gora 2025-12-15 15:15:38 +01:00
• 2fc5c7f615 fixing single character cariables Julien Berkane~ 2025-12-15 14:56:28 +01:00
• bf1e052172 correction of space and point removal Julien Berkane~ 2025-12-15 14:51:59 +01:00
• e4f69145d9 Add adjustements from feedback Romain Gora 2025-12-15 14:48:04 +01:00
• e3e89b91bb Add bold to exactly Romain Gora 2025-12-15 14:34:35 +01:00
• 55a1efd870 Add bold to mutable Romain Gora 2025-12-15 14:34:19 +01:00
• c622743752 Add bold to 'must' Romain Gora 2025-12-15 14:34:07 +01:00
• 0d6a3bae15 Replace its by their Romain Gora 2025-12-15 14:33:10 +01:00
• 09c32f8213 Add bold words Romain Gora 2025-12-15 14:32:55 +01:00
• d1036ca37d Simplify the beginning of the line Romain Gora 2025-12-15 14:32:32 +01:00
• 4665b17531 Simplify beginning of the line Romain Gora 2025-12-15 14:32:18 +01:00
• 393d8d6743 Add uppercase to the beginning of the line Romain Gora 2025-12-15 14:31:53 +01:00
• 1e66e77911 file removed mr/439-remove-comprehensive_course-txt-from-the-rust-essential-folder Julien Berkane~ 2025-12-15 14:27:40 +01:00