GNAT Community 2020 ya fita

Ya fito GNAT Community 2020 - kayan aikin haɓakawa a cikin harshen Ada. Kunshin ya haɗa da mai tarawa, yanayin haɓaka haɓaka GNAT Studio, Mai nazari a tsaye don juzu'in harshen SPARK, mai gyara GDB da saitin ɗakunan karatu. Jakar filastik rarraba ta ƙarƙashin sharuɗɗan lasisin GPL.

Babban canje-canje:

• Mai tarawa ya ƙara goyan baya ga sabbin abubuwa da yawa daga daftarin mai zuwa
  Harshen Ada 202x.
  An sabunta bayanan baya zuwa GCC 9 (don duk dandamali ban da macOS). Ƙara tallafi don dandalin RISC-V 64.

• Yanayin ci gaban GNAT Studio yanzu yana amfani
  LSP ku
  (Language Server Protocol) don harshen Ada. Dangane da sabar iri ɗaya, an aiwatar da tsawaita don Kayayyakin Kayayyakin Kayayyakin Kayayyakin Kayayyakin Kayayyakin, yanzu akwai a ciki
  Kasuwancin Kayayyakin Studio.

• В Bayani: SPARK analyzer Ƙara goyon baya don ikon mallaka (kamar yadda yake a cikin Rust), wanda ke ba ku damar tabbatar da rashin kuskuren ƙwaƙwalwar ajiya da rashin raguwar ƙwaƙwalwar ajiya. An faɗaɗa ɓangaren harshe mai goyan bayan tare da sababbin gine-gine.

source: budenet.ru