GNAT hamjamiyati 2020 chiqdi

Tashqariga chiqdim GNAT hamjamiyati 2020 - Ada tilida ishlab chiqish vositalari. Paket kompilyatorni, integratsiyalashgan rivojlanish muhitini o'z ichiga oladi GNAT studiyasi, SPARK tilining quyi to'plami uchun statik analizator, GDB tuzatuvchisi va kutubxonalar to'plami. Plastik sumka tarqaladi GPL litsenziyasi shartlariga muvofiq.

Asosiy o'zgarishlar:

• Kompilyator yaqinlashib kelayotgan loyihadan ko'plab yangiliklarni qo'llab-quvvatladi
  Ada tili standarti 202x.
  Backend GCC 9 ga yangilandi (macOSdan tashqari barcha platformalar uchun). RISC-V 64 platformasi uchun qo‘shimcha qo‘llab-quvvatlash.

• GNAT Studio ishlab chiqish muhiti hozir foydalanmoqda
  sizning LSP
  Ada tili uchun (Language Server Protocol). Xuddi shu serverga asoslanib, Visual Studio Code uchun kengaytma amalga oshirildi, endi mavjud
  Visual Studio bozori.

• В SPARK analizatori Ko'rsatkichga egalik qilish uchun qo'shilgan yordam (Rust-da bo'lgani kabi), bu sizga xotira xatolarining yo'qligini va xotiraning oqishi yo'qligini isbotlash imkonini beradi. Tilning qoʻllab-quvvatlanadigan kichik toʻplami yangi konstruksiyalar bilan kengaytirildi.

Manba: opennet.ru