4 ms·

Here is one I know of: https://github.com/rust-lang/rust/pull/90346 https://github.com/rust-lang/rust/pull/90346 I believe this is one as well: https://github.

• Xylakant 3y ago
  The second one was for a demo at an ESA symposium about rust in space, so it‘s not directly related to the certification.
  • steveklabnik 3y ago
    Ah ha! Thanks :)
    • Xylakant 3y ago
      I mean, it’s definitely indirectly related to the entire certification thingy. After all, we do want to see rust code in space. That what kicked off that whole idea :)
  • Xylakant 3y ago
    I forgot to add the relevant blog post where Jonathan writes about that change https://ferrous-systems.com/blog/rust-for-mission-critical-applications/ https://ferrous-systems.com/blog/rust-for-mission-critical-a...