messages from 2012-06-14 17:13:00 to 2012-06-21 01:19:34 UTC [more...]
My Invention of "Bug Sort"
2012-06-21 1:17 UTC (17+ messages)
about the new Ada 2012 pre/post conditions
2012-06-20 22:19 UTC (13+ messages)
Why Ada isn't as successful as it should be
2012-06-20 20:56 UTC (11+ messages)
Bug or feature: representation makes aliasing with renaming declaration an error
2012-06-20 20:45 UTC (2+ messages)
Need help understanding SPARK substitution rules
2012-06-20 18:30 UTC
why this construct causes aliasing problem in 2012 with functions allowing In Out?
2012-06-20 15:14 UTC (4+ messages)
Listing currently maintained libraries for Ada
2012-06-20 14:39 UTC (23+ messages)
a bug in code shown in ada2012 rational or is it me?
2012-06-20 14:03 UTC (4+ messages)
nice features in Ada 2012, expressions
2012-06-20 9:38 UTC (2+ messages)
Press Release - Ada 2012 Language Standard Submitted to ISO
2012-06-19 23:29 UTC (6+ messages)
Emacs 24.1 and colours
2012-06-19 17:29 UTC
does modern Fortran have membership test similar to this Ada 2012 feature?
2012-06-19 16:34 UTC (2+ messages)
helping picking the right RTOS
2012-06-19 2:58 UTC (6+ messages)
any one can read the Ada 2012 comparison chart on adacore web site?
2012-06-18 15:01 UTC (5+ messages)
True or False ?
2012-06-17 20:33 UTC (8+ messages)
Can I Do this – Help Badly Needed
2012-06-16 13:36 UTC (5+ messages)
Is Text_IO.Put_Line() thread-safe?
2012-06-16 8:14 UTC (33+ messages)
Ada port of the osdev.org bare bones tutorial (mostly done)
2012-06-16 4:29 UTC (10+ messages)
so is ada as good as python or ruby for website building? I hate broken website so safety sounds very very nice
2012-06-15 15:28 UTC (2+ messages)
Trying to fix 'warning: no compiler specified for language "Ada", ignoring all its sources'
2012-06-15 11:49 UTC (2+ messages)
Having problem with SPARK Ada complaining that 'No EXPRESSION can start with reserved word "OTHERS".'
2012-06-14 21:48 UTC (5+ messages)
Practicalities of Ada for app development
2012-06-14 9:26 UTC (20+ messages)
Practicalities of Ada for app development
2012-06-14 9:10 UTC (16+ messages)
Text_IO - thread safe?
2012-06-13 22:47 UTC (2+ messages)
Distributed Systems Annex, data sharing between programs
2012-06-14 20:29 UTC (14+ messages)
Streams and abnormality
2012-06-12 19:49 UTC (6+ messages)
Practicalities of Ada for app development
2012-06-12 12:18 UTC (18+ messages)
What would you like in Ada202X?
2012-06-11 21:54 UTC (2+ messages)
Practicalities of Ada for app development
2012-06-11 22:49 UTC (3+ messages)
Clean out those dead links
2012-06-11 10:37 UTC (4+ messages)
Linking in an externally compiled .o file with gnatmake?
2012-06-11 10:14 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