GNAT Community 2020 er komið út

Kom út GNAT samfélag 2020 - þróunarverkfærasett á Ada tungumálinu. Pakkinn inniheldur þýðanda, samþætt þróunarumhverfi GNAT stúdíó, kyrrstöðugreiningartæki fyrir undirmengi SPARK tungumálsins, GDB kembiforrit og safn af bókasöfnum. Plastpoki dreift af samkvæmt skilmálum GPL leyfisins.

Helstu breytingar:

• Þýðandinn hefur bætt við stuðningi við margar nýjungar frá væntanlegum drögum
  Ada tungumálastaðall 202x.
  Bakendinn hefur verið uppfærður í GCC 9 (fyrir alla palla nema macOS). Bætti við stuðningi fyrir RISC-V 64 pallinn.

• GNAT Studio þróunarumhverfið notar nú
  LSP þinn
  (Language Server Protocol) fyrir Ada tungumálið. Byggt á sama netþjóni hefur viðbygging fyrir Visual Studio Code verið innleidd, nú fáanleg í
  Visual Studio Marketplace.

• В SPARK greiningartæki Bætti við stuðningi við eignarhald bendila (eins og í Rust), sem gerir þér kleift að sanna fjarveru minnisvillna og fjarveru minnisleka. Stuðningur undirmengi tungumálsins hefur verið stækkaður með nýjum byggingum.

Heimild: opennet.ru