comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2017-04-26 10:58:54 to 2017-05-21 19:22:35 UTC [more...]

Ada-Europe 2017 - end of Mon 22 May = early registration ends
 2017-05-21 19:22 UTC 

Preventing private procedure visibility being made public through extension
 2017-05-21 18:14 UTC  (11+ messages)

A Simpler Find Tool
 2017-05-21 17:22 UTC  (4+ messages)

Call for Participation: Automotive - Safety & Security 2017
 2017-05-20 18:25 UTC 

ANN: GCC 7.1.0 for arm-eabi
 2017-05-20 15:49 UTC 

hows gnoga? anyone got blog site etc up I can see?
 2017-05-20 13:51 UTC  (9+ messages)

Portable memory barrier?
 2017-05-19  7:54 UTC  (65+ 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  (6+ 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)


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