GNAT Community 2020 tawm

Tso Tawm GNAT Community 2020 - Cov khoom siv txhim kho hauv Ada lus. Cov pob muaj xws li compiler, ib puag ncig kev txhim kho kev sib koom ua ke GNAT Studio, tus ntsuas zoo li qub rau ib pawg ntawm SPARK lus, GDB debugger thiab cov tsev qiv ntawv. Lub hnab yas faib los ntawm nyob rau hauv cov nqe lus ntawm daim ntawv tso cai GPL.

Cov kev hloov loj:

• Lub compiler tau ntxiv kev txhawb nqa rau ntau qhov kev tsim kho tshiab los ntawm cov ntawv yuav los tom ntej
  Ada lus standard 202x.
  Lub backend tau hloov kho rau GCC 9 (rau txhua lub platform tshwj tsis yog macOS). Ntxiv kev txhawb nqa rau RISC-V 64 platform.

• GNAT Studio tsim ib puag ncig tam sim no siv
  koj LSP
  (Language Server Protocol) rau hom lus Ada. Raws li tib neeg rau zaub mov, qhov txuas ntxiv rau Visual Studio Code tau siv, tam sim no muaj nyob rau hauv
  Pom Duab Khw Kev Ua Lag Luam.

• В SPARK analyzer Ntxiv kev txhawb nqa rau tus tswv pointer (raws li hauv Rust), uas tso cai rau koj los ua pov thawj qhov tsis nco qab thiab tsis nco qab. Cov kev txhawb nqa ntawm cov lus tau nthuav dav nrog cov qauv tshiab.

Tau qhov twg los: opennet.ru