messages from 2017-07-31 20:00:49 to 2017-08-17 08:48:27 UTC [more...]
ANN: AdaYaml 0.1.0 (initial release)
2017-08-17 8:48 UTC
ANN: Swiss Ada Event 21-Sep-17
2017-08-17 8:25 UTC
Problem compiling GTKAda examples (gtk.ads not found)
2017-08-16 21:01 UTC (2+ messages)
Unhandled Exception in Tartan generated code for M68040
2017-08-16 11:04 UTC (6+ messages)
Need a way to convert a constant to a variable
2017-08-15 20:07 UTC (12+ messages)
32-bit float and 64-bit float
2017-08-15 18:11 UTC (5+ messages)
New to ada, what is gb?
2017-08-14 18:21 UTC (4+ messages)
Community Input for the Maintenance and Revision of the Ada Programming Language
2017-08-12 18:29 UTC (48+ messages)
T'Interface attribute
2017-08-11 20:49 UTC (20+ messages)
Smart pointers and delegation
2017-08-11 20:37 UTC (17+ messages)
ANN: Ubuntu 17.10 packages available
2017-08-11 13:19 UTC
Musing on defining attributes and the ability to define an "abstract type X"-interface
2017-08-11 0:40 UTC (24+ messages)
SPARK and integer arithmetic
2017-08-09 19:47 UTC (4+ messages)
ANN: Cortex GNAT RTS 2017-08-08
2017-08-08 13:04 UTC
Limited object by reference or access argument?
2017-08-07 23:31 UTC (7+ messages)
Convert an access to constant to access to variable
2017-08-07 23:21 UTC (8+ messages)
Ada Visual Studio Integration
2017-08-07 22:58 UTC (4+ messages)
Open-DO: dead or alive?
2017-08-07 9:17 UTC
[ANN] SparForte 2.0.3
2017-08-05 8:09 UTC (2+ messages)
Real tasking problems with Ada
2017-08-05 7:01 UTC (22+ messages)
Community Input for the Maintenance and Revision of the Ada Programming Language
2017-08-05 0:10 UTC (4+ messages)
Community Input for the Maintenance and Revision of the Ada Programming Language
2017-08-03 12:52 UTC
Smart Pointers and Tagged Type Hierarchies
2017-08-02 19:26 UTC (9+ messages)
What is the current language profile for concurrent, multi-core, safety-critical, hard real-time systems?
2017-08-01 8:38 UTC (6+ messages)
Lightweight tasks to implement co-routines?
2017-08-01 6:49 UTC (7+ 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