messages from 2018-02-04 09:34:56 to 2018-02-18 15:21:53 UTC [more...]
How to optimize use of RAM/disk access ?
2018-02-18 15:21 UTC (12+ messages)
GNAT can't vectorize Real_Matrix multiplication from Ada.Numerics.Real_Arrays. What a surprise!
2018-02-18 13:31 UTC (7+ messages)
Ada package for handling ANSI Standard (X3.64)
2018-02-17 18:19 UTC (4+ messages)
Generic_Rational
2018-02-17 16:41 UTC (5+ messages)
GNAT user-specified (via Raise_Exception) warning message size limit
2018-02-17 16:38 UTC (8+ messages)
Exporting linker options from library GPR
2018-02-17 15:52 UTC (28+ messages)
troubles learning OOP: expected type "Parent.Some_Child", found type Parent'Class
2018-02-17 1:13 UTC (33+ messages)
Formal Subprogram Access
2018-02-15 23:03 UTC (24+ messages)
[ANN] List_Image v0.2.0
2018-02-12 21:41 UTC (15+ messages)
New to Ada need help implementing Warshall's algorithm
2018-02-12 17:45 UTC (5+ messages)
troubles learning POO: expected type "Parent.Some_Child", found type Parent'Class
2018-02-12 16:35 UTC (2+ messages)
Anyone notice that Ada.Containers.Formal_Ordered_Maps is Pure?
2018-02-12 5:08 UTC
grassroots thoughts on access types
2018-02-11 21:51 UTC (36+ messages)
IRTAW 2018 Call for Papers Deadline Extension and Final Reminder
2018-02-10 10:30 UTC
any mp3 library bindings?
2018-02-09 23:24 UTC (4+ messages)
Reducing the cost of real-time software through a cyclic task abstraction for Ada
2018-02-09 21:03 UTC (8+ messages)
Card game deck but with trumps suit for tarot "divination" Is there a better way than enumerating all cards?
2018-02-08 23:06 UTC (13+ messages)
` Card game deck but with trumps suit for tarot "divination" Is there a better way
FOSDEM 2018 Ada Developer Room - presentations & videos online
2018-02-07 22:14 UTC
FOSDEM 2018 Ada!
2018-02-07 12:42 UTC (2+ messages)
Redefining "in" "operator"
2018-02-06 18:07 UTC (7+ messages)
? ZipAda, how I create and extract using only memory stream ?
2018-02-05 17:25 UTC (3+ messages)
Array of records with default values not propagating to array
2018-02-04 11:38 UTC (6+ 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