Safety-Critical Tool Submission - AdaCore's GNAT Pro for Rust #452
Description
What is the name of the tool?
AdaCore's GNAT Pro for Rust
What is a description of the tool, what it does, how it would be used?
AdaCore's Toolsuite for High-Assurance Rust Software; Includes stable toolchain for long-term development, long-term support, and qualification
Link to the tool repo or homepage
https://www.adacore.com/gnatpro-rust
What is your role/connection to this tool?
Product Manager/Owner (commercial)
Tool category
None