[tooling] State of the safety critical tools#175

alexandruradovici wants to merge 1 commit into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-consortium:mainfrom

OxidosAutomotive:state_of_toolsOxidosAutomotive/safety-critical-rust-consortium:state_of_toolsCopy head branch name to clipboard