messages from 2017-03-09 13:45:09 to 2017-04-08 10:37:43 UTC [more...]
Fun with Unbounded Rational Numbers
2017-04-08 10:37 UTC
Example Ada calling Gnu Scientific Library (GSL)
2017-04-08 8:28 UTC (16+ messages)
[ANN] Ada community on Gitter
2017-04-06 8:01 UTC
[ANN] gnatcoll-JSON-v1.1.0
2017-04-06 4:37 UTC
[Spark] Proving GCD
2017-04-05 23:52 UTC (4+ messages)
Installing AdaSDL to a Debian system
2017-04-05 8:32 UTC (11+ messages)
pkg-config and GPRBuild
2017-04-05 7:42 UTC (2+ messages)
pkg-config and GPRBuild
2017-04-05 2:21 UTC
Great "Ada Inside" demo - "Writing on Air"
2017-04-03 5:51 UTC
gnatbind get stack overflow, how do I investigate the cause?
2017-04-03 5:26 UTC (7+ messages)
Constructing by classwide type
2017-04-03 1:04 UTC
Compiler vendor for sale
2017-03-30 20:13 UTC
Interfaces.C + generics: stack overflow
2017-03-30 17:12 UTC (14+ messages)
AdaControl available for MacOS
2017-03-30 5:21 UTC
Ada UEFI programming
2017-03-28 16:09 UTC (9+ messages)
Bad cursor, good cursor
2017-03-27 22:26 UTC (4+ messages)
"Ada for Automation" Demo Portal
2017-03-27 8:49 UTC (3+ messages)
Gprbuild - Setting the earliest version of MacOS X that an executable will run on
2017-03-27 7:26 UTC (5+ messages)
Mixing Ada code with similar licenses
2017-03-27 7:07 UTC (6+ messages)
Package formal parameter visibility
2017-03-26 21:56 UTC (3+ messages)
Best way to put an array-based pixmap on a screen?
2017-03-26 21:48 UTC (10+ messages)
Test for constant (or "in parameter" in procedure)
2017-03-26 20:57 UTC (2+ messages)
[ANN] SparForte 2.0.3
2017-03-26 20:47 UTC
Interfaces.C questions
2017-03-22 20:35 UTC (24+ messages)
"modern" OpenGL using Ada
2017-03-20 20:22 UTC (3+ messages)
GNAT.Serial_Communications
2017-03-20 15:20 UTC (3+ messages)
[Spark] Proving GCD
2017-03-17 17:16 UTC (6+ messages)
Getting the index for an element in mutually referencing containers
2017-03-16 9:04 UTC (33+ messages)
"Ada for Automation" in the CAN Newsletter magazine March 2017: 25th anniversary
2017-03-15 3:32 UTC (2+ messages)
Could you write a BSD like os in ADA?
2017-03-14 23:12 UTC (20+ messages)
` VMS and C/Ada, was: "
Doom 3 Is Being Rewritten In Ada
2017-03-14 19:59 UTC (8+ messages)
Gtk Combobox under Ubuntu
2017-03-14 16:38 UTC (3+ messages)
[AdaControl] Limiting where objects of a specific type can be declared
2017-03-14 13:47 UTC (2+ messages)
About real-time OSs
2017-03-14 1:43 UTC
ANN: Simple Components for Ada v4.20
2017-03-13 15:22 UTC (12+ messages)
Proving A Loop will Terminate in SPARK Question
2017-03-09 15:13 UTC (2+ 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