— a package of development tools for the Ada programming language. The package includes a compiler, integrated development environment , a static analyzer for a subset of the SPARK language, the GDB debugger, and a set of libraries. The package is available under the GPL license.
Key Changes:
- The compiler has been enhanced with support for many new features from the draft of the upcoming
.
The backend has been updated to GCC 9 (for all platforms except macOS). Support for the RISC-V 64 platform has been added. - The GNAT Studio development environment now uses
(Language Server Protocol) for the Ada language. Based on the same server, an extension for Visual Studio Code has been implemented and is now available in
. - In has added support for pointer ownership (like in Rust), enabling the proof of the absence of memory usage errors and memory leaks. The supported subset of the language has been expanded with new constructs.
Source: opennet.ru
