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