משוחררקהילת GNAT 2020 - ערכת כלים לפיתוח בשפת עדה. החבילה כוללת מהדר, סביבת פיתוח משולבת סטודיו GNAT, מנתח סטטי עבור תת-קבוצה של שפת SPARK, מאתר באגים של GDB וקבוצה של ספריות. שקית פלסטיק מופץ על ידי תחת התנאים של רישיון GPL.
שינויים עיקריים:
המהדר הוסיף תמיכה לחידושים רבים מהטיוטה הקרובה תקן שפת Ada 202x.
הקצה האחורי עודכן ל-GCC 9 (עבור כל הפלטפורמות מלבד macOS). נוספה תמיכה בפלטפורמת RISC-V 64.
סביבת הפיתוח של GNAT Studio משתמשת כעת ה-LSP שלך
(פרוטוקול שרת שפה) לשפת Ada. בהתבסס על אותו שרת, הוטמע הרחבה עבור Visual Studio Code, זמין כעת ב שוק הסטודיו החזותי.
В מנתח SPARK נוספה תמיכה בבעלות מצביעים (כמו ב-Rust), המאפשרת להוכיח היעדר שגיאות זיכרון והיעדר דליפות זיכרון. קבוצת המשנה הנתמכת של השפה הורחבה עם מבנים חדשים.