comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2017-05-08 23:24:41 to 2017-06-08 10:36:00 UTC [more...]

GNAT.Sockets Streaming inefficiency
 2017-06-08 10:36 UTC 

Ann: ArchiCheck v0.1
 2017-06-08 10:33 UTC  (5+ messages)
`  "

ACATS & dispatching priorities
 2017-06-08  9:37 UTC  (5+ messages)

Arrays in Ada 2012
 2017-06-08  7:07 UTC  (13+ messages)

https://jorisvink.gitbooks.io/kore-doc/content/ webapps in C? can ada do better?
 2017-06-07 23:07 UTC 

hows gnoga? anyone got blog site etc up I can see?
 2017-06-06 19:34 UTC  (14+ messages)

Compile-time function execution
 2017-06-06 13:15 UTC  (2+ messages)

Press Release - Reliable Software Technologies, Ada-Europe 2017
 2017-06-06  4:29 UTC 

Ada-Belgium Spring 2017 Event, Sun 25 June 2017
 2017-06-05 17:56 UTC 

ASIS2XML 20170603
 2017-06-03 14:25 UTC 

Ada, Windows x64 building
 2017-06-03  5:27 UTC  (4+ messages)

Microsoft UWP/WinRt
 2017-06-02 21:11 UTC  (7+ messages)

Preventing private procedure visibility being made public through extension
 2017-06-02 11:31 UTC  (40+ messages)

Announce : Qt5Ada version 5.9.0 (541 packages) release 01/06/2017 free edition
 2017-06-01  5:39 UTC 

[OT]
 2017-05-31 14:51 UTC 

GNAT gives message: No source file named xxx.adb when trying to set breakpoint in GPS
 2017-05-29 13:06 UTC  (3+ messages)

avoiding builtin memset
 2017-05-24 15:08 UTC  (2+ messages)

A Simpler Find Tool
 2017-05-22  3:19 UTC  (5+ messages)

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

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 

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

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  (9+ messages)


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