GNAT Community 2020 יצא

משוחרר קהילת GNAT 2020 - ערכת כלים לפיתוח בשפת עדה. החבילה כוללת מהדר, סביבת פיתוח משולבת סטודיו GNAT, מנתח סטטי עבור תת-קבוצה של שפת SPARK, מאתר באגים של GDB וקבוצה של ספריות. שקית פלסטיק מופץ על ידי תחת התנאים של רישיון GPL.

שינויים עיקריים:

  • המהדר הוסיף תמיכה לחידושים רבים מהטיוטה הקרובה
    תקן שפת Ada 202x.
    הקצה האחורי עודכן ל-GCC 9 (עבור כל הפלטפורמות מלבד macOS). נוספה תמיכה בפלטפורמת RISC-V 64.

  • סביבת הפיתוח של GNAT Studio משתמשת כעת
    ה-LSP שלך
    (פרוטוקול שרת שפה) לשפת Ada. בהתבסס על אותו שרת, הוטמע הרחבה עבור Visual Studio Code, זמין כעת ב
    שוק הסטודיו החזותי.

  • В מנתח SPARK נוספה תמיכה בבעלות מצביעים (כמו ב-Rust), המאפשרת להוכיח היעדר שגיאות זיכרון והיעדר דליפות זיכרון. קבוצת המשנה הנתמכת של השפה הורחבה עם מבנים חדשים.

מקור: OpenNet.ru

הוספת תגובה