messages from 2013-05-13 18:39:18 to 2013-06-13 01:46:55 UTC [more...]
Howto declare an Ada container with access to objects of a class hierachy
2013-06-13 1:46 UTC (2+ messages)
Gnat 2013 is out!
2013-06-12 20:36 UTC (44+ messages)
Addressing MySQL from Ada
2013-06-10 22:23 UTC (6+ messages)
problem with gnat pp in gnat2013
2013-06-07 20:39 UTC (8+ messages)
ANN: Paraffin 4.2, Parallelism Generics
2013-06-07 9:19 UTC (4+ messages)
CFP: ACM/SIGAda HILT 2013 (High Integrity Language Technology) due June 29; conference in Pittsburgh November 10-14
2013-06-06 16:02 UTC
Possible for Ada 2020: "Cursors" for Arrays
2013-06-06 8:58 UTC (6+ messages)
Announce: Matreshka 0.5.0
2013-06-03 17:16 UTC
LDAP client/server in Ada?
2013-05-31 5:04 UTC (2+ messages)
Press Release - Reliable Software Technologies, Ada-Europe 2013
2013-05-30 20:49 UTC
ANN: Ada 2005 Math Extensions 20130529
2013-05-29 18:43 UTC
ADA Program
2013-05-28 22:39 UTC (6+ messages)
Expected exception is not thrown in Windows XP, should be a compiler bug?
2013-05-28 16:46 UTC (5+ messages)
Unchecked_Conversion vs Address-overlaying
2013-05-27 4:37 UTC (3+ messages)
Get the Netspend Prepaid Master Card
2013-05-26 21:28 UTC
ADASTUDIO 2013
2013-05-24 18:11 UTC (4+ messages)
Simple loop with a strange output
2013-05-24 12:46 UTC (10+ messages)
ASN.1 to Ada?
2013-05-22 20:31 UTC (6+ messages)
Software Integration Survey
2013-05-22 15:24 UTC (3+ messages)
do ada tasks run accross 16 cpu boxs? or stuck on 1 cpu?
2013-05-22 12:14 UTC (5+ messages)
Is it possible invoke $(pkg-config ...) in gnat project file?
2013-05-21 18:47 UTC (3+ messages)
SPARK Question
2013-05-20 23:40 UTC (7+ messages)
Seeking for papers about tagged types vs access to subprograms
2013-05-17 19:57 UTC (128+ messages)
` Weaker typing as a part of the way to stronger typing? (Was: Seeking for papers about tagged types vs access to subprograms)
Type vs subtype about visibility of parent's private full definition
2013-05-17 15:48 UTC (9+ messages)
Ada202X : alternate syntax for ranged scalars
2013-05-14 22:30 UTC (2+ 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