Code

Slides/2 problems found from pat#456

Code

Open

dm-at-ada wants to merge 11 commits intomasterAdaCore/training_material:masterfrom slides/2-problems-found-from-PATAdaCore/training_material:slides/2-problems-found-from-PATCopy head branch name to clipboard

+19-19

Commits

Commits on Dec 5, 2024

• Add missing exponent to quiz answers

  dm-at-ada

  committed
  b658d40

• Adding explicit language to spell out "if condition" for requirement

  dm-at-ada

  committed
  211db88

• Moving extra credit slides to text BEFORE answers

  dm-at-ada

  committed
  7232212

• Changing "compiler error" to "constraint error" to more accurately reflect the failed check

  dm-at-ada

  committed
  0465314

• Hopeful fix for @ sign readability

  dm-at-ada

  committed
  be12884

Commits on Dec 6, 2024

• Adding a short description to state accessor is illegal for private type

  dm-at-ada

  committed
  976c1f4

• Escaping the @ symbol to see if that helps

  dm-at-ada

  committed
  2feb983

• Trying to fix @ again

  dm-at-ada

  committed
  fad39eb

• Trying \text formatting for @ sign

  dm-at-ada

  committed
  53c1c37

• Trying to fix the @ sign again...

  dm-at-ada

  committed
  c50934f

• Reverting @ sign changes

  dm-at-ada

  committed
  3b78b2e