From 4b91ecc4a01021333afd5075ef93cb9789cc41f4 Mon Sep 17 00:00:00 2001 From: Leo Germond Date: Wed, 12 Feb 2025 11:26:18 +0100 Subject: [PATCH 1/2] syllabus for Advanced --- DO_NOT_MERGE.SINGLE_COURSE | 1 + courses/fundamentals_of_ada/advanced.txt | 12 +++++++----- 2 files changed, 8 insertions(+), 5 deletions(-) create mode 100644 DO_NOT_MERGE.SINGLE_COURSE diff --git a/DO_NOT_MERGE.SINGLE_COURSE b/DO_NOT_MERGE.SINGLE_COURSE new file mode 100644 index 000000000..cb8b60c07 --- /dev/null +++ b/DO_NOT_MERGE.SINGLE_COURSE @@ -0,0 +1 @@ +fundamentals_of_ada/advanced.txt diff --git a/courses/fundamentals_of_ada/advanced.txt b/courses/fundamentals_of_ada/advanced.txt index 7875067b9..b49540ade 100644 --- a/courses/fundamentals_of_ada/advanced.txt +++ b/courses/fundamentals_of_ada/advanced.txt @@ -1,17 +1,19 @@ 005_introduction.rst -030_basic_types-extras.rst +030_basic_types-in_depth.rst 060_record_types.rst 065_discriminated_records.rst +050_array_types.rst +075_type_derivation.rst 080_expressions-with_quantified.rst 120_limited_types.rst -290_advanced_data_hiding.rst +110_private_types.rst 140_access_types-in_depth.rst +260_controlled_types.rst +700_expert_resource_management.rst 160_genericity.rst 170_tagged_derivation.rst 175_multiple_inheritance.rst 180_polymorphism.rst 190_exceptions-in_depth.rst 240_tasking-in_depth.rst -273_subprogram_contracts.rst -276_type_contracts.rst -280_low_level_programming.rst +270_introduction_to_contracts.rst From 9ac2e519ac6049e552012d587302f6e331aaa5fe Mon Sep 17 00:00:00 2001 From: Leo Germond Date: Mon, 24 Feb 2025 11:34:47 +0100 Subject: [PATCH 2/2] add tasking_control to tasking in depth --- courses/fundamentals_of_ada/240_tasking-in_depth.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/courses/fundamentals_of_ada/240_tasking-in_depth.rst b/courses/fundamentals_of_ada/240_tasking-in_depth.rst index 52dd3c42d..f207d821b 100644 --- a/courses/fundamentals_of_ada/240_tasking-in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking-in_depth.rst @@ -48,5 +48,6 @@ Tasking .. include:: 240_tasking/04-delays.rst .. include:: 240_tasking/05-task_types_in_depth.rst .. include:: 240_tasking/06-advanced_concepts_in_depth.rst +.. include:: 240_tasking/14-tasking_control.rst .. include:: labs/240_tasking_in_depth.lab.rst .. include:: 240_tasking/99-summary.rst