Search results

Custom_fixed_point_range.adb

questionFurther information is requestedFurther information is requested

Status: Open.

#1238 In AdaCore/learn;

· haithcoc opened on Jun 22, 2025

Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables"

Status: Open.

#1050 In AdaCore/learn;

· mgrojo opened on May 14, 2024

Info messages are highlighted as errors when they have a reference to a second line and column numbers

Status: Open.

#1049 In AdaCore/learn;

· mgrojo opened on May 12, 2024

Inconsistent content between "Verification Method" and "Notes"

Status: Open.

#1041 In AdaCore/learn;

· brobecke opened on May 2, 2024

warnings on code snippets are distracting attention from purpose

Status: Open.

#917 In AdaCore/learn;

· yannickmoy opened on Aug 2, 2023

The interfacing from C to Ada section should talk about adainit and adafinal

Status: Open.

#906 In AdaCore/learn;

· ButcherAdaCore opened on Jul 14, 2023

"Handling an exception" - "Attention" block

editorial

FeedbackFeedback from users about their experienceFeedback from users about their experience

Status: Open.

#892 In AdaCore/learn;

· dm-at-ada opened on Jun 1, 2023

Syntax Highlighting on Generics Page is Broken By Keyword

website infrastructure

Status: Open.

#891 In AdaCore/learn;

· dm-at-ada opened on May 31, 2023

Cross-references not always generated

website infrastructure

Status: Open.

#881 In AdaCore/learn;

· gusthoff opened on May 19, 2023

PDF books: fix font issue

website infrastructure

Status: Open.

#880 In AdaCore/learn;

· gusthoff opened on May 19, 2023

[Bug] Incorrect online execution result in SPARK tutorial (2/2)

Status: Open.

#718 In AdaCore/learn;

· rami3l opened on Apr 19, 2022

[Bug] Incorrect online execution result in SPARK tutorial (1/2)

Status: Open.

#717 In AdaCore/learn;

· rami3l opened on Apr 19, 2022