Programma GNAT Community 2020 ir iznākusi

Iznāca ārā GNAT kopiena 2020 - izstrādes rīku komplekts Ada valodā. Komplektā ietilpst kompilators, integrēta izstrādes vide GNAT studija, statisks analizators SPARK valodas apakškopai, GDB atkļūdotājs un bibliotēku kopa. Plastmasas maisiņš izplata saskaņā ar GPL licences noteikumiem.

Galvenās izmaiņas:

  • Kompilators ir pievienojis atbalstu daudziem jauninājumiem no gaidāmā projekta
    Ada valodas standarts 202x.
    Aizmugursistēma ir atjaunināta uz GCC 9 (visām platformām, izņemot macOS). Pievienots RISC-V 64 platformas atbalsts.

  • Tagad tiek izmantota GNAT Studio izstrādes vide
    jūsu LSP
    (Language Server Protocol) Ada valodai. Pamatojoties uz to pašu serveri, ir ieviests Visual Studio Code paplašinājums, kas tagad ir pieejams
    Visual Studio Marketplace.

  • В SPARK analizators Pievienots rādītāja īpašumtiesību atbalsts (kā Rust), kas ļauj pierādīt, ka nav atmiņas kļūdu un nav atmiņas noplūdes. Atbalstītā valodas apakškopa ir paplašināta ar jaunām konstrukcijām.

Avots: opennet.ru

Pievieno komentāru