comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2017-04-20 17:17:07 to 2017-05-19 07:54:12 UTC [more...]

Portable memory barrier?
 2017-05-19  7:54 UTC  (65+ messages)

hows gnoga? anyone got blog site etc up I can see?
 2017-05-19  7:49 UTC  (3+ messages)

Rust's temporal safety for Ada/SPARK
 2017-05-17 21:21 UTC  (21+ messages)

ANN: GCC 7.1.0 for macOS
 2017-05-17 14:21 UTC  (6+ messages)

Does SPARK support tasks?
 2017-05-16 13:00 UTC  (2+ messages)

Weird Bug in Get_Line
 2017-05-14 21:49 UTC  (9+ messages)

GPS - invoking GDB
 2017-05-13 19:17 UTC 

can ada do big financial apps?
 2017-05-13 12:58 UTC  (4+ messages)

Ada-Europe 2017 - early registration until May 22
 2017-05-10 21:30 UTC 

ACATS & dispatching priorities
 2017-05-09 19:41 UTC  (5+ messages)

ANN:Ada 2005 Math Extensions 20170427
 2017-05-09 13:20 UTC  (4+ messages)

Question about sets and expression
 2017-05-09 11:15 UTC  (12+ messages)

Many overlook the possibility sin(x,360.0) ?
 2017-05-08 17:37 UTC  (10+ messages)

Tasking and Concurrent Programming Using Multiple Ada Programs
 2017-05-07 19:32 UTC  (6+ messages)

raised PROGRAM_ERROR : XXXXXX finalize/adjust raised exception
 2017-05-07 19:19 UTC  (10+ messages)

Large Integer Overflow - Causing a Bottleneck - Any solution
 2017-05-05  8:28 UTC  (10+ messages)

Ada, Windows x64 building
 2017-05-05  4:30 UTC 

Ada Z-wave support
 2017-05-03 16:36 UTC 

Does anybody know how to get the elaboration order from ObjectAda?
 2017-05-03  4:51 UTC  (3+ messages)

GNAT vs UTF-8 source file names
 2017-04-30 17:10 UTC 

avoiding builtin memset
 2017-04-27  7:09 UTC  (12+ messages)

Ada wikibook help needed (O-O)
 2017-04-24 22:06 UTC  (9+ messages)

Is there a reason System.Storage_Pools isn't Pure?
 2017-04-22 17:18 UTC  (7+ messages)

Ada compiler on Arduino Nano 3.0
 2017-04-22  4:59 UTC  (3+ messages)

22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
 2017-04-20 17:17 UTC 


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox