messages from 2018-03-27 19:25:27 to 2018-04-09 14:44:15 UTC [more...]
Interesting article on ARG work
2018-04-09 14:44 UTC (37+ messages)
libgnadeodbc
2018-04-09 11:55 UTC (9+ messages)
no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !
2018-04-08 13:47 UTC (5+ messages)
Large number of tasks slows down my program (using debian) - any fix?
2018-04-08 8:25 UTC (38+ messages)
` Benchmarks Game: Thread ring (Was: Large number of tasks slows down my program (using debian) - any fix?)
Linking Ada to C++ Overloaded Functions and Methods
2018-04-07 20:25 UTC (5+ messages)
Standard."-" provided to "with function "-" (VAL1 : in VALUE_TYPE) return VALUE_TYPE is <>;" refused:
2018-04-07 13:37 UTC (11+ messages)
Generic library design
2018-04-07 2:32 UTC (2+ messages)
Annex E.5 System.RPC
2018-04-06 13:40 UTC (2+ messages)
limited agregate and limited components default initialization
2018-04-05 10:27 UTC (43+ messages)
Ada-Oriented GUI
2018-04-04 7:30 UTC (55+ 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)
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 (16+ 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
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