591:
175:
73:
257:
32:
266:
560:
In addition to FSF GNAT and AdaCore's GNAT Pro, AdaCore releases additional versions (GNAT-GPL, a public older version of GNAT Pro, and GNAT GAP, a version for AdaCore's educational programs). These AdaCore versions have the runtime exceptions removed, this requires software that is linked with the
541:
All versions leading up to and including 3.15p are licensed under the GMGPL offering similar runtime exceptions. The GMGPL license is GNU GPL 2 with a linking exception that permits software with licenses that are incompatible with the GPL to be linked with the output of Ada standard generic
513:
in New York City and ACT-Europe (later AdaCore SAS) in Paris, to provide continuing development and commercial support of GNAT. The two companies always operated as one entity, but did not formally unify until 2012 as AdaCore.
521:
repository. The last version to be released separately was GNAT 3.15p, based on GCC 2.8.1, on
October 2, 2002. Starting with GCC 3.4, on major platforms the official GCC release is able to pass 100% of the
985:
1195:
1159:
1139:
955:
1313:
1188:
1164:
630:– a programming language consisting of a highly restricted subset of Ada, annotated with meta-information describing desired component behavior and individual runtime requirements
1005:
975:
1548:
1015:
1202:
1490:
1209:
943:
1268:
1149:
1061:
1181:
875:
1370:
1144:
1114:
960:
938:
933:
1468:
980:
965:
1293:
1154:
1119:
1020:
1533:
1528:
1010:
1000:
1395:
990:
970:
1451:
1124:
1109:
455:(GCC). It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. Originally its name was an
596:
523:
754:
196:
1523:
1385:
1303:
1430:
1298:
1283:
1308:
1223:
995:
868:
236:
218:
156:
59:
517:
GNAT was initially released separately from the main GCC sources. On
October 2, 2001, the GNAT sources were contributed to the GCC
1345:
1273:
1256:
848:
1456:
1405:
1216:
796:
576:
498:
compiler for Ada to help with the Ada 9X standardization process. The 3-million-dollar contract required the use of the
94:
526:
Ada tests included in the GCC testsuite. By GCC 4.0, more exotic platforms were also able to pass 100% of the ACATS tests.
1538:
1323:
1046:
912:
661:
701:
1543:
1134:
1036:
917:
861:
627:
322:
189:
183:
1375:
1350:
1340:
1129:
1051:
535:
518:
499:
448:
396:
355:
137:
83:
1420:
1041:
109:
200:
1230:
503:
610:
1400:
615:
487:
452:
116:
1496:
1415:
1473:
90:
45:
20:
561:
standard libraries to have GPL-compatible licenses to avoid being in breach of the license agreement.
123:
1485:
1365:
948:
907:
884:
550:
FSF GNAT is part of most major Linux or BSD distributions and is included in the main GCC Sources.
491:
379:
285:
1480:
105:
760:
792:
621:
364:
1446:
784:
624:– a subset of the Ada tasking features designed for safety-critical hard real-time computing
391:
341:
839:
579:
for the .NET Framework and the free and open source implementations Mono and
Portable.NET.
1425:
1410:
1335:
713:
607:– a specification for a programming environment to support software development in Ada
1517:
1390:
1380:
1355:
1263:
1056:
568:
495:
441:
1089:
818:
682:
478:, but that name no longer applies. The front-end and run-time are written in Ada.
130:
647:
1360:
1251:
1241:
293:
271:
256:
72:
776:
542:
libraries that are supplied with GNAT without breaching the license agreement.
1084:
586:
509:
In 1994 and 1996, the original authors of GNAT founded two sister companies,
280:
726:
1462:
1079:
51:
788:
444:
384:
369:
1502:
618: – Free and open-source compiler for various programming languages
554:
456:
346:
289:
853:
567:
was a GNAT version that compiled from the Ada programming language to
843:
575:
is a GNAT version that compiles from the Ada programming language to
419:
359:
350:
833:
604:
857:
677:
675:
265:
168:
66:
25:
828:
823:
408:
849:
Write It in Ada — Run It on the Java
Virtual Machine
506:. The first official validation of GNAT occurred in 1995.
502:
for all development, and assigned the copyright to the
16:
Free-software compiler for the Ada programming language
829:
FSF GNAT installation instructions for major platforms
842:— packaging of GNAT and other Ada programs in
1439:
1322:
1282:
1240:
1173:
1102:
1072:
1029:
926:
900:
893:
403:
390:
378:
340:
321:
299:
279:
97:. Unsourced material may be challenged and removed.
753:Miranda, Javier; Schonberg, Edmond (June 2004).
534:The compiler is licensed under the terms of the
374:plus others as supported by FSF GNAT within GCC
1269:Eastern Intercollegiate Volleyball Association
869:
553:GNAT Pro is a supported version of GNAT from
8:
781:Proceedings of the conference on TRI-Ada '94
249:
1189:Intellectual Property and Entertainment Law
60:Learn how and when to remove these messages
897:
876:
862:
854:
486:The GNAT project started in 1992 when the
264:
255:
248:
237:Learn how and when to remove this message
219:Learn how and when to remove this message
157:Learn how and when to remove this message
1549:Software using the GPL linking exception
182:This article includes a list of general
1396:Skirball Center for the Performing Arts
639:
1452:Graduate Student Organizing Committee
7:
597:Free and open-source software portal
538:with GCC Runtime Library Exception.
95:adding citations to reliable sources
775:Schonberg; Banner, Bernard (1994).
1431:Coles Sports and Recreation Center
399:with GCC Runtime Library Exception
188:it lacks sufficient corresponding
14:
836:— more FSF versions of GNAT
41:This article has multiple issues.
589:
173:
71:
30:
1534:Free software programmed in Ada
1529:Free compilers and interpreters
1274:University Athletic Association
683:"GCC Runtime Library Exception"
82:needs additional citations for
49:or discuss these issues on the
1196:International Law and Politics
1120:Cosmology and Particle Physics
1115:Administration of Criminal Law
577:Common Language Infrastructure
1:
1224:Annual Survey of American Law
1346:Casa Italiana Zerilli Marimò
1150:Real Estate and Urban Policy
714:GCC CVS mailing list archive
704:Autumn/Winter 2014–2015, p.1
648:"GCC Releases - GNU Project"
494:(NYU) a contract to build a
819:History of the GNAT Project
328:FSF GNAT 14.1 (2024-05-07)
305:; 29 years ago
1565:
1524:Ada (programming language)
1351:Elmer Holmes Bobst Library
1314:Honorary degree recipients
756:GNAT: The GNU Ada Compiler
18:
1421:Washington Square Village
956:Graduate Arts and Science
336:
317:
263:
254:
1491:Student Senators Council
1231:Washington Square Review
504:Free Software Foundation
451:which forms part of the
449:Ada programming language
1160:Social Entrepreneurship
1155:Rehabilitation Medicine
783:. ACM. pp. 48–57.
616:GNU Compiler Collection
611:GNAT Programming Studio
488:United States Air Force
453:GNU Compiler Collection
203:more precise citations.
1497:Washington Square News
1416:Washington Square Park
1376:Langone Medical Center
1135:Law School Scholarship
966:Mathematical Sciences
789:10.1145/197694.197706
727:"GNAT Pro Comparison"
511:Ada Core Technologies
21:Gnat (disambiguation)
1539:GNU Project software
1469:Philomathean Society
1294:University president
1006:Professional Studies
991:Individualized Study
824:GNAT in the GCC wiki
662:"GNAT Release Notes"
91:improve this article
19:For other uses, see
1544:New York University
1371:La Maison Française
1366:James B. Duke House
886:New York University
834:The GNU Ada Project
716:"New language: Ada"
492:New York University
330:GNAT Pro 24 (2024)
286:New York University
251:
1481:Red Dragon Society
1406:University Village
777:"The GNAT project"
1511:
1510:
1182:Environmental Law
1098:
1097:
840:Debian Ada Policy
622:Ravenscar profile
435:
434:
365:Microsoft Windows
247:
246:
239:
229:
228:
221:
167:
166:
159:
141:
64:
1556:
1447:Eucleian Society
1328:
1286:
1257:Men's basketball
1244:
1203:Law and Business
1140:Lynford Lectures
1110:Academic Freedom
944:Arts and Science
898:
887:
878:
871:
864:
855:
808:
806:
805:
771:
769:
768:
759:. Archived from
741:
740:
738:
737:
723:
717:
711:
705:
702:GNAT Pro Insider
699:
693:
692:
690:
689:
679:
670:
669:
658:
652:
651:
644:
599:
594:
593:
592:
430:
427:
425:
423:
421:
415:
412:
410:
342:Operating system
313:
311:
306:
268:
259:
252:
242:
235:
224:
217:
213:
210:
204:
199:this article by
190:inline citations
177:
176:
169:
162:
155:
151:
148:
142:
140:
99:
75:
67:
56:
34:
33:
26:
1564:
1563:
1559:
1558:
1557:
1555:
1554:
1553:
1514:
1513:
1512:
1507:
1435:
1426:Wunsch Building
1411:Washington Mews
1386:Residence halls
1326:
1324:
1318:
1284:
1278:
1242:
1236:
1210:Law and Liberty
1169:
1094:
1068:
1025:
949:Liberal Studies
922:
889:
885:
882:
815:
803:
801:
799:
774:
766:
764:
752:
749:
747:Further reading
744:
735:
733:
725:
724:
720:
712:
708:
700:
696:
687:
685:
681:
680:
673:
660:
659:
655:
646:
645:
641:
637:
595:
590:
588:
585:
573:GNAT for dotNET
548:
532:
484:
459:that stood for
418:
417:
407:
373:
368:
363:
354:
332:
309:
307:
304:
300:Initial release
275:
243:
232:
231:
230:
225:
214:
208:
205:
195:Please help to
194:
178:
174:
163:
152:
146:
143:
100:
98:
88:
76:
35:
31:
24:
17:
12:
11:
5:
1562:
1560:
1552:
1551:
1546:
1541:
1536:
1531:
1526:
1516:
1515:
1509:
1508:
1506:
1505:
1500:
1493:
1488:
1483:
1478:
1471:
1466:
1459:
1457:History of NYU
1454:
1449:
1443:
1441:
1437:
1436:
1434:
1433:
1428:
1423:
1418:
1413:
1408:
1403:
1398:
1393:
1388:
1383:
1378:
1373:
1368:
1363:
1358:
1353:
1348:
1343:
1341:Brown Building
1338:
1336:370 Jay Street
1332:
1330:
1320:
1319:
1317:
1316:
1311:
1306:
1301:
1296:
1290:
1288:
1280:
1279:
1277:
1276:
1271:
1266:
1261:
1260:
1259:
1248:
1246:
1238:
1237:
1235:
1234:
1227:
1220:
1213:
1206:
1199:
1192:
1185:
1177:
1175:
1171:
1170:
1168:
1167:
1165:Transportation
1162:
1157:
1152:
1147:
1142:
1137:
1132:
1127:
1122:
1117:
1112:
1106:
1104:
1100:
1099:
1096:
1095:
1093:
1092:
1087:
1082:
1076:
1074:
1070:
1069:
1067:
1066:
1065:
1064:
1059:
1054:
1044:
1039:
1033:
1031:
1027:
1026:
1024:
1023:
1018:
1013:
1011:Public Service
1008:
1003:
998:
993:
988:
983:
978:
973:
968:
963:
958:
953:
952:
951:
941:
936:
930:
928:
924:
923:
921:
920:
915:
910:
904:
902:
895:
891:
890:
883:
881:
880:
873:
866:
858:
852:
851:
846:
837:
831:
826:
821:
814:
813:External links
811:
810:
809:
797:
772:
748:
745:
743:
742:
718:
706:
694:
671:
653:
638:
636:
633:
632:
631:
625:
619:
613:
608:
601:
600:
584:
581:
547:
544:
531:
528:
483:
480:
433:
432:
405:
401:
400:
394:
388:
387:
382:
376:
375:
344:
338:
337:
334:
333:
327:
325:
323:Stable release
319:
318:
315:
314:
301:
297:
296:
283:
277:
276:
269:
261:
260:
245:
244:
227:
226:
181:
179:
172:
165:
164:
79:
77:
70:
65:
39:
38:
36:
29:
15:
13:
10:
9:
6:
4:
3:
2:
1561:
1550:
1547:
1545:
1542:
1540:
1537:
1535:
1532:
1530:
1527:
1525:
1522:
1521:
1519:
1504:
1501:
1499:
1498:
1494:
1492:
1489:
1487:
1484:
1482:
1479:
1477:
1476:
1472:
1470:
1467:
1465:
1464:
1460:
1458:
1455:
1453:
1450:
1448:
1445:
1444:
1442:
1438:
1432:
1429:
1427:
1424:
1422:
1419:
1417:
1414:
1412:
1409:
1407:
1404:
1402:
1399:
1397:
1394:
1392:
1391:Silver Center
1389:
1387:
1384:
1382:
1381:Puck Building
1379:
1377:
1374:
1372:
1369:
1367:
1364:
1362:
1359:
1357:
1356:Fales Library
1354:
1352:
1349:
1347:
1344:
1342:
1339:
1337:
1334:
1333:
1331:
1329:
1321:
1315:
1312:
1310:
1307:
1305:
1302:
1300:
1297:
1295:
1292:
1291:
1289:
1287:
1281:
1275:
1272:
1270:
1267:
1265:
1262:
1258:
1255:
1254:
1253:
1250:
1249:
1247:
1245:
1239:
1233:
1232:
1228:
1226:
1225:
1221:
1219:
1218:
1214:
1212:
1211:
1207:
1205:
1204:
1200:
1198:
1197:
1193:
1191:
1190:
1186:
1184:
1183:
1179:
1178:
1176:
1172:
1166:
1163:
1161:
1158:
1156:
1153:
1151:
1148:
1146:
1143:
1141:
1138:
1136:
1133:
1131:
1128:
1126:
1123:
1121:
1118:
1116:
1113:
1111:
1108:
1107:
1105:
1101:
1091:
1088:
1086:
1083:
1081:
1078:
1077:
1075:
1071:
1063:
1060:
1058:
1055:
1053:
1050:
1049:
1048:
1045:
1043:
1040:
1038:
1035:
1034:
1032:
1028:
1022:
1019:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
997:
994:
992:
989:
987:
984:
982:
979:
977:
974:
972:
969:
967:
964:
962:
959:
957:
954:
950:
947:
946:
945:
942:
940:
937:
935:
934:Ancient World
932:
931:
929:
925:
919:
916:
914:
911:
909:
908:New York City
906:
905:
903:
899:
896:
892:
888:
879:
874:
872:
867:
865:
860:
859:
856:
850:
847:
845:
841:
838:
835:
832:
830:
827:
825:
822:
820:
817:
816:
812:
800:
794:
790:
786:
782:
778:
773:
763:on 2011-07-07
762:
758:
757:
751:
750:
746:
732:
728:
722:
719:
715:
710:
707:
703:
698:
695:
684:
678:
676:
672:
667:
663:
657:
654:
649:
643:
640:
634:
629:
626:
623:
620:
617:
614:
612:
609:
606:
603:
602:
598:
587:
582:
580:
578:
574:
570:
569:Java bytecode
566:
562:
558:
556:
551:
545:
543:
539:
537:
529:
527:
525:
520:
515:
512:
507:
505:
501:
497:
493:
489:
481:
479:
477:
475:
471:
467:
463:
458:
454:
450:
446:
443:
442:free-software
439:
429:
414:
406:
402:
398:
395:
393:
389:
386:
383:
381:
377:
371:
366:
361:
357:
352:
348:
345:
343:
339:
335:
331:
326:
324:
320:
316:
302:
298:
295:
291:
287:
284:
282:
278:
273:
267:
262:
258:
253:
241:
238:
223:
220:
212:
202:
198:
192:
191:
185:
180:
171:
170:
161:
158:
150:
139:
136:
132:
129:
125:
122:
118:
115:
111:
108: –
107:
103:
102:Find sources:
96:
92:
86:
85:
80:This article
78:
74:
69:
68:
63:
61:
54:
53:
48:
47:
42:
37:
28:
27:
22:
1495:
1486:Student life
1474:
1461:
1401:Union Square
1229:
1222:
1215:
1208:
1201:
1194:
1187:
1180:
802:. Retrieved
780:
765:. Retrieved
761:the original
755:
734:. Retrieved
730:
721:
709:
697:
686:. Retrieved
665:
656:
642:
572:
564:
563:
559:
552:
549:
540:
533:
516:
510:
508:
485:
473:
469:
465:
461:
460:
437:
436:
329:
281:Developer(s)
233:
215:
206:
187:
153:
144:
134:
127:
120:
113:
101:
89:Please help
84:verification
81:
57:
50:
44:
43:Please help
40:
1361:Gould Plaza
1252:NYU Violets
1021:Social Work
1016:Engineering
294:GNU Project
201:introducing
1518:Categories
1475:The Plague
1264:Deans' Cup
1217:Law Review
1145:Philosophy
1125:Humanities
894:University
804:2008-06-07
798:0897916662
767:2008-06-06
736:2021-08-17
688:2013-02-28
635:References
536:GNU GPL 3+
416:- FSF GNAT
411:.getadanow
397:GNU GPL 3+
274:within GPS
184:references
117:newspapers
46:improve it
1463:NYU Local
1243:Athletics
1047:Libraries
1001:Dentistry
986:Education
981:Fine Arts
913:Abu Dhabi
476:ranslator
209:July 2010
147:July 2010
52:talk page
1174:Journals
1103:Research
1090:Florence
1062:Tamiment
1037:Archives
971:Medicine
961:Business
918:Shanghai
901:Campuses
583:See also
546:Versions
490:awarded
447:for the
445:compiler
431:GNAT Pro
426:/gnatpro
422:.adacore
385:Compiler
370:Mac OS X
292:and the
1503:WNYU-FM
1440:Related
1304:Faculty
1130:Justice
1073:Centers
1030:Service
976:Nursing
927:Schools
731:AdaCore
666:AdaCore
555:AdaCore
530:License
500:GNU GPL
482:History
457:acronym
404:Website
392:License
356:Solaris
347:FreeBSD
308: (
290:AdaCore
288:(NYU),
197:improve
131:scholar
1327:at NYC
1325:Campus
1299:Alumni
1285:People
1085:London
844:Debian
795:
272:source
186:, but
133:
126:
119:
112:
106:"GNAT"
104:
1309:Staff
1080:Paris
1057:Fales
1052:Bobst
1042:Press
628:SPARK
565:JGNAT
524:ACATS
440:is a
360:SPARC
351:Linux
138:JSTOR
124:books
939:Arts
793:ISBN
605:APSE
496:free
438:GNAT
424:.com
413:.com
380:Type
310:1995
303:1995
270:Ada
250:GNAT
110:news
996:Law
785:doi
519:CVS
472:da
468:YU
464:NU
420:www
409:www
93:by
1520::
791:.
779:.
729:.
674:^
664:.
571:.
557:.
349:,
55:.
877:e
870:t
863:v
807:.
787::
770:.
739:.
691:.
668:.
650:.
474:T
470:A
466:N
462:G
428:/
372:,
367:,
362:,
358:/
353:,
312:)
240:)
234:(
222:)
216:(
211:)
207:(
193:.
160:)
154:(
149:)
145:(
135:·
128:·
121:·
114:·
87:.
62:)
58:(
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.