messages from 2018-05-21 15:27:40 to 2018-05-28 13:55:16 UTC [more...]
Strings with discriminated records
2018-05-28 13:55 UTC (24+ messages)
tutorial for concurrent programming techniques (in Ada)
2018-05-28 13:47 UTC (10+ messages)
why "unconstrained subtype in component declaration" while said component given default value ?
2018-05-27 18:17 UTC (15+ messages)
AI12-0218: What is the portable representation clause for processing IETF packets on little-endian machines?
2018-05-27 18:04 UTC (7+ messages)
Ada-Belgium Spring 2018 Event, Sun 10 June 2018
2018-05-27 18:03 UTC
How to configure GNAT GPL on x86-64 Linux for ARM ELF development
2018-05-27 8:26 UTC (11+ messages)
Announce : Qt5Ada version 5.11.0 (548 packages) release 26/05/2018 free edition
2018-05-27 3:25 UTC
about inheritance of subtypes and entities (such as constants) related to a type in the same package
2018-05-26 16:44 UTC (2+ messages)
Multiple iterators for a type
2018-05-26 14:22 UTC (12+ messages)
Interfaces.C.Strings chars_ptr memory management strategy
2018-05-26 13:56 UTC (4+ messages)
DragonEgg has been revived
2018-05-25 20:02 UTC (52+ messages)
undefined reference while calling an imported c function as procedure in ada
2018-05-25 15:41 UTC (4+ messages)
grassroots level SPARK Initiation
2018-05-25 1:09 UTC (5+ messages)
AWS SOAP with SSL
2018-05-24 16:22 UTC (16+ messages)
gnoga.com work on freebsd? anyone got a live site?
2018-05-24 5:00 UTC (7+ messages)
win64ada or win_32_64_ada ?
2018-05-23 20:02 UTC (6+ messages)
Should exceeding the range of Integer wrap around a la C?
2018-05-23 7:35 UTC (16+ messages)
Ada in polluted WWW searches
2018-05-22 22:00 UTC (7+ messages)
Ada on GraalVM
2018-05-22 17:59 UTC (2+ messages)
How to Download From PAL ?
2018-05-22 17:12 UTC (5+ messages)
ada-mode failing at formatting still
2018-05-21 16:37 UTC (3+ messages)
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