- a development kit in the Ada language. The package includes a compiler, an integrated development environment , a SPARK language subset static analyzer, a GDB debugger, and a set of libraries. Plastic bag under the terms of the GPL license.
Major changes:
- The compiler has added support for many innovations from the draft of the future
.
The backend has been updated to GCC 9 (for all platforms except macOS). Added support for RISC-V 64 platform. - The GNAT Studio development environment now uses
(Language Server Protocol) for Ada language. Based on the same server, an extension for Visual Studio Code is implemented, now available in
. - Π added support for pointer ownership (as in Rust), which allows you to prove the absence of memory errors and the absence of memory leaks. The supported subset of the language has been extended with new constructs.
Source: opennet.ru