messages from 2015-07-16 17:26:13 to 2015-07-27 10:56:10 UTC [more...]
If not Ada, what else
2015-07-27 10:56 UTC (64+ messages)
` Assertions in SPARK (Was: If not Ada, what else...)
GPS doesn't see system libraries
2015-07-27 6:40 UTC (2+ messages)
Weakness of Ada is expensive / security / etc. ? Anything else?
2015-07-27 1:18 UTC (61+ messages)
What is the purpose of Vector.Query_Element?
2015-07-26 23:02 UTC (2+ messages)
Source code of Stepanov's generic algorithms?
2015-07-26 22:26 UTC
Does `pragma inline` work when instantiating generic code?
2015-07-26 18:21 UTC (2+ messages)
Getting types from a generic container in Ada?
2015-07-26 17:36 UTC (2+ messages)
GNAT GPS (ERROR:root:Could not find any typelib for)
2015-07-26 16:56 UTC
New Gnoga demo
2015-07-26 15:16 UTC (3+ messages)
Why does `Unchecked_Deallocation` need the access type?
2015-07-26 11:16 UTC (3+ messages)
How do you specialize a generic function from a nested function?
2015-07-26 9:09 UTC (2+ messages)
Gnatcoll SQL questions
2015-07-23 19:23 UTC (2+ messages)
Incompatible types for array conversion
2015-07-23 13:21 UTC (13+ messages)
Returning a string from C
2015-07-23 7:17 UTC (6+ messages)
Ada Distilled 2012
2015-07-23 1:19 UTC (3+ messages)
is gonga going to dominate the web still? glen hinkle vid interesting
2015-07-22 20:00 UTC (2+ messages)
Question about the package "Strings_Edit"
2015-07-22 17:24 UTC (4+ messages)
basic questions on using GPS
2015-07-21 6:55 UTC (8+ messages)
Pascal to ADA Converter
2015-07-20 12:47 UTC (5+ messages)
ShuttlePads Cipher as it Stands
2015-07-20 12:34 UTC
Error "exception not permitted here" when putting EXCEPTION in a loop
2015-07-18 21:16 UTC (15+ messages)
How to check if letters are in a string?
2015-07-18 12:48 UTC (6+ messages)
ShuttlePads Cryptology - Comprehension
2015-07-18 8:20 UTC
CACM Ada mention
2015-07-18 4:22 UTC
is there Ada package similar to Matlab textscan?
2015-07-17 11:05 UTC (4+ messages)
support for Cortex-M7 in GNAT-GPL?
2015-07-17 10:25 UTC (3+ messages)
Time_Zone-aware Day_of_Week ?
2015-07-17 5:12 UTC (2+ messages)
Q: setting an address with pure?
2015-07-16 19:14 UTC (8+ messages)
ANN : AUnit.Extras Test Management Trailer 2015
2015-07-16 18:53 UTC
AdaBrowse for Ada 2012
2015-07-16 17:33 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