messages from 2015-05-18 19:35:23 to 2015-05-30 20:52:56 UTC [more...]
Build language with weak typing, then add scaffolding later to strengthen it?
2015-05-30 20:52 UTC (102+ messages)
Arm - ravenscar - exceptions - last chance handler
2015-05-30 19:18 UTC (9+ messages)
longest path through a task
2015-05-30 10:50 UTC (14+ messages)
Problems with the "mwindows" switch
2015-05-30 0:08 UTC (14+ messages)
gprbuilds and bullds using the gpr within gps
2015-05-29 20:05 UTC (7+ 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)
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