Skip to content

Issues: rustfoundation/safety-critical-rust-consortium

Beta
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

22 Open 185 Closed
22 Open 185 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Membership Application for Jordan HENRY, Schneider Electric membership application
#353 opened Jun 17, 2025 by jordanhenry
@JoelMarcey
Subcommittee Join Request for [Yuchen Shen] coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#351 opened Jun 16, 2025 by onixie
1
@PLeVasseur
Subcommittee Join Request for Christof to Liaison liason Related to work in the Liaison Subcommittee subcommittee join request
#304 opened May 7, 2025 by cpetig
@AlexCeleste
arewesafetycriticalyet.org: Coding Guidelines coding guidelines Related to work in the Coding Guidelines Subcommittee documentation Improvements or additions to documentation help wanted Extra attention is needed
#274 opened Apr 14, 2025 by PLeVasseur
@PLeVasseur
arewesafetycriticalyet.org: Liaison documentation Improvements or additions to documentation help wanted Extra attention is needed liason Related to work in the Liaison Subcommittee
#273 opened Apr 14, 2025 by PLeVasseur
@AlexCeleste
arewesafetycriticalyet.org: Tooling documentation Improvements or additions to documentation help wanted Extra attention is needed tooling Related to work in the Tooling Subcommittee
#272 opened Apr 14, 2025 by PLeVasseur
@alexandruradovici
Subcommittee Join Request for William Barsse coding guidelines Related to work in the Coding Guidelines Subcommittee subcommittee join request
#265 opened Apr 7, 2025 by wb-airbus
@PLeVasseur @wb-airbus
2
Subcommittee Join Request for [Abhijit Borole]
#264 opened Apr 6, 2025 by aborole
@aborole
2
arewesafetycriticalyet.org -- content gathering
#254 opened Mar 28, 2025 by PLeVasseur
1
Safety pamphlet: More details in first section "Unsafe Code"
#250 opened Mar 26, 2025 by pellico
@adfernandes
1
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 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
@jmqd
2
IEC 61508 Recommended languages do not include Rust liason Related to work in the Liaison Subcommittee
#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
2
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
collaboration: explore communication and collaboration channels coding guidelines Related to work in the Coding Guidelines Subcommittee
#67 opened Nov 7, 2024 by rmsyn
3
Review and consider use case for MISRA draft of guidelines for Rust coding guidelines Related to work in the Coding Guidelines Subcommittee
#52 opened Oct 31, 2024 by PLeVasseur
2
ProTip! Add no:assignee to see everything that’s not assigned.