GNAT-Komunumo 2020 estas for

Eliris GNAT-Komunumo 2020 - disvolva ilaro en la lingvo Ada. La pako inkluzivas kompililon, integran evolumedion GNAT Studio, senmova analizilo por subaro de la SPARK-lingvo, GDB-sencimigilo kaj aro de bibliotekoj. Plasta sako distribuita de sub la kondiĉoj de la GPL-licenco.

Ĉefaj ŝanĝoj:

  • La kompililo aldonis subtenon por multaj novigoj de la venonta skizo
    Ada lingvonormo 202x.
    La backend estis ĝisdatigita al GCC 9 (por ĉiuj platformoj krom macOS). Aldonita subteno por la RISC-V 64 platformo.

  • La evolumedio de GNAT Studio nun uzas
    via LSP
    (Language Server Protocol) por la lingvo Ada. Surbaze de la sama servilo, etendaĵo por Visual Studio Code estis efektivigita, nun havebla en
    Visual Studio Marketplace.

  • В SPARK analizilo Aldonita subteno por montrilo-posedo (kiel en Rust), kiu ebligas al vi pruvi la foreston de memoreraroj kaj la foreston de memorfuĝoj. La subtenata subaro de la lingvo estis vastigita kun novaj konstrukcioj.

fonto: opennet.ru

Aldoni komenton