Gnat

2018

• Development Как написать программу-приветствие на языке SPARK ? (10 комментариев)
• Talks Типовой ад в Аде. (66 комментариев)

2016

• General Помогите найти/собрать кросскомпилятор GNAT для ARM (7 комментариев)

2014

• Development Ada, что нибудь кроме Гаввы? (17 комментариев)
• Development Какие стандарты поддерживает GNAT? (2 комментария)

2012

• Development Вышел первый релиз GNATprove под GNU GPL (13 комментариев)
• Talks помогите найти (5 комментариев)

2012

• Объявлено о выходе GNAT и SPARK GPL 2012 (13 комментариев)

2009

• Вышел GNAT GPL 2009 (67 комментариев)

2008

• Вышел GNAT GPL 2008 (76 комментариев)