I-GNAT Community 2020 isiphumile

Uphume Umphakathi we-GNAT 2020 - ikhithi yamathuluzi yokuthuthukisa ngolimi lwase-Ada. Iphakheji ihlanganisa i-compiler, indawo yokuthuthukisa edidiyelwe I-GNAT Studio, umhlaziyi omile wesethi engaphansi yolimi lwe-SPARK, isilungisi sephutha se-GDB kanye nesethi yamalabhulali. Isikhwama sepulasitiki isatshalaliswa ngu ngaphansi kwemibandela yelayisensi ye-GPL.

Izinguquko eziyinhloko:

• Umdidiyeli wengeze ukusekelwa kokuqanjwa okuningi okuvela kokusalungiswa okuzayo
  Ulimi lwe-Ada olujwayelekile 202x.
  I-backend ibuyekezwe ku-GCC 9 (kuwo wonke amapulatifomu ngaphandle kwe-macOS). Ukwesekwa okwengeziwe kwenkundla ye-RISC-V 64.

• Imvelo yokuthuthukiswa kwe-GNAT Studio manje iyasetshenziswa
  I-LSP yakho
  (Iphrothokholi Yeseva Yolimi) yolimi lwe-Ada. Ngokusekelwe kuseva efanayo, kusetshenziswe isandiso se-Visual Studio Code, manje esitholakala ku-
  Isigcawu se-Visual Studio Marketplace.

• В I-SPARK analyzer Ukwesekwa okwengeziwe kobunikazi be-pointer (njengaku-Rust), okuvumela ukuthi ufakazele ukungabikho kwamaphutha enkumbulo kanye nokungabikho kokuvuza kwememori. Isethi engaphansi esekelwe yolimi inwetshiwe ngezakhiwo ezintsha.

Source: opennet.ru