messages from 2015-05-04 00:09:48 to 2015-05-18 21:09:54 UTC [more...]
Linux kernel module - memory allocation
2015-05-18 21:09 UTC (11+ messages)
Anyone Have a Working Example of CGI Using the GNAT GPL Library
2015-05-18 14:40 UTC (10+ messages)
{Pre,Post}conditions and side effects
2015-05-18 12:10 UTC (83+ 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 (9+ messages)
Incomplete types used with generics
2015-05-14 20:48 UTC (9+ messages)
Validating XML using Ada schema module
2015-05-14 15:56 UTC (15+ messages)
Annoying behavior
2015-05-13 12:07 UTC (22+ messages)
` Textedit and txt
Pipes-and-Filters
2015-05-12 20:18 UTC (2+ messages)
python scripting interface for gnat
2015-05-12 13:34 UTC (5+ messages)
opentoken 6.0b released
2015-05-12 13:09 UTC
Interesting Array Initialization Code Gen [FSF GNAT 4.9.2]
2015-05-12 1:23 UTC (3+ messages)
I just got my Ada mug
2015-05-11 12:55 UTC (7+ messages)
Updated Ada support for Archlinux
2015-05-11 7:25 UTC (2+ messages)
getting same output as gfortran, long_float
2015-05-07 2:01 UTC (23+ messages)
Change in GCC 5.1.0
2015-05-06 21:29 UTC (2+ messages)
New Ada Mascot Image - Lady Ada with Lady Fairy
2015-05-06 13:31 UTC (7+ messages)
Q: tasks and recursion, binary tree
2015-05-06 12:27 UTC (2+ messages)
Boeing 787 integer overflow
2015-05-04 13:28 UTC (13+ messages)
Installing gnatcoll on Windows
2015-05-04 5:17 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