Skupnost GNAT 2020 je izšla

Prišel sem Skupnost GNAT 2020 - komplet razvojnih orodij v jeziku Ada. Paket vključuje prevajalnik, integrirano razvojno okolje Studio GNAT, statični analizator za podnabor jezika SPARK, razhroščevalnik GDB in nabor knjižnic. Plastična vrečka distributer pod pogoji licence GPL.

Večje spremembe:

• Prevajalnik je dodal podporo za številne novosti iz prihajajočega osnutka
  Standard jezika Ada 202x.
  Zaledje je bilo posodobljeno na GCC 9 (za vse platforme razen macOS). Dodana podpora za platformo RISC-V 64.

• Razvojno okolje GNAT Studio zdaj uporablja
  vaš LSP
  (Language Server Protocol) za jezik Ada. Na podlagi istega strežnika je bila implementirana razširitev za Visual Studio Code, ki je zdaj na voljo v
  Tržnica Visual Studio.

• В SPARK analizator Dodana podpora za lastništvo kazalca (kot v Rust), ki vam omogoča, da dokažete odsotnost napak v pomnilniku in odsotnost puščanja pomnilnika. Podprta podmnožica jezika je bila razširjena z novimi konstrukcijami.

Vir: opennet.ru