GNAT Pro for Rust 25 Release Notes ================================== We present here a few highlights of the new features in GNAT Pro for Rust 25. .. contents:: :local: Rust Version ------------ This release of GNAT Pro for Rust is based on Rust version 1.77.2, with additional fixes for the following CVEs: * `CVE-2024-43402 `_ Vulnerability report -------------------- From 25.0, you can download the GNAT Pro for Rust vulnerability report from the Release Download section. It will provide you the list of the CVEs that can impact this product and the corresponding impact analysis describing whether the product is concerned by each CVE. Platforms --------- Initial Platform Support ~~~~~~~~~~~~~~~~~~~~~~~~ GNAT Pro for Rust is available for the following platforms: Hosts +++++ - x86_64 Windows 11, both as host and target - x86_64 Linux, both as host and target Targets +++++++ - Aarch64 Bare Metal (no-std), hosted on Linux or Windows - Aarch64 Linux, hosted on Linux Tools ----- GNAT Pro for Rust includes the following tools: Toolchain ~~~~~~~~~ - cargo - rustc - gcc (for linking only) - binutils - gdb Multi-Language Build Support ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - gprbuild - gprclean - gprconfig - gprinstall - gprinspect - gprname IDE and Analysis ~~~~~~~~~~~~~~~~ - rust-analyzer - clippy GPRbuild Integration -------------------- GNAT Pro for Rust provides initial, beta integration with GPRbuild. This support allows you to include Rust library crates in your Ada projects: GPRbuild will call Cargo to build the Rust libraries and link them into your Ada project, automatically. See the documentation for more information.