messages from 2019-01-21 20:23:17 to 2019-02-14 18:04:06 UTC [more...]
Mixing public and private member of a class. Dealing with what to hide and not
2019-02-14 18:04 UTC (6+ messages)
Errors using gtk.font_button in gtkada (gtk3)
2019-02-14 8:26 UTC (7+ messages)
GNAT proposal: note on implicit exceptions insertion
2019-02-13 10:42 UTC (17+ messages)
Ada x <whatever> Datagram Sockets
2019-02-12 11:35 UTC (34+ messages)
Best documents on software architecture
2019-02-10 1:56 UTC (9+ messages)
Ada Visual Studio Integration
2019-02-09 5:27 UTC (5+ messages)
UPDATE: Awesome-Ada
2019-02-07 19:07 UTC
NVIDIA announcement about Ada & SPARK
2019-02-07 18:36 UTC (2+ messages)
Gnat Sockets - Obtaining all the home addresses
2019-02-07 8:58 UTC
Yet another gnat bug
2019-02-06 10:53 UTC (21+ messages)
Trying to install the latest GtkAda for Mac on Mojave using Community 2018
2019-02-04 15:44 UTC (5+ messages)
Tracing a race condition
2019-02-02 20:52 UTC (2+ messages)
Ravenscar References
2019-02-02 2:13 UTC (13+ messages)
VTKAda 8.2.0
2019-02-01 19:19 UTC
Ada.Interrpts.Names
2019-02-01 18:33 UTC (8+ messages)
Ada and Containers
2019-01-30 23:13 UTC (2+ messages)
Ada.Real_Time.Time_Last
2019-01-29 22:03 UTC (5+ messages)
class wide iterable (and indexable)
2019-01-29 20:26 UTC (3+ messages)
dabian: how to "with" sax?
2019-01-29 16:26 UTC (5+ messages)
Why forbid local generic instantiations?
2019-01-29 7:35 UTC (8+ messages)
class wide iterable (and indexable)
2019-01-28 17:23 UTC (33+ messages)
? Is ok return a type derived from ada.finalization.controlled from a "Pure_Function" ? thanks
2019-01-26 17:02 UTC (5+ messages)
Package procedure as program entry in GPR project
2019-01-26 12:08 UTC (6+ messages)
Problem with Position of the enumeration Type
2019-01-26 9:44 UTC (25+ messages)
ANN: Simple Components for Ada v4.38. Interfacing with Julia
2019-01-24 17:05 UTC (3+ messages)
basic question on Ada programming
2019-01-24 7:58 UTC (2+ messages)
Libadalang Ada source codes generated
2019-01-22 18:26 UTC (4+ 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