messages from 2016-04-21 18:14:17 to 2016-05-17 23:25:47 UTC [more...]
Preelaboration
2016-05-17 23:25 UTC (6+ messages)
Windows Driver Programming with Ada
2016-05-17 17:03 UTC (3+ messages)
ANN: Introducing AdaBase - Thick database bindings for Ada
2016-05-17 9:38 UTC (19+ messages)
Could you write a BSD like os in ADA?
2016-05-16 17:37 UTC (24+ messages)
Proof of array initialization in SPARK 2014
2016-05-15 19:42 UTC (6+ messages)
Ada-Belgium Spring 2016 Event, Sun 22 May 2016
2016-05-15 9:49 UTC
Nice to know
2016-05-13 12:50 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 (18+ 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
GNAT GPL 2015 and Ubuntu 16.04 => ld: /usr/lib/x86_64-linux-gnu/crti.o: unrecognized relocation
2016-04-25 6:12 UTC (3+ messages)
A more precise proof
2016-04-25 1:05 UTC
Using Gnat.Sockets in a Windows DLL
2016-04-23 9:24 UTC (4+ messages)
Non_Primitive Operations and Object.Operation Resolution
2016-04-23 0:38 UTC (9+ messages)
Why this program does not compile? (iterators)
2016-04-22 11:14 UTC (2+ messages)
ANN: Dequesterity v1.5 (Buffers of many shapes and sizes)
2016-04-22 6:17 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