ĦareġKomunità GNAT 2020 - sett ta' għodod għall-iżvilupp fil-lingwa Ada. Il-pakkett jinkludi kompilatur, ambjent ta 'żvilupp integrat GNAT Studio, analizzatur statiku għal subsett tal-lingwa SPARK, debugger GDB u sett ta 'libreriji. Borża tal-plastik imqassma minn taħt it-termini tal-liċenzja GPL.
Bidliet ewlenin:
Il-kompilatur żied appoġġ għal ħafna innovazzjonijiet mill-abbozz li jmiss Standard tal-lingwa Ada 202x.
Il-backend ġie aġġornat għal GCC 9 (għall-pjattaformi kollha ħlief macOS). Appoġġ miżjud għall-pjattaforma RISC-V 64.
L-ambjent ta 'żvilupp GNAT Studio issa juża LSP tiegħek
(Language Server Protocol) għal-lingwa Ada. Ibbażat fuq l-istess server, ġiet implimentata estensjoni għal Visual Studio Code, issa disponibbli fi Suq tal-Visual Studio.
В analizzatur SPARK Appoġġ miżjud għas-sjieda tal-pointer (bħal f'Rut), li jippermettilek tipprova n-nuqqas ta 'żbalji tal-memorja u n-nuqqas ta' tnixxijiet tal-memorja. Is-subsett appoġġjat tal-lingwa ġie estiż b'kostruzzjonijiet ġodda.