messages from 2015-05-15 12:07:40 to 2015-05-29 21:36:32 UTC [more...]
Problems with the "mwindows" switch
2015-05-29 21:36 UTC (12+ messages)
Build language with weak typing, then add scaffolding later to strengthen it?
2015-05-29 21:36 UTC (89+ messages)
gprbuilds and bullds using the gpr within gps
2015-05-29 20:05 UTC (7+ messages)
longest path through a task
2015-05-29 16:31 UTC (13+ messages)
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)
software failure metrics
2015-05-29 8:44 UTC (5+ 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)
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 (22+ 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
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