Komunitas GNAT 2020 wis metu

Ngeculake Komunitas GNAT 2020 - toolkit pangembangan ing basa Ada. Paket kasebut kalebu kompiler, lingkungan pangembangan terpadu GNAT Studio, penganalisa statis kanggo subset saka basa SPARK, debugger GDB lan sakumpulan perpustakaan. Kantong plastik disebarake dening miturut syarat lisensi GPL.

Owah-owahan utama:

  • Compiler wis nambah dhukungan kanggo akeh inovasi saka konsep sing bakal teka
    Ana standar basa 202x.
    Backend wis dianyari menyang GCC 9 (kanggo kabeh platform kajaba macOS). Dhukungan tambahan kanggo platform RISC-V 64.

  • Lingkungan pangembangan GNAT Studio saiki digunakake
    LSP sampeyan
    (Language Server Protocol) kanggo basa Ada. Adhedhasar server sing padha, ekstensi kanggo Visual Studio Code wis dileksanakake, saiki kasedhiya ing
    Pasar Visual Visual.

  • Π’ SPARK analyzer Dhukungan ditambahake kanggo kepemilikan pointer (kaya ing Rust), sing ngidini sampeyan mbuktekake manawa ora ana kesalahan memori lan ora ana bocor memori. Subset basa sing didhukung wis ditambahi karo konstruksi anyar.

Source: opennet.ru

Add a comment