comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2018-03-20 02:33:34 to 2018-04-01 17:37:59 UTC [more...]

Ada-Oriented GUI
 2018-04-01 17:37 UTC  (96+ messages)
                    ` Killing software and certification (was: Ada-Oriented GUI)
                      ` Killing software and certification

limited agregate and limited components default initialization
 2018-04-01 15:54 UTC  (16+ messages)

ANN: AdaYaml 0.3.0
 2018-04-01 13:00 UTC  (2+ messages)

GNAT 2016 and PolyORB
 2018-04-01 12:58 UTC  (5+ messages)

23rd Int.Conf. Reliable Software Technologies, Ada-Europe 2018
 2018-04-01  5:46 UTC 

useful AUnit filter
 2018-03-31 21:50 UTC 

Large number of tasks slows down my program (using debian) - any fix?
 2018-03-31 10:44 UTC  (15+ messages)

how to copy complete column (or row) of matrix to another?
 2018-03-30 21:25 UTC  (6+ messages)

LLVM and Ada
 2018-03-30 20:46 UTC  (31+ messages)

requiring Ada(2020?) in self-driving autonomous automobiles
 2018-03-29  7:21 UTC  (6+ messages)

Overriding procedure as null
 2018-03-28  0:08 UTC  (2+ messages)

representation clauses ok in generics when the formal type in tagged with known ancestor, but not ok when only know to be tagged ? ... said the compiler
 2018-03-27 23:59 UTC  (4+ messages)

Ann: Mathpaqs release 27-Mar-2018
 2018-03-27 21:27 UTC 

TCP Server & Client
 2018-03-25 19:17 UTC  (3+ messages)

Ada-Oriented GUI
 2018-03-24  7:51 UTC  (2+ messages)

Current recommendations for learning Ada?
 2018-03-23 16:49 UTC  (4+ messages)

grassroots level SPARK Initiation
 2018-03-23 16:33 UTC  (4+ messages)

When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int
 2018-03-23  5:04 UTC  (7+ messages)

Ada Visual Studio Integration
 2018-03-22  3:21 UTC  (4+ messages)

little precision about anonymous access types
 2018-03-21 22:46 UTC  (5+ messages)

time of update of new values for out mode parameters
 2018-03-20 11:18 UTC  (4+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox