messages from 2015-05-12 18:39:11 to 2015-05-28 23:49:40 UTC [more...]
Build language with weak typing, then add scaffolding later to strengthen it?
2015-05-28 23:49 UTC (71+ messages)
Problems with the "mwindows" switch
2015-05-28 22:19 UTC (8+ 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
longest path through a task
2015-05-28 18:12 UTC (11+ messages)
Genode 15.05 is out and brings the Muen Separation Kernel
2015-05-28 16:12 UTC (3+ messages)
software failure metrics
2015-05-28 8:21 UTC
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 (57+ 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)
Annoying behavior
2015-05-13 12:07 UTC (13+ messages)
` Textedit and txt
Pipes-and-Filters
2015-05-12 20:18 UTC (2+ 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