messages from 2010-06-10 15:12:13 to 2010-06-17 17:11:29 UTC [more...]
Strategies with SPARK which does not support exceptions
2010-06-17 17:11 UTC (2+ messages)
small example, using complex variables in Ada
2010-06-17 16:36 UTC (29+ messages)
More Ada in Cryptography
2010-06-17 8:47 UTC
Ada in Cryptography
2010-06-17 6:58 UTC
What is SPARK about?
2010-06-17 5:38 UTC (12+ messages)
Press Release - Ada-Europe launches Programming Contest
2010-06-16 22:56 UTC
Gnat GPL 2010 available soon
2010-06-16 21:35 UTC (3+ messages)
Processing array subsections, a newbie question
2010-06-16 19:22 UTC (28+ messages)
Test; Please Ignore
2010-06-16 18:16 UTC
GNAT GPL 2009 and Vista
2010-06-16 12:17 UTC (2+ messages)
Slightly OT: Debian Community Poll
2010-06-16 7:36 UTC (19+ messages)
Ada in Cryptography
2010-06-16 7:11 UTC
What is the best way to convert Integer to Short_Short_Integer?
2010-06-16 1:27 UTC (18+ messages)
A Newbie to the group
2010-06-15 21:41 UTC (14+ messages)
GCC conflict on Ubuntu for mixed Ada/C++ project
2010-06-15 17:05 UTC (36+ messages)
` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
` Improving the first contact with Ada
Subtypes boundaries
2010-06-15 1:20 UTC (9+ messages)
Generic operation and prefixed notation
2010-06-15 1:14 UTC (4+ messages)
Ada related perl scripts update
2010-06-14 20:57 UTC (3+ messages)
Good news
2010-06-14 20:13 UTC (4+ messages)
2010 FIFA World Cup Barcelona jersey
2010-06-14 1:56 UTC
FYI -- Lunar lander project relies on SPARK programming language
2010-06-12 12:12 UTC (8+ messages)
what are some of the uses for ada?
2010-06-12 9:40 UTC (3+ messages)
REMINDER: approaching deadline (June 25, 2010) for SIGAda 2010 submissions
2010-06-11 19:57 UTC
Ada requires too much typing!
2010-06-11 18:38 UTC (47+ messages)
Generic package with dynamic subprogram name?
2010-06-11 12:19 UTC (6+ messages)
Simple hack to get $500 to your home
2010-06-11 4:22 UTC
Shared library project
2010-06-10 19:53 UTC (8+ messages)
Why is Ada considered "too specialized" for scientific use
2010-06-10 15:12 UTC (3+ 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