Ilmus GNAT Community 2020

Välja GNAT Community 2020 — Ada keele arendustööde pakett. Pakett sisaldab kompilaatorit, integreeritud arenduskeskkonda GNAT Studio, SPARK keele alamhulga staatilist analüsaatorit, GDB silurit ja teeki. Pakett GNU Üldine Avaliku litsentsi alusel. on GPL litsentsi alusel.

Peamised muudatused:

  • Kompilaatorisse on lisatud to support mitmeid uuendusi tuleviku
    Ada keele 202x standardist.
    Backend on uuendatud GCC 9 peale (kõikidele platvormidele, välja arvatud macOS). RISC-V 64 platvormi tugi on lisatud.
  • GNAT Studio arenduskeskkond kasutab nüüd
    oma LSP
    (Language Server Protocol) Ada keele jaoks. Sellel sama serveril on põhinemine Visual Studio Code'i laienduse loomisel, mis on nüüd saadaval
    Visual Studio Marketplace.
  • V SPARK analüsaator on lisatud näidikute haldamise tugi (nagu Rustis), mis võimaldab tõestada mäluhalduse puudusi ja mälulekkete puudumist. Toetatud alamhulka on laiendatud uute konstruktsioonidega.

Allikas: opennet.ru

Osta usaldusväärne veebihosting DDoS kaitsega, VPS VDS serverid 🔥 Osta usaldusväärne veebihosting DDoS kaitsega, VPS VDS serverid | ProHoster