messages from 2022-05-30 06:47:01 to 2022-07-23 07:59:40 UTC [more...]
License for small Ada.* complements
2022-07-23 7:59 UTC (2+ messages)
Carbon
2022-07-22 21:13 UTC
No Free GNAT 2022
2022-07-17 12:51 UTC (7+ messages)
Which site to upload software?
2022-07-16 21:40 UTC (6+ messages)
deferred constants
2022-07-12 14:45 UTC (14+ messages)
` RegEx / rename of a function result
` RegEx / rename of a function resultRig
Gnu Emacs Ada mode 7.3.beta released
2022-07-12 14:31 UTC
Safe to ignore warnings about function mistaken as primitive?
2022-07-11 13:17 UTC (4+ messages)
SPARK and pragma Export
2022-07-11 10:05 UTC
max line length
2022-07-06 10:35 UTC (7+ messages)
too much spaces with Gtk.Button.Set_Image
2022-07-05 3:18 UTC (2+ messages)
Ann: HAC v.0.2
2022-07-02 7:48 UTC (2+ messages)
SimpleComponents / MQTT
2022-07-01 13:22 UTC (5+ messages)
Gtk_Event_Box / Gtk_Fixed
2022-07-01 9:10 UTC (2+ messages)
New aggregates with Ada 2022
2022-07-01 5:20 UTC (44+ messages)
Good news
2022-06-29 4:34 UTC (4+ messages)
Ada/SPARK Crate Of The Year is back!
2022-06-28 12:55 UTC
[Ann] Adalog components
2022-06-27 16:23 UTC
overloading predefined operators
2022-06-25 6:21 UTC (6+ messages)
Has anybody successfully installed Alire 1.2.0 in Windows 10 Pro?
2022-06-21 20:00 UTC
who needs types? Types makes code ugly
2022-06-20 21:40 UTC (26+ messages)
` What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.)
Bugged Multiway_Tree package?
2022-06-13 22:02 UTC (2+ messages)
Using pointers with inline assembly in Ada
2022-06-13 20:33 UTC (13+ messages)
Un-installing GNAT
2022-06-13 17:00 UTC (8+ messages)
Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol
2022-06-12 20:59 UTC
Ada needs some modernization
2022-06-10 16:38 UTC (8+ messages)
Extra information in the message string of exceptions
2022-06-09 8:21 UTC (25+ messages)
AdaCore Blog: A New Era For Ada/SPARK Open Source Community
2022-06-06 16:03 UTC (2+ messages)
[ANN] Alire 1.2.0
2022-06-06 8:57 UTC
Hiding Code from SPARK
2022-06-04 16:16 UTC
Problems using Generic_Dispatching_Constructor
2022-06-01 21:25 UTC (3+ messages)
What is X'Address of an empty array?
2022-06-01 12:49 UTC (3+ messages)
[Reminder] The PragmAda Reusable Components
2022-06-01 10:23 UTC
GtkAda's "On_Edited"
2022-06-01 3:18 UTC (5+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox