Izašla je GNAT zajednica 2020

oslobođen GNAT zajednica 2020 - razvojni alat na jeziku Ada. Paket uključuje kompajler, integrirano razvojno okruženje GNAT Studio, statički analizator za podskup jezika SPARK, GDB debugger i skup biblioteka. Plastična vrećica distribuira prema uvjetima GPL licence.

Velike promjene:

  • Kompajler je dodao podršku za mnoge inovacije iz nadolazećeg nacrta
    Standard jezika Ada 202x.
    Pozadina je ažurirana na GCC 9 (za sve platforme osim macOS-a). Dodana podrška za RISC-V 64 platformu.

  • Razvojno okruženje GNAT Studio sada koristi
    vaš LSP
    (Language Server Protocol) za jezik Ada. Na temelju istog poslužitelja implementirano je proširenje za Visual Studio Code, koje je sada dostupno u
    Tržište Visual Studio.

  • В SPARK analizator Dodana je podrška za vlasništvo pokazivača (kao u Rustu), što vam omogućuje da dokažete nepostojanje memorijskih pogrešaka i nepostojanje curenja memorije. Podržani podskup jezika proširen je novim konstrukcijama.

Izvor: opennet.ru

Dodajte komentar