messages from 2010-08-13 13:41:08 to 2010-08-16 16:42:42 UTC [more...]
SPARK : third example for Roesetta - reviewers welcome
2010-08-16 16:42 UTC (25+ messages)
SPARKSkein released
2010-08-16 16:18 UTC (3+ messages)
Question about ordinary fixed point types
2010-08-16 15:47 UTC (17+ messages)
Ada Smileys in C++ lib Conversion
2010-08-16 14:54 UTC (15+ messages)
USB Boarduino on AVR-Ada Tutorial
2010-08-16 14:16 UTC (3+ messages)
Efficiency of code generated by Ada compilers
2010-08-16 14:09 UTC (37+ messages)
Using representation clauses in networking software
2010-08-16 10:57 UTC (22+ messages)
Is Aunit helpful?
2010-08-16 9:02 UTC (23+ messages)
[ANN]VTD-XML 2.9
2010-08-15 18:32 UTC (3+ messages)
ANN: Ada 2005 Math Extensions, 20100810 release
2010-08-15 18:18 UTC (34+ messages)
AUnit Examples Fail
2010-08-15 13:54 UTC (4+ messages)
Getting too smart with C
2010-08-15 9:49 UTC
SPARK understand me very well... me neither
2010-08-15 0:45 UTC (11+ messages)
S-expression I/O in Ada
2010-08-14 13:33 UTC (75+ messages)
What is your preferred VCS?
2010-08-13 20:23 UTC (2+ messages)
SPARK POGS: List the rules used by the Simplifier
2010-08-13 19:41 UTC (4+ 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