GNAT Community 2020 гарлаа

Гаргасан GNAT Нийгэмлэг 2020 - Ада хэл дээрх хөгжүүлэлтийн хэрэгсэл. Багц нь хөрвүүлэгч, хөгжлийн нэгдсэн орчинг агуулдаг GNAT студи, SPARK хэлний дэд бүлэгт зориулсан статик анализатор, GDB дибаглагч болон номын сангийн багц. Гялгар уут тараасан GPL лицензийн нөхцлийн дагуу.

Үндсэн өөрчлөлтүүд:

  • Эмхэтгэгч нь удахгүй гарах ноорогоос олон шинэлэг зүйлд дэмжлэг нэмсэн
    Ада хэлний стандарт 202x.
    Ар тал нь GCC 9 болж шинэчлэгдсэн (macOS-аас бусад бүх платформд зориулагдсан). RISC-V 64 платформын дэмжлэгийг нэмсэн.

  • GNAT Studio хөгжүүлэлтийн орчинг одоо ашиглаж байна
    таны LSP
    (Хэлний серверийн протокол) Ада хэлэнд зориулсан. Ижил сервер дээр тулгуурлан Visual Studio Code-д зориулсан өргөтгөл хийгдсэн бөгөөд одоо ашиглах боломжтой
    Visual Studio Зах зээлийн газар.

  • В SPARK анализатор Санах ойн алдаа, санах ой алдагдаагүй гэдгийг нотлох боломжийг олгодог заагч эзэмшигчийн дэмжлэгийг нэмсэн (Rust-ийн адил). Хэлний дэмжигдсэн дэд багцыг шинэ бүтцээр өргөтгөсөн.

Эх сурвалж: opennet.ru

сэтгэгдэл нэмэх