GNAT Community 2020 on välja antud

Ilmus GNAT Community 2020 — Ada keele arendustööde kogum. Pakett sisaldab kompilaatorit, integreeritud arenduskeskkonda GNAT Studio, staatilist analüsaatorit SPARK keele alamhulga jaoks, GDB tõrkeotsija ja teekide kogumit. Pakett levitatakse on välja antud GPL litsentsi alusel.

Peamised muudatused:

• Kompilaatorisse on lisatud tosupport paljusid uuendusi tulevasest
  Ada keele standardist 202x.
  Tagasiside on värskendatud GCC 9-le (kõikide platvormide jaoks, välja arvatud macOS). RISC-V 64 platvormi tosupport on lisatud.
• Arenduskeskkond GNAT Studio kasutab nüüd
  oma LSP
  (Language Server Protocol) Ada keele jaoks. Sellel põhinev server on rakendatud ka Visual Studio Code'i laienduseks, mis on nüüd saadaval
  Visual Studio Marketplace'is.
• Uues SPARK analüsaator on lisatud toetust näidikute omamisele (nagu Rustis), mis võimaldab tõestada, et mälukasutus ja mäluleked puuduvad. Toetatud alamhulka on laiendatud uute konstruktsioonidega.

Allikas: opennet.ru