Ang GNAT Community 2020 wala na

Nigawas Komunidad sa GNAT 2020 - usa ka toolkit sa pagpalambo sa pinulongang Ada. Ang package naglakip sa usa ka compiler, usa ka integrated development environment GNAT Studio, usa ka static analyzer alang sa usa ka subset sa SPARK nga pinulongan, usa ka GDB debugger ug usa ka set sa mga librarya. Plastic nga bag giapod-apod sa ubos sa mga termino sa lisensya sa GPL.

Panguna nga mga pagbag-o:

• Nagdugang ang compiler og suporta alang sa daghang mga inobasyon gikan sa umaabot nga draft
  Adunay standard nga pinulongan 202x.
  Ang backend gi-update sa GCC 9 (alang sa tanang platform gawas sa macOS). Gidugang nga suporta alang sa RISC-V 64 nga plataporma.

• Ang GNAT Studio development environment karon gigamit
  imong LSP
  (Language Server Protocol) para sa pinulongang Ada. Pinasukad sa parehas nga server, usa ka extension alang sa Visual Studio Code ang gipatuman, karon magamit sa
  Lugar sa Visual Studio.

• В SPARK analyzer Gidugang nga suporta alang sa pagpanag-iya sa pointer (sama sa Rust), nga nagtugot kanimo nga pamatud-an ang pagkawala sa mga sayup sa memorya ug ang pagkawala sa mga pagtulo sa memorya. Ang gisuportahan nga subset sa lengguwahe gipalapdan sa mga bag-ong konstruksyon.

Source: opennet.ru