messages from 2016-04-25 11:58:07 to 2016-05-24 15:06:27 UTC [more...]
Launching background job from Ada.Real_Time.Timing_Events
2016-05-24 15:06 UTC (3+ messages)
Lightweight HTTP client library
2016-05-24 11:02 UTC (3+ messages)
ANN: Introducing AdaBase - Thick database bindings for Ada
2016-05-24 10:16 UTC (48+ messages)
ANN: GCC 6.1.0 arm-eabi for OS X El Capitan
2016-05-24 7:18 UTC (2+ messages)
Ada for Automation demo in the cloud
2016-05-23 21:57 UTC
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 (24+ 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 (27+ 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
ANN: GCC 6.1.0 for OS X El Capitan
2016-05-07 13:58 UTC
Improved Mine Detector Available
2016-05-06 23:19 UTC
How to do multiple instances of a generic packages in automated way. (using ravenscar profile)
2016-05-05 21:01 UTC (9+ messages)
spark training in bay area
2016-05-04 11:13 UTC
A suggestion about interfacing with C
2016-05-03 21:53 UTC (6+ messages)
I have no idea why this will not compile
2016-05-02 7:36 UTC (9+ messages)
ANN: Imago 0.2 released
2016-05-01 19:12 UTC
GNAT.Command_Line and -?
2016-04-30 21:00 UTC (2+ messages)
Broadcasting UDP
2016-04-29 23:35 UTC (7+ messages)
Modified Version of Unbounded_Integers
2016-04-29 17:01 UTC
Why doesn't the build of Gprlib need -mWindows?
2016-04-29 8:27 UTC
Potentially_Blocking aspect
2016-04-29 7:31 UTC (4+ messages)
Ada-Europe 2016 - online registration open
2016-04-28 20:50 UTC
Where do I get my Cairo context from (in GTK3)?
2016-04-28 7:49 UTC (12+ messages)
GtkAda signal handlers interface proposal
2016-04-27 19:47 UTC
Substrings as argument to procedures/functions
2016-04-26 18:41 UTC (7+ messages)
Ada for the TLS/SSL problem?
2016-04-26 10:42 UTC (2+ messages)
timer_server triggers Task_Termination handler
2016-04-25 21:42 UTC (7+ messages)
problems parse (large) json file with gnatcoll.json
2016-04-25 15:12 UTC (5+ messages)
Ann: Ada PDF Writer v.002
2016-04-25 13:11 UTC
Ann: Excel Writer v.15
2016-04-25 13:04 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