GNAT Community 2020 er ute

Kom ut GNAT Community 2020 - en utviklingsverktøykasse på Ada-språket. Pakken inkluderer en kompilator, et integrert utviklingsmiljø GNAT Studio, en statisk analysator for et undersett av SPARK-språket, en GDB-feilsøker og et sett med biblioteker. Plastpose distribuert av under vilkårene i GPL-lisensen.

Hovedendringer:

• Kompilatoren har lagt til støtte for mange innovasjoner fra det kommende utkastet
  Ada språkstandard 202x.
  Backend er oppdatert til GCC 9 (for alle plattformer unntatt macOS). Lagt til støtte for RISC-V 64-plattformen.

• GNAT Studio-utviklingsmiljøet bruker nå
  din LSP
  (Language Server Protocol) for Ada-språket. Basert på samme server har en utvidelse for Visual Studio Code blitt implementert, nå tilgjengelig i
  Visual Studio Marketplace.

• В SPARK analysator Lagt til støtte for pekereierskap (som i Rust), som lar deg bevise fravær av minnefeil og fravær av minnelekkasjer. Det støttede undersettet av språket har blitt utvidet med nye konstruksjoner.

Kilde: opennet.ru