messages from 2015-05-13 14:21:58 to 2015-05-29 13:25:07 UTC [more...]
Standard'Maximum_Alignment
2015-05-29 13:25 UTC (3+ messages)
ANN: GCC 5.1.0 for Mac OS X
2015-05-29 12:17 UTC (3+ messages)
Build language with weak typing, then add scaffolding later to strengthen it?
2015-05-29 12:03 UTC (81+ messages)
Problems with the "mwindows" switch
2015-05-29 11:00 UTC (10+ messages)
software failure metrics
2015-05-29 8:44 UTC (5+ messages)
longest path through a task
2015-05-29 4:38 UTC (12+ messages)
Where did http://wiki.ada-dk.org/ go?
2015-05-28 22:11 UTC (8+ messages)
Ada-Europe 2015 early registration deadline approaching
2015-05-28 21:13 UTC
Genode 15.05 is out and brings the Muen Separation Kernel
2015-05-28 16:12 UTC (3+ messages)
snag in building Ada mode Emacs module on Linux
2015-05-28 4:14 UTC (3+ messages)
Prime sieve
2015-05-27 17:39 UTC (5+ messages)
gprbuilds and bullds using the gpr within gps
2015-05-26 10:22 UTC (2+ messages)
GNAT bugs around use of "for X'Address..." clause
2015-05-22 8:08 UTC (3+ messages)
Updated Ada support for Archlinux
2015-05-20 15:52 UTC (5+ messages)
Linux kernel module - memory allocation
2015-05-19 11:16 UTC (20+ messages)
Gnat for ARM : are these bugs?
2015-05-19 8:44 UTC (3+ messages)
{Pre,Post}conditions and side effects
2015-05-19 7:46 UTC (41+ messages)
Anyone Have a Working Example of CGI Using the GNAT GPL Library
2015-05-18 14:40 UTC (3+ messages)
Efficient Bit Vector Manipulation
2015-05-18 11:43 UTC (10+ messages)
Ann: Generic Image Decoder v.04
2015-05-16 5:16 UTC
Email from and Ada program
2015-05-16 4:08 UTC (3+ messages)
SPARK - precondition might fail (when there is no precondition)
2015-05-15 14:04 UTC
Polymorphism
2015-05-14 21:34 UTC (6+ messages)
Incomplete types used with generics
2015-05-14 20:48 UTC (5+ messages)
Validating XML using Ada schema module
2015-05-14 15:56 UTC (12+ 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