This website requires JavaScript.
Explore
Help
Sign In
ada
/
training_material
Watch
0
Star
0
Fork
0
You've already forked training_material
mirror of
https://github.com/AdaCore/training_material.git
synced
2026-02-12 13:08:57 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
training_material
/
courses
/
ada_essentials
/
273_subprogram_contracts
History
Michael Frank
c76d406a38
Resolve "No formatting in slide titles"
2026-01-05 17:57:05 +00:00
..
lab
/subprogram_contracts
Resolve "Add
-gnatyr
warning to all labs code"
2025-09-02 20:17:42 +00:00
01-introduction.rst
Resolve "Rework Ada Essentials Subprogram Contracts Module"
2025-11-25 20:27:41 +00:00
02-preconditions_and_postconditions.rst
Resolve "Rework Ada Essentials Subprogram Contracts Module"
2025-11-25 20:27:41 +00:00
03-special_attributes.rst
Resolve "No formatting in slide titles"
2026-01-05 17:57:05 +00:00
04-in_practice.rst
Resolve "Rework Ada Essentials Subprogram Contracts Module"
2025-11-25 20:27:41 +00:00
88-subprogram_contracts.lab.rst
Resolve "Move lab answers to appropriate module"
2025-08-22 16:41:54 +00:00
99-summary.rst
Resolve "Rework Ada Essentials Subprogram Contracts Module"
2025-11-25 20:27:41 +00:00
