بیرون آمدانجمن GNAT 2020 - یک جعبه ابزار توسعه به زبان Ada. این بسته شامل یک کامپایلر، یک محیط توسعه یکپارچه است استودیو GNAT، یک تحلیلگر استاتیک برای زیرمجموعه ای از زبان SPARK، یک دیباگر GDB و مجموعه ای از کتابخانه ها. کیسه پلاستیکی توزیع شده توسط تحت شرایط مجوز GPL.
تغییرات اصلی:
کامپایلر پشتیبانی از بسیاری از نوآوری ها را از پیش نویس آینده اضافه کرده است استاندارد زبان آدا 202x.
باطن به GCC 9 (برای همه سیستم عامل ها به جز macOS) به روز شده است. پشتیبانی از پلتفرم RISC-V 64 اضافه شده است.
محیط توسعه GNAT Studio اکنون استفاده می کند LSP شما
(پروتکل سرور زبان) برای زبان آدا. بر اساس همان سرور، یک افزونه برای Visual Studio Code پیاده سازی شده است که اکنون در دسترس است ویژوال استودیو بازار.
В آنالایزر SPARK پشتیبانی اضافه شده برای مالکیت اشاره گر (مانند Rust)، که به شما امکان می دهد عدم وجود خطاهای حافظه و عدم وجود نشت حافظه را ثابت کنید. زیرمجموعه پشتیبانی شده زبان با ساختارهای جدید گسترش یافته است.