GNAT Community 2020 er ude

Kom ud GNAT Community 2020 - et udviklingsværktøj på Ada-sproget. Pakken indeholder en compiler, et integreret udviklingsmiljø GNAT Studio, en statisk analysator til en delmængde af SPARK-sproget, en GDB-debugger og et sæt biblioteker. Plastikpose distribueret af under betingelserne i GPL-licensen.

Vigtigste ændringer:

• Compileren har tilføjet støtte til mange innovationer fra det kommende udkast
  Ada sprogstandard 202x.
  Backend er blevet opdateret til GCC 9 (for alle platforme undtagen macOS). Tilføjet understøttelse af RISC-V 64 platformen.

• GNAT Studio-udviklingsmiljøet bruger nu
  din LSP
  (Language Server Protocol) for Ada-sproget. Baseret på den samme server er en udvidelse til Visual Studio Code blevet implementeret, nu tilgængelig i
  Visual Studio Marketplace.

• В SPARK analysator Tilføjet understøttelse af pointer-ejerskab (som i Rust), som giver dig mulighed for at bevise fraværet af hukommelsesfejl og fraværet af hukommelseslækager. Den understøttede delmængde af sproget er blevet udvidet med nye konstruktioner.

Kilde: opennet.ru