GNAT Community 2020 er lansert

Utgitt GNAT Community 2020 — pakke for utvikling i Ada. Pakken inneholder kompilator, integrert utviklingsmiljø GNAT Studio, statisk analyser for delmengden av SPARK-språket, GDB-feilsøker og et sett med biblioteker. Pakken distribueres leveres under GPL-lisensen.

Hovedendringer:

• Kompilatoren har fått støtte for mange nyvinninger fra utkastet til den kommende
  Ada-språkstandarden 202x.
  Backend er oppdatert til GCC 9 (for alle plattformer unntatt macOS). Støtte for RISC-V 64-plattformen er lagt til.
• Utviklingsmiljøet GNAT Studio bruker nå
  sin LSP
  (Language Server Protocol) for Ada-språket. Basert på denne serveren er det utviklet en utvidelse for Visual Studio Code, nå tilgjengelig i
  Visual Studio Marketplace.
• I SPARK-analyser har fått støtte for eierskap av pekere (som i Rust), noe som gjør det mulig å bevise fravær av feil relatert til minnehåndtering og fravær av minnelekkasjer. Det støttede delsettet av språket er utvidet med nye konstruksjoner.

Kilde: opennet.ru