messages from 2011-04-21 19:27:40 to 2011-05-05 07:13:12 UTC [more...]
High-Integrity OO and controlled types
2011-05-05 7:13 UTC (30+ messages)
Problem where a function is invoked once but called twice (when invocation is within an allocator)
2011-05-05 6:12 UTC (3+ messages)
KISS4691, a potentially top-ranked RNG
2011-05-05 1:12 UTC (27+ messages)
Ada Tutor Available from PragmAda Software Engineering
2011-05-04 21:39 UTC (2+ messages)
Ada and CUDA apis
2011-05-04 3:04 UTC (2+ messages)
A hole in Ada type safety
2011-05-03 16:57 UTC (8+ messages)
Fun with C
2011-05-03 15:34 UTC (85+ messages)
Ada-Belgium Spring 2011 Event: 2011-05-22
2011-05-03 9:22 UTC
Ada 2012 : aliased parameters ?
2011-04-30 23:46 UTC (8+ messages)
Problem referencing library file via project file
2011-04-30 21:36 UTC (4+ messages)
If not Ada, what else
2011-04-29 12:45 UTC (23+ messages)
` C++/cmake project, injecting Ada... (was Re: If not Ada, what else...)
` C++/cmake project, injecting Ada
Ada Tutor Web Site Shutting Down
2011-04-29 6:00 UTC (5+ messages)
Mit nye telefonnummer: 6043 1992
2011-04-28 7:54 UTC (2+ messages)
` Gah! I posted this to the wrong group
Ann: GNAT-AUX upgrade in *BSD, includes C++ now
2011-04-27 18:23 UTC
design changes per Ada 2005/12?
2011-04-26 23:12 UTC (9+ messages)
The Ada Way programming contest now accepts submissions
2011-04-26 21:35 UTC
C++ primer on multithreading
2011-04-24 7:42 UTC (10+ messages)
GNAT Ada cross compiler for QNX
2011-04-23 21:17 UTC
ada commercial options
2011-04-23 0:50 UTC (13+ messages)
Distributed System Annex and cross-domain applications
2011-04-22 21:47 UTC (4+ messages)
GNAT.Serial_Communications
2011-04-22 16:14 UTC (28+ 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