Skip to content

Pull requests: rustfoundation/safety-critical-rust-consortium

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
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

meeting: coding guidelines agenda for 2026-04-01 coding guidelines Related to work in the Coding Guidelines Subcommittee
#615 opened Apr 1, 2026 by PLeVasseur Loading…
added tools list rendering
#578 opened Feb 27, 2026 by manczak-ifx Loading…
Misc improvements to the README
#574 opened Feb 24, 2026 by plaindocs Loading…
[Tooling] book list
#567 opened Feb 19, 2026 by pellico Loading…
add coding guidelines agenda 2026-02-04 coding guidelines Related to work in the Coding Guidelines Subcommittee
#559 opened Feb 4, 2026 by PLeVasseur Loading…
Tooling meeting minutes 16/12/2026
#551 opened Jan 20, 2026 by pellico Loading…
[available tools] add Verus to the list
#548 opened Jan 17, 2026 by mkovaxx Loading…
[tooling] State of the safety critical tools tooling Related to work in the Tooling Subcommittee
#175 opened Feb 11, 2025 by alexandruradovici Loading…
Add statements on intrinsics. coding guidelines Related to work in the Coding Guidelines Subcommittee documentation Improvements or additions to documentation
#148 opened Jan 17, 2025 by vjonaswolf Loading…
[Tooling] Added some requirements derived from ISO26262 liason Related to work in the Liaison Subcommittee tooling Related to work in the Tooling Subcommittee
#144 opened Jan 15, 2025 by pellico Loading…
ProTip! What’s not been updated in a month: updated:<2026-03-07.