comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2017-01-27 09:20:42 to 2017-02-24 15:32:04 UTC [more...]

Ada Reference Manual 2012 with Technical Corrigendum 1 in info format available
 2017-02-24 15:32 UTC  (5+ messages)

State of the compiler market
 2017-02-24  9:32 UTC  (9+ messages)

vim and syntax highlight + indentation
 2017-02-24  8:41 UTC 

Relaxed and strict secondary stack management
 2017-02-23 22:28 UTC 

MAX! home automation v1.8
 2017-02-23  3:40 UTC  (2+ messages)

relax double parens in expression_function_declaration?
 2017-02-22 23:00 UTC  (9+ messages)

ANN: GtkAda contributions v3.18
 2017-02-21 22:06 UTC 

Lock-Free stack in Ada SPARK
 2017-02-21  8:44 UTC  (21+ messages)

ANN: Simple Components for Ada v4.19
 2017-02-20 17:53 UTC 

Can anyone help debug my lock-free queue based on "Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms"?
 2017-02-19  5:15 UTC  (2+ messages)

exception in create procedure of DIRECT_IO
 2017-02-16  2:01 UTC  (3+ messages)

Debian & gprinstall
 2017-02-15 10:33 UTC  (7+ messages)

I am not understanding user defined exceptions
 2017-02-15  9:32 UTC  (28+ messages)

[ANN] Muen development version 0.8 released
 2017-02-14  9:02 UTC  (4+ messages)

GDB vs macOS Sierra
 2017-02-13 22:03 UTC 

Visual Studio IDE - Integration
 2017-02-12 10:26 UTC  (15+ messages)

Hint to Ada newbies
 2017-02-11 17:40 UTC  (12+ messages)

Bernoulli numbers at RosettaCode
 2017-02-11  0:07 UTC  (2+ messages)

AdaMagic documentation
 2017-02-10 15:25 UTC 

Test for constant (or "in parameter" in procedure)
 2017-02-10  7:48 UTC  (13+ messages)

Jobs for Ada developers in New England US?
 2017-02-09 21:41 UTC  (2+ messages)

Why can't Ada use dot notation on private types?
 2017-02-09  8:47 UTC  (7+ messages)

ANN: GNAT for FreeBSD/64 available (two options)
 2017-02-08 15:30 UTC 

ANN: Deepend version 3.9 Release
 2017-02-06  4:25 UTC 

C# new features (v.7)
 2017-02-05 17:25 UTC  (10+ messages)

ANN: Simple Components for Ada v4.18
 2017-02-05 11:36 UTC 

About Israel
 2017-02-04 16:26 UTC  (2+ messages)

Question: Ordered Loading of an Array
 2017-02-04 16:22 UTC  (4+ messages)

[ANN] SparForte 2.0.2
 2017-02-02 18:10 UTC 

Can I get some code review on some Ada SPARK 2014 code?
 2017-02-02 11:52 UTC  (4+ messages)

GtkAda on Ubuntu 16.04
 2017-01-31 18:28 UTC  (5+ messages)

Tasking without Protected Objects
 2017-01-31 17:55 UTC  (7+ messages)

About A# and .Net
 2017-01-31  8:19 UTC  (2+ messages)

Question on type invariants
 2017-01-31  6:44 UTC  (5+ messages)

Announce: QtAda 5.8.0
 2017-01-29  6:21 UTC 

Dynamic type system for Ada
 2017-01-28  9:37 UTC  (5+ messages)

REQ: Extend slices for n dimensional arrays for Ada 202X
 2017-01-28  9:08 UTC  (14+ messages)
`  "

Ada.Numerics.Long_Real_Arrays
 2017-01-27 18:39 UTC  (3+ messages)

2017/Nr.5 S.8 "Daten essen Seele auf"
 2017-01-27 10:47 UTC  (2+ messages)


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