messages from 2014-04-21 22:50:34 to 2014-05-04 21:57:11 UTC [more...]
Safety of unprotected concurrent operations on constant objects
2014-05-05 21:23 UTC (20+ messages)
GTK and tasking (GNAT)
2014-05-04 21:57 UTC (12+ messages)
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)
ANN: GCC 4.9.0 for Mac OS X Mavericks
2014-05-01 4:00 UTC (2+ 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 (91+ messages)
GLIBC_2.14 memcpy
2014-04-28 12:23 UTC (12+ messages)
Heartbleed
2014-04-27 15:36 UTC (64+ 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)
OpenSSL development (Heartbleed)
2014-04-23 8:20 UTC (25+ messages)
Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA
2014-04-22 18:06 UTC
Type Transcriptions
2014-04-22 8:57 UTC (8+ 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