messages from 2013-08-15 08:39:59 to 2013-09-01 03:04:51 UTC [more...]
Object Pascal vs Ada -- which is better for a hobbyist?
2013-09-01 3:04 UTC (41+ messages)
` Web-UI for Ada applications (Was: Object Pascal vs Ada -- which is better for a hobbyist?)
` Web-UI for Ada applications
www.prevayler.org in ada?
2013-09-01 0:20 UTC (6+ messages)
Hash Type Size
2013-08-31 15:57 UTC (7+ messages)
B-tree performance
2013-08-31 15:47 UTC (3+ messages)
Ada advocacy
2013-08-31 14:47 UTC (49+ messages)
Ada.Containers.Hash_Type -> 64 bit
2013-08-31 0:55 UTC (4+ messages)
Anonymous access types are evil, why?
2013-08-30 17:04 UTC (9+ messages)
Triplestore in Ada
2013-08-30 15:45 UTC
Gnat 2013 is out!
2013-08-28 23:39 UTC (7+ messages)
RTS graph and "temporal formulas"
2013-08-27 12:44 UTC (26+ messages)
[GNAT] compiler options ignored for sources from ADA_INCLUDE_PATH
2013-08-27 12:42 UTC (7+ messages)
The “Ada 2012” logo: what's its status?
2013-08-27 2:31 UTC (4+ messages)
library/binding for sftp?
2013-08-26 21:21 UTC (30+ messages)
Q: SPARK: visibility of private child in parent's body
2013-08-25 22:00 UTC (3+ messages)
Contraint error when "out" parameter has incorrect initial content
2013-08-25 16:47 UTC (5+ messages)
Introducing Comfignat
2013-08-24 8:34 UTC (8+ messages)
` Crash problem with GNAT in Fedora 18 (was: Introducing Comfignat)
` Crash problem with GNAT in Fedora 18
Mealy machines, temporal logic, and Moore
2013-08-23 18:27 UTC
Access check failed without using the word "access" in source
2013-08-22 15:40 UTC (2+ messages)
Release of the Collaboration Package Version 1.0.1a
2013-08-20 5:07 UTC (3+ messages)
What's the cause of extra new line with Text_IO when program exit
2013-08-19 21:58 UTC (5+ messages)
Tools for formal verification
2013-08-19 12:48 UTC (2+ messages)
(GNADE) Access attribute not allowed in generic body
2013-08-18 13:40 UTC (8+ messages)
Low-level programming in Ada?
2013-08-18 9:26 UTC (8+ messages)
collect2: ld returned 1 exit status
2013-08-16 6:55 UTC (4+ messages)
any aws sites I can check out? any forums?
2013-08-16 3:20 UTC
GNAT Allocation of a very large record
2013-08-16 1:18 UTC (4+ messages)
Ada 2012 talk at DANSAS'13
2013-08-15 17:18 UTC (5+ messages)
` SPARK vs. Ada 2012 for static analysis (Was: Ada 2012 talk at DANSAS'13)
` SPARK vs. Ada 2012 for static analysis
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