messages from 2016-05-07 14:53:28 to 2016-06-01 22:22:49 UTC [more...]
fyi, GNAT and SPARK GPL 2016 are out
2016-06-01 22:22 UTC (2+ messages)
Why am I getting "missing operand" from get_line()?
2016-06-01 22:21 UTC (8+ messages)
Advice, tasking and hardware
2016-06-01 19:09 UTC (25+ messages)
Warning "others choice is redundant" on tagged object initialization
2016-06-01 18:27 UTC (2+ messages)
ANN: Simple Components v4.13 released
2016-06-01 15:54 UTC (9+ messages)
MAX! home automation 1.3 released
2016-06-01 12:42 UTC (4+ messages)
Gnoga current status
2016-06-01 10:03 UTC (2+ messages)
OSX and Windows gnat status
2016-06-01 9:56 UTC
Ada for Automation demo in the cloud
2016-06-01 8:18 UTC (4+ messages)
ANN: Adequate, MQTT broker and client programs based on Kasakov's Components
2016-05-31 9:18 UTC (2+ messages)
Ada,static link dll.(windows)
2016-05-30 11:33 UTC (5+ messages)
ANN: Introducing AdaBase - Thick database bindings for Ada
2016-05-30 9:19 UTC (52+ messages)
User threads in Ada ?
2016-05-28 22:11 UTC (2+ messages)
Avoiding dispatching in procedure's with classwide types
2016-05-28 19:01 UTC
gnatmake vs gprbuild (win32, GPL 2014 and 2015)
2016-05-28 9:02 UTC
Launching background job from Ada.Real_Time.Timing_Events
2016-05-25 7:23 UTC (6+ messages)
Lightweight HTTP client library
2016-05-24 11:02 UTC (3+ messages)
ANN: GCC 6.1.0 arm-eabi for OS X El Capitan
2016-05-24 7:18 UTC (2+ messages)
ANN: SymExpr 1.1 (parsing and manipulating expressions)
2016-05-22 15:46 UTC
ANN: Cortex GNAT RTS 20160522
2016-05-22 14:20 UTC
[ANN] stream-tools 1.1.0
2016-05-21 11:38 UTC
Proof of array initialization in SPARK 2014
2016-05-21 2:00 UTC (9+ messages)
Nice to know
2016-05-18 12:26 UTC (2+ messages)
Preelaboration
2016-05-18 0:05 UTC (7+ messages)
Windows Driver Programming with Ada
2016-05-17 17:03 UTC (3+ messages)
Could you write a BSD like os in ADA?
2016-05-16 17:37 UTC (23+ messages)
Ada-Belgium Spring 2016 Event, Sun 22 May 2016
2016-05-15 9:49 UTC
Ada.Strings.Fixed.Count raises Storage_Error
2016-05-12 22:56 UTC (4+ messages)
Two-stage suspend operations
2016-05-11 21:20 UTC (10+ messages)
CFP: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30
2016-05-10 1:25 UTC
Building an encapsulated library that uses GNAT sockets under Windows
2016-05-09 22:32 UTC (13+ messages)
Help with tasks
2016-05-09 2:24 UTC (7+ messages)
Ada-Europe 2016 - early registration until May 17
2016-05-08 21:10 UTC
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