messages from 2018-03-22 21:36:31 to 2018-04-06 13:22:35 UTC [more...]
Generic library design
2018-04-06 13:22 UTC
libgnadeodbc
2018-04-06 10:54 UTC (3+ messages)
Interesting article on ARG work
2018-04-06 7:30 UTC (17+ messages)
Large number of tasks slows down my program (using debian) - any fix?
2018-04-06 5:58 UTC (25+ messages)
` Benchmarks Game: Thread ring (Was: Large number of tasks slows down my program (using debian) - any fix?)
limited agregate and limited components default initialization
2018-04-05 10:27 UTC (43+ messages)
Ada-Oriented GUI
2018-04-04 7:30 UTC (77+ messages)
` Killing software and certification (was: Ada-Oriented GUI)
` Killing software and certification
Ada case-statement
2018-04-03 17:56 UTC (3+ messages)
changing rules for anonymous access types to named ones
2018-04-03 12:44 UTC (6+ messages)
requiring Ada(2020?) in self-driving autonomous automobiles
2018-04-03 8:58 UTC (8+ messages)
Annex E.5 System.RPC
2018-04-02 19:39 UTC
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
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 (30+ 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 (2+ 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 (3+ 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