1. Paige's How To Get An Automatic Ada Waiver memo
- by Gregory Aharonian @ 1994-10-28 14:22 UTC [3%]
2. Re: Papers on the Ariane-5 crash and Design by Contract
- by Paul Johnson @ 1997-03-17 0:00 UTC [11%]
3. Re: Papers on the Ariane-5 crash and Design by Contract
- by Nick Leaton @ 1997-03-17 0:00 UTC [0%]
4. Re: Papers on the Ariane-5 crash and Design by Contract
- by Richard Kaiser @ 1997-03-18 0:00 UTC [0%]
5. Re: Papers on the Ariane-5 crash and Design by Contract
- by Fergus Henderson @ 1997-03-19 0:00 UTC [11%]
6. Re: INFO-ADA Digest - 18 Mar 1997 to 19 Mar 1997 - Special issue
- by Tokoro, David @ 1997-03-19 0:00 UTC [0%]
7. Re: INFO-ADA Digest - 19 Mar 1997 - Special issue
- by Tokoro, David @ 1997-03-19 0:00 UTC [0%]
8. Re: Papers on the Ariane-5 crash and Design by Contract
- by Jon S Anthony @ 1997-03-19 0:00 UTC [0%]
9. Re: Papers on the Ariane-5 crash and Design by Contract
- by Paul Johnson @ 1997-03-20 0:00 UTC [0%]
10. Re: Papers on the Ariane-5 crash and Design by Contract
- by Jean-Marc Jezequel @ 1997-03-20 0:00 UTC [0%]
11. Re: Papers on the Ariane-5 crash and Design by Contract
- by Ken Garlington @ 1997-03-24 0:00 UTC [11%]
12. Re: Papers on the Ariane-5 crash and Design by Contract
- by Ken Garlington @ 1997-03-25 0:00 UTC [9%]
13. Re: Safety-critical development in Ada and Eiffel
- by Ken Garlington @ 1997-07-12 0:00 UTC [14%]
14. Re: Safety-critical development in Ada and Eiffel
- by Don Harrison @ 1997-07-15 0:00 UTC [13%]
15. Re: Safety-critical development in Ada and Eiffel
- by Ken Garlington @ 1997-07-15 0:00 UTC [0%]
16. Re: The Red Language
- by Robert A Duff @ 1997-09-12 0:00 UTC [4%]
17. Re: Assertions
- by Nick Roberts @ 1999-05-13 0:00 UTC [11%]
18. Re: [Ann] More Ada0Y packages for Ada95!
- by Martin Dowie @ 2004-07-28 18:00 UTC [9%]
19. Re: [Ann] More Ada0Y packages for Ada95!
- by Anh_Vo @ 2004-07-30 19:50 UTC [0%]
20. Re: [Ann] More Ada0Y packages for Ada95!
- by Martin Dowie @ 2004-07-31 17:08 UTC [11%]
21. Re: [Ann] More Ada0Y packages for Ada95!
- by Anh_Vo @ 2004-08-02 16:31 UTC [0%]
22. Ada 2005 core packages under GNAT-GPL-2007
- by Anh Vo @ 2007-05-14 17:57 UTC [13%]
23. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Ludovic Brenta @ 2007-05-14 20:14 UTC [9%]
24. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Martin Dowie @ 2007-05-14 20:20 UTC [14%]
25. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Anh Vo @ 2007-05-14 21:11 UTC [9%]
26. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Randy Brukardt @ 2007-05-16 3:00 UTC [9%]
27. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Anh Vo @ 2007-05-22 14:41 UTC [0%]
28. Re: Ada 2005 core packages under GNAT-GPL-2007
- by Anh Vo @ 2007-05-22 14:50 UTC [0%]
29. Re: How to put 200 into an integer sub-type of 16 bits (code included)
- by Brian Drummond @ 2009-01-14 12:47 UTC [6%]
30. Re: How to put 200 into an integer sub-type of 16 bits (code included)
- by Brian Drummond @ 2009-01-14 12:53 UTC [6%]
31. Re: Ada vs Eiffel - Ada programmer approach
- by Ludovic Brenta @ 2009-06-04 7:55 UTC [13%]
32. Re: Ada vs Eiffel - Ada programmer approach
- by Georg Bauhaus @ 2009-06-04 8:45 UTC [0%]
33. Re: Ada vs Eiffel - Ada programmer approach
- by Ludovic Brenta @ 2009-06-04 9:03 UTC [0%]
34. Re: Ada vs Eiffel - Ada programmer approach
- by Robert A Duff @ 2009-06-04 13:25 UTC [0%]
35. Re: Ada vs Eiffel - Ada programmer approach
- by Martin @ 2009-06-04 13:39 UTC [0%]
36. Re: Should representation clauses be complete for each bit?
- by Robert A Duff @ 2011-07-20 14:51 UTC [10%]
37. Re: Should representation clauses be complete for each bit?
- by Martin @ 2011-07-21 7:36 UTC [0%]
38. Re: Should representation clauses be complete for each bit?
- by Randy Brukardt @ 2011-07-22 23:50 UTC [11%]
39. Re: Should representation clauses be complete for each bit?
- by Robert A Duff @ 2011-07-23 15:12 UTC [0%]
40. Re: Should representation clauses be complete for each bit?
- by Randy Brukardt @ 2011-07-26 21:10 UTC [0%]
41. Aspect programming
- by Anh Vo @ 2011-07-27 16:29 UTC [10%]
42. Re: How many Ada compiler bugs are here?
- by Georg Bauhaus @ 2012-01-13 12:43 UTC [11%]
43. Re: How many Ada compiler bugs are here?
- by AdaMagica @ 2012-01-13 13:06 UTC [0%]
44. Re: about the new Ada 2012 pre/post conditions
- by stefan-lucks @ 2012-06-25 16:26 UTC [11%]
45. Re: about the new Ada 2012 pre/post conditions
- by Dmitry A. Kazakov @ 2012-06-25 19:42 UTC [0%]
46. Dynamic_Predicate failure -> Assertion_Error?
- by Jacob Sparre Andersen @ 2014-05-13 11:22 UTC [10%]
47. Re: Dynamic_Predicate failure -> Assertion_Error?
- by Randy Brukardt @ 2014-05-13 21:26 UTC [10%]
48. Re: win32 interfacing check (SetClipboardData)
- by Xavier Petit @ 2017-08-30 18:41 UTC [8%]
49. Re: win32 interfacing check (SetClipboardData)
- by Dmitry A. Kazakov @ 2017-08-30 21:17 UTC [0%]
50. Re: win32 interfacing check (SetClipboardData)
- by Xavier Petit @ 2017-09-01 12:51 UTC [0%]
51. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Johan Söderlind Åström @ 2017-09-02 11:21 UTC [9%]
52. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Vincent DIEMUNSCH @ 2017-09-02 15:22 UTC [0%]
53. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Jeffrey R. Carter @ 2017-09-02 17:19 UTC [0%]
54. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Randy Brukardt @ 2017-09-03 1:30 UTC [0%]
55. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Randy Brukardt @ 2017-09-03 1:35 UTC [0%]
56. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Alejandro R. Mosteo @ 2017-09-03 10:32 UTC [0%]
57. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Johan Söderlind Åström @ 2017-09-04 20:52 UTC [0%]
58. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Johan Söderlind Åström @ 2017-09-06 15:02 UTC [0%]
59. Re: Community Input for the Maintenance and Revision of the Ada Programming Language
- by Randy Brukardt @ 2017-09-06 21:21 UTC [0%]
60. GNAT bug with assertions
- by AdaMagica @ 2018-08-10 10:29 UTC [11%]
61. Re: GNAT bug with assertions
- by Anh Vo @ 2018-08-10 14:23 UTC [0%]
62. GNAT CE 2019 bug: Predicate check not performed
- by AdaMagica @ 2020-04-19 9:28 UTC [11%]
63. Re: GNAT CE 2019 bug: Predicate check not performed
- by Anh Vo @ 2020-04-19 22:31 UTC [0%]
64. Re: GNAT CE 2019 bug: Predicate check not performed
- by Anh Vo @ 2020-04-19 22:32 UTC [0%]
65. Re: Lower bounds of Strings
- by Randy Brukardt @ 2021-01-07 0:17 UTC [6%]
66. ANN: SweetAda 0.7 released
- by Gabriele Galeotti @ 2021-06-01 20:18 UTC [5%]
67. Re: Running Python code from GPRBuild (Calling from GNAT Studio)
- by Rego, P. @ 2022-11-11 18:12 UTC [8%]
Results 1-67 of 67 | reverse | options above
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox