messages from 2014-04-23 17:51:03 to 2014-05-07 12:14:19 UTC [more...]
Safety of unprotected concurrent operations on constant objects
2014-05-07 12:14 UTC (48+ messages)
GNAT GPL 2014
2014-05-06 20:13 UTC
ANN: GCC 4.9.0 for Mac OS X Mavericks
2014-05-06 19:05 UTC (9+ messages)
Noob question.. Autopromotion?
2014-05-06 13:31 UTC (5+ messages)
GTK and tasking (GNAT)
2014-05-06 12:43 UTC (15+ messages)
I'm a noob here
2014-05-06 10:47 UTC (13+ messages)
Air Traffic Control Issue
2014-05-05 23:27 UTC
19th Int.Conf. Reliable Software Technologies, Ada-Europe 2014
2014-05-04 19:26 UTC
How to declare a generic formal type "covered" by another?
2014-05-02 16:00 UTC (16+ messages)
Ada on Teensy 3.1?
2014-04-30 19:54 UTC (2+ messages)
Are values of non-limited actual type for a limited formal type built in place?
2014-04-30 15:23 UTC (2+ messages)
(SPARK Ada) Proving that bitwise and is associative?
2014-04-30 12:39 UTC (4+ messages)
Your wish list for Ada 202X
2014-04-29 19:42 UTC (77+ messages)
GLIBC_2.14 memcpy
2014-04-28 12:23 UTC (8+ messages)
Heartbleed
2014-04-27 15:36 UTC (44+ messages)
` Oberon and Wirthian languages (was: Heartbleed)
` Oberon and Wirthian languages
Side-channel Attacks (Time)
2014-04-25 19:43 UTC (6+ messages)
Declaration of function in precondition
2014-04-25 1:45 UTC (3+ messages)
Another open-source compiler
2014-04-23 22:08 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