GNAT Community 2020 yatuluka

Zinatuluka Gulu la GNAT 2020 - zida zachitukuko m'chinenero cha Ada. Phukusili limaphatikizapo compiler, malo ogwirizanitsa chitukuko Zithunzi za GNAT Studio, static analyzer ya kagawo kakang'ono ka chinenero cha SPARK, GDB debugger ndi gulu la malaibulale. Chikwama chapulasitiki wogawidwa ndi malinga ndi chilolezo cha GPL.

Zosintha zazikulu:

• Wopangayo wawonjezera thandizo lazatsopano zambiri kuchokera pazokonzekera zomwe zikubwera
  Chilankhulo cha Ada 202x.
  Kumbuyo kwasinthidwa kukhala GCC 9 (kwa nsanja zonse kupatula macOS). Thandizo lowonjezera la nsanja ya RISC-V 64.

• Malo otukuka a GNAT Studio tsopano akugwiritsa ntchito
  LSP yanu
  (Language Server Protocol) ya chilankhulo cha Ada. Kutengera seva yomweyo, kukulitsa kwa Visual Studio Code kwakhazikitsidwa, komwe kukupezeka
  Zowonera Studio Msika.

• В SPARK analyzer Thandizo lowonjezera la umwini wa pointer (monga Rust), zomwe zimakupatsani mwayi wotsimikizira kusakhalapo kwa zolakwika zamakumbukiro komanso kusakhalapo kwa kukumbukira kukumbukira. Chigawo chothandizira cha chinenerochi chakulitsidwa ndi zomanga zatsopano.

Source: opennet.ru