messages from 2016-04-28 20:50:45 to 2016-05-30 11:33:38 UTC [more...]
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
Advice, tasking and hardware
2016-05-28 15:45 UTC (23+ messages)
gnatmake vs gprbuild (win32, GPL 2014 and 2015)
2016-05-28 9:02 UTC
Ada for Automation demo in the cloud
2016-05-26 8:43 UTC (3+ messages)
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 (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 (18+ 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 (2+ 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 (2+ 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 (3+ messages)
Ada-Europe 2016 - online registration open
2016-04-28 20:50 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