Komunitas GNAT 2020 parantos kaluar

Sumping kaluar Komunitas GNAT 2020 - pakakas pamekaran dina basa Ada. Paket kalebet kompiler, lingkungan pangembangan terpadu GNAT Studio, analisa statik pikeun sawaréh tina basa SPARK, debugger GDB sareng sakumpulan perpustakaan. Kantong plastik disebarkeun ku dina kaayaan lisénsi GPL.

Parobahan utama:

• Kompiler parantos nambihan dukungan pikeun seueur inovasi tina draf anu bakal datang
  Aya standar basa 202x.
  Backend parantos diropéa kana GCC 9 (pikeun sadaya platform kecuali macOS). Ditambahkeun dukungan pikeun platform RISC-V 64.

• Lingkungan pangembangan GNAT Studio ayeuna dianggo
  LSP anjeun
  (Language Server Protocol) pikeun basa Ada. Dumasar kana server anu sami, ekstensi pikeun Visual Studio Code parantos dilaksanakeun, ayeuna sayogi di
  Pasar Visual Studio.

• В SPARK analyzer Ditambahkeun rojongan pikeun kapamilikan pointer (sakumaha dina Rust), nu ngidinan Anjeun pikeun ngabuktikeun henteuna kasalahan memori jeung henteuna leaks memori. Sawaréh basa anu dirojong parantos dilegaan ku konstruksi énggal.

sumber: opennet.ru