Skip to content

Issues: rustfoundation/safety-critical-rust-consortium

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 124 Closed
27 Open 124 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Subcommittee Join Request for Chris de Claverie subcommittee join request tooling Related to work in the Tooling Subcommittee
#209 opened Feb 25, 2025 by pwnorbitals
@alexandruradovici
1
Subcommittee Join Request for Felix Gilcher subcommittee join request tooling Related to work in the Tooling Subcommittee
#208 opened Feb 25, 2025 by Xylakant
@alexandruradovici
1
Subcommittee Join Request for Felix Gilcher coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#207 opened Feb 25, 2025 by Xylakant
@PLeVasseur
1
Subcommittee Join Request for Nadhmi JAZI coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#205 opened Feb 24, 2025 by jazi007
1
@PLeVasseur
Subcommittee Join Request for Koppany Pazman (HighTec) coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#204 opened Feb 24, 2025 by pazmank
1
@PLeVasseur
1
Subcommittee Join Request for Espen Albrektsen subcommittee join request tooling Related to work in the Tooling Subcommittee
#202 opened Feb 24, 2025 by espenalb
@alexandruradovici
1
Subcommittee Join Request for Espen Albrektsen coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#201 opened Feb 24, 2025 by espenalb
1
@alexandruradovici @JoelMarcey @PLeVasseur
Subcommittee Join Request for Arthur Hicken coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#199 opened Feb 24, 2025 by codecurmudgeon
1
@alexandruradovici @JoelMarcey @PLeVasseur
Subcommittee Join Request for Pete LeVasseur subcommittee join request tooling Related to work in the Tooling Subcommittee
#198 opened Feb 24, 2025 by PLeVasseur
@alexandruradovici
Subcommittee Join Request for Abir Abbas subcommittee join request tooling Related to work in the Tooling Subcommittee
#197 opened Feb 24, 2025 by mdabir1203
1
@alexandruradovici
1
Subcommittee Join Request for Munawar Hafiz subcommittee join request tooling Related to work in the Tooling Subcommittee
#196 opened Feb 24, 2025 by openrefactorymunawar
@alexandruradovici
1
Subcommittee Join Request for Monadic Cat coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#195 opened Feb 24, 2025 by Monadic-Cat
1
@alexandruradovici @JoelMarcey @PLeVasseur
Publish tutorial on edge cases, e.g. C++ exceptions over FFI, panic unwinding coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#192 opened Feb 21, 2025 by PLeVasseur
Publish “decoder ring” pamphlet between safety-critical and Rust communities coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#191 opened Feb 21, 2025 by PLeVasseur
Publish useful safe patterns, e.g. compile-time deadlock prevention coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#190 opened Feb 21, 2025 by PLeVasseur
Coding guidelines standards matrix and rationale published as addendum coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#189 opened Feb 21, 2025 by PLeVasseur
Coding guidelines published coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#188 opened Feb 21, 2025 by PLeVasseur
IEC 61508 Recommended languages do not include Rust relations
#183 opened Feb 17, 2025 by ah801
2
Learn unsafe Rust: Provide content for the chapter "Intrinsics" coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#174 opened Feb 10, 2025 by vjonaswolf
@vjonaswolf
Learn unsafe Rust: Provide initial content for the chapter "Dangling and unaligned pointers" coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#151 opened Jan 19, 2025 by PLeVasseur
@PLeVasseur
Learn unsafe Rust: Provide initial content for the chapter "ABI and FFI" coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#150 opened Jan 18, 2025 by darkwisebear
4 of 17 tasks
@darkwisebear
6
Use case: As an software engineer, I need to be able to sell rust as a suitable safety critical language to our safety engineers coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#146 opened Jan 15, 2025 by ah801
3
Discuss use of unwrap coding guidelines Related to work in the Coding Guidelines Subcommittee
#145 opened Jan 15, 2025 by ah801
7
Formulate Chapter Material for Learn unsafe Rust coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#123 opened Dec 5, 2024 by PLeVasseur
@PLeVasseur
32
Learn unsafe Rust - Practicum Chapter Draft coding guidelines Related to work in the Coding Guidelines Subcommittee tracking issue An issue that gathers activities toward a larger goal
#122 opened Dec 5, 2024 by PLeVasseur
@jonititan
3
ProTip! Mix and match filters to narrow down what you’re looking for.