messages from 2018-05-01 09:02:26 to 2018-05-07 21:27:16 UTC [more...]
How to get Ada to “cross the chasm”?
2018-05-07 21:27 UTC (141+ messages)
` How to get Ada to ?cross the chasm??
` How to get Ada to "cross the chasm"?
Why not Coq2Ada program extraction?
2018-05-07 16:33 UTC (15+ messages)
Recommendation of safe subset of Ada to use?
2018-05-07 15:54 UTC (9+ messages)
Interesting article on ARG work
2018-05-07 8:41 UTC (12+ messages)
` Ada conditional compilation and program variants
Trait based containers
2018-05-07 7:14 UTC (5+ messages)
Precisely why can't official FSF GNAT maintainers copy bug fixes in GNAT & its GCC-contained runtime en masse from GNAT GPL Community Edition?
2018-05-07 1:06 UTC (38+ messages)
` Adacore French connection
Ann: Ada PDF Writer v.004
2018-05-06 18:28 UTC (2+ messages)
GNATCOLL 2016 installation problem
2018-05-06 17:48 UTC (2+ messages)
stm32l4xx nucleo and Ada Drivers Library
2018-05-05 10:01 UTC
Inter-process communication in Ada with Simple Components v 4.28
2018-05-03 22:41 UTC (6+ messages)
I have just revolutionized computing
2018-05-03 18:55 UTC (5+ messages)
Arduino Due
2018-05-03 6:46 UTC (7+ messages)
Finalization of library level tasks
2018-05-02 14:50 UTC (22+ messages)
ANN: Cortex GNAT RTS 20180419
2018-05-02 8:10 UTC (5+ messages)
The case AGAINST C
2018-05-02 5:04 UTC (2+ messages)
ada.synchronous_barriers incomplete?
2018-05-01 12:34 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