Objavljen GNAT Community 2020

Izašao GNAT Community 2020 — paket razvojnih alata za Ada jezik. Paket uključuje prevodilac, integrirano razvojno okruženje GNAT Studio, statički analizator podskupa jezika SPARK, debager GDB i skup biblioteka. Paket distribuira se je raspoloživ pod GPL licencom.

Glavne promjene:

• Prevodiocu su dodane podrške za mnoge inovacije iz nacrta budućeg
  standard jezika Aда 202х.
  Backend je ažuriran na GCC 9 (za sve platforme osim macOS-a). Dodana je podrška za RISC-V 64.
• Razvojno okruženje GNAT Studio sada koristi
  svoj LSP
  (Protokol jezgra jezika) za Ada jezik. Na osnovu ovog servera implementirano je proširenje za Visual Studio Code, sada dostupno u
  Visual Studio Marketplace.
• U analizator SPARK dodana je podrška za vlasništvo pokazivača (kao u Rustu), što omogućava dokazivanje odsustva grešaka u radu sa memorijom i odsustvo curenja memorije. Podržani podskup jezika je proširen novim konstrukcijama.

Izvor: opennet.ru