messages from 2013-05-08 13:15:14 to 2013-05-21 22:43:30 UTC [more...]
ASN.1 to Ada?
2013-05-21 22:43 UTC
do ada tasks run accross 16 cpu boxs? or stuck on 1 cpu?
2013-05-21 19:41 UTC (6+ 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)
ADASTUDIO 2013
2013-05-19 8:16 UTC
Seeking for papers about tagged types vs access to subprograms
2013-05-17 19:57 UTC (186+ messages)
` Weaker typing as a part of the way to stronger typing? (Was: Seeking for papers about tagged types vs access to subprograms)
Software Integration Survey
2013-05-17 17:54 UTC (2+ messages)
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)
User defined type conversion
2013-05-12 15:02 UTC (12+ messages)
tell me all about peru
2013-05-10 14:20 UTC
Generic access type convention and aliasing
2013-05-08 20:44 UTC (9+ 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