GNAT Community 2020 on julkaistu

Tulin ulos GNAT-yhteisö 2020 - kehitystyökalupakki Ada-kielellä. Paketti sisältää kääntäjän, integroidun kehitysympäristön GNAT Studio, staattinen analysaattori SPARK-kielen osajoukolle, GDB-debuggeri ja joukko kirjastoja. Muovipussi jakelija GPL-lisenssin ehtojen mukaisesti.

Suurimmat muutokset:

• Kääntäjä on lisännyt tukea monille innovaatioille tulevasta luonnoksesta
  Ada-kielistandardi 202x.
  Tausta on päivitetty GCC 9:ään (kaikille alustoille paitsi macOS:lle). Lisätty tuki RISC-V 64 -alustalle.

• GNAT Studio -kehitysympäristö käyttää nyt
  sinun LSP
  (Language Server Protocol) Ada-kielelle. Saman palvelimen pohjalta Visual Studio Codelle on otettu käyttöön laajennus, joka on nyt saatavilla
  Visual Studio Marketplace.

• В SPARK analysaattori Lisätty tuki osoittimen omistamiselle (kuten Rustissa), jonka avulla voit todistaa muistivirheiden puuttumisen ja muistivuotojen puuttumisen. Tuettua kielen osajoukkoa on laajennettu uusilla rakenteilla.

Lähde: opennet.ru