Skip to content

Pull requests: AdaCore/training_material

New pull request New
70 Open 413 Closed
70 Open 413 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Advanced resources management
#486 opened Jan 16, 2025 by leogermond • Draft
Slides/165 each rst file should contain a section listing what concepts are described
#485 opened Jan 15, 2025 by frank-at-adacore Loading…
Convert multi-day modules into a single module
#484 opened Jan 15, 2025 by frank-at-adacore Loading…
Slides/199 convert rust slides to feng format
#483 opened Jan 9, 2025 by frank-at-adacore Loading…
Rename "Access Types - Advanced" to "Access Types In Depth"
#482 opened Jan 7, 2025 by frank-at-adacore Loading…
Module 245: Slightly more meaningful names modification
#481 opened Jan 2, 2025 by dm-at-ada Loading…
1
Module 270: Changes to add more meaningful names, where appropriate, for single vars
#480 opened Jan 2, 2025 by dm-at-ada Loading…
1
Shorten overview "big picture"
#479 opened Jan 2, 2025 by frank-at-adacore Loading…
Renaming single char vars where it makes sense to do so
#478 opened Dec 20, 2024 by dm-at-ada Loading…
1
Renaming single var names to something a little more meaningful
#477 opened Dec 20, 2024 by dm-at-ada Loading…
1
Improve expression function quiz
#476 opened Dec 20, 2024 by frank-at-adacore Loading…
Adding type invariant diagram as svg (and removing old png)
#475 opened Dec 20, 2024 by dm-at-ada Loading…
1
Slides/195 reorganization of some fringe modules
#474 opened Dec 19, 2024 by frank-at-adacore Loading…
Slides/187 expressions membership tests quiz add information prior to quiz outlining usage of or
#473 opened Dec 19, 2024 by frank-at-adacore Loading…
Slides/185 simplify extended examples within the subprograms module
#472 opened Dec 17, 2024 by frank-at-adacore Loading…
Break Type Derivation module into chapters
#471 opened Dec 17, 2024 by frank-at-adacore Loading…
Remove unnecessary slide
#470 opened Dec 17, 2024 by frank-at-adacore Loading…
Rework confusing quiz
#469 opened Dec 17, 2024 by frank-at-adacore Loading…
Slides/194 245 ravenscar tasking into chapters
#467 opened Dec 16, 2024 by frank-at-adacore Loading…
Rework 075 module to include content from adv_075 module
#465 opened Dec 11, 2024 by frank-at-adacore Loading…
Break Discriminated Records module into chapters
#464 opened Dec 10, 2024 by frank-at-adacore Loading…
Break Visibility module into chapters
#463 opened Dec 9, 2024 by frank-at-adacore Loading…
Slides/157 break 273 subprogram contracts into chapters
#462 opened Dec 9, 2024 by frank-at-adacore Loading…
Split Overview module into chapters
#461 opened Dec 9, 2024 by frank-at-adacore Loading…
Slides/189 break 005 introduction into chapters
#460 opened Dec 9, 2024 by frank-at-adacore Loading…
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.