messages from 2018-05-26 02:52:53 to 2018-06-03 20:37:46 UTC [more...]
Interfaces.C.Strings chars_ptr memory management strategy
2018-06-03 20:37 UTC (12+ messages)
generating and compiling a very large file
2018-06-03 19:48 UTC (2+ messages)
Ada Successor Language
2018-06-03 19:37 UTC (23+ messages)
` Safety of user-defined operators (was: Ada Successor Language)
` Safety of user-defined operators
Some kind of repeating in Static_Predicate
2018-06-03 17:45 UTC
C++ vs. Ada: Which language is more strongly typed?
2018-06-03 16:38 UTC
Using interfaces
2018-06-03 7:06 UTC (8+ messages)
ASIS: Recognising type declarations from package Standard?
2018-06-02 16:30 UTC (3+ messages)
ANN: Simple components for Ada v4.29
2018-06-02 14:34 UTC
about inheritance of subtypes and entities (such as constants) related to a type in the same package
2018-06-01 15:27 UTC (28+ messages)
Strings with discriminated records
2018-06-01 15:20 UTC (51+ messages)
Header-only Ada libraries
2018-06-01 10:00 UTC (11+ messages)
Memory pools
2018-06-01 5:57 UTC (9+ messages)
SPARK TCP-IP
2018-05-31 6:13 UTC (3+ messages)
How to configure GNAT GPL on x86-64 Linux for ARM ELF development
2018-05-30 21:58 UTC (11+ messages)
AI12-0218: What is the portable representation clause for processing IETF packets on little-endian machines?
2018-05-30 19:38 UTC (13+ messages)
why "unconstrained subtype in component declaration" while said component given default value ?
2018-05-29 22:28 UTC (18+ messages)
Announce : Qt5Ada version 5.11.0 (548 packages) release 26/05/2018 free edition
2018-05-29 20:13 UTC (2+ messages)
tutorial for concurrent programming techniques (in Ada)
2018-05-28 13:47 UTC (7+ messages)
Ada-Belgium Spring 2018 Event, Sun 10 June 2018
2018-05-27 18:03 UTC
Multiple iterators for a type
2018-05-26 14:22 UTC (10+ 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