Ferrocene is a downstream of the main Rust compiler - rustc - qualified for use in safety-critical systems, such as cars and planes. It is the first of its kind that is completely open source and does not diverge from its source codebase.
But what does that mean exactly? We’d like to take you through the documentation of Ferrocene - and with that, the ways the project works on its correctness.
Copyright (c) 2018-2024 ACCU; all rights reserved.
By clicking "Accept Non-Essential Cookies" you agree ACCU can store non-essential cookies on your device and disclose information in accordance with our Privacy Policy and Cookie Policy.
Current Setting: Non-Essential Cookies REJECTED
By clicking "Include Third Party Content" you agree ACCU can forward your IP address to third-party sites (such as YouTube) to enhance the information presented on this site, and that third-party sites may store cookies on your device.
Current Setting: Third Party Content EXCLUDED
Settings can be changed at any time from the Cookie Policy page.
