GNAT 社群 2020 已結束

出來了 GNAT 社群 2020 - Ada 語言的開發工具包。 該軟體包包括編譯器、整合開發環境 吉納特工作室、SPARK 語言子集的靜態分析器、GDB 偵錯器和一組函式庫。 塑膠袋 分發者 根據 GPL 授權的條款。

主要變化：

• 編譯器添加了對即將發布的草案中的許多創新的支持
  Ada 語言標準 202x.
  後端已更新至 GCC 9（適用於 macOS 以外的所有平台）。 新增了對 RISC-V 64 平台的支援。

• GNAT Studio開發環境現在使用
  你的LSP
  （語言伺服器協定）用於 Ada 語言。 基於同一台伺服器，已經實現了 Visual Studio Code 的擴展，現在可以在
  Visual Studio Marketplace.

• В SPARK分析儀 新增了對指標所有權的支援（如 Rust 中所示），它允許您證明不存在記憶體錯誤和記憶體洩漏。 此語言支援的子集已透過新的構造進行了擴展。

來源： opennet.ru