Skip to content

Pull requests: Safety-Critical-Rust-Consortium/safety-critical-rust-consortium

New pull request New
18 Open 252 Closed
18 Open 252 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add Verus to tools list
#629 opened Apr 15, 2026 by mhatzl Contributor Loading…
1
docs(coding-guidelines-agenda): adding agenda for 2026-04-15 meeting coding guidelines Related to work in the Coding Guidelines Subcommittee
#628 opened Apr 14, 2026 by PLeVasseur Collaborator Loading…
publish the meeting minutes to arewesafetycriticalyet.org coding guidelines Related to work in the Coding Guidelines Subcommittee liason Related to work in the Liaison Subcommittee tooling Related to work in the Tooling Subcommittee
#626 opened Apr 11, 2026 by alexandruradovici Collaborator Loading…
1
[tooling] add members tooling Related to work in the Tooling Subcommittee
#624 opened Apr 11, 2026 by alexandruradovici Collaborator Loading…
4
1
coding guidelines: link to the published version of the coding guidelines coding guidelines Related to work in the Coding Guidelines Subcommittee
#623 opened Apr 11, 2026 by alexandruradovici Collaborator Loading…
1
coding guidelines: add agenda for 2026-04-08 coding guidelines Related to work in the Coding Guidelines Subcommittee
#619 opened Apr 7, 2026 by PLeVasseur Collaborator Loading…
1
Improve link visibility for headings in light mode
#579 opened Feb 27, 2026 by rishi-techo-14 Loading…
1
2
Misc improvements to the README
#574 opened Feb 24, 2026 by plaindocs Collaborator Loading…
1
[Tooling] book list
#567 opened Feb 19, 2026 by pellico Contributor Loading…
6
Meeting minutes from coding guidelines subcommittee (Feb 4th)
#560 opened Feb 4, 2026 by cpetig Loading…
2
add coding guidelines agenda 2026-02-04 coding guidelines Related to work in the Coding Guidelines Subcommittee
#559 opened Feb 4, 2026 by PLeVasseur Collaborator Loading…
1
Tooling meeting minutes 16/12/2026
#551 opened Jan 20, 2026 by pellico Contributor Loading…
2
[available tools] add Verus to the list
#548 opened Jan 17, 2026 by mkovaxx Loading…
4
[Tooling] multiline rationale and improved reproducible build justification
#525 opened Dec 9, 2025 by manczak-ifx Contributor Loading…
6
Tooling request issue template
#336 opened Jun 1, 2025 by MerrimanInd Contributor • Draft
4
[tooling] State of the safety critical tools tooling Related to work in the Tooling Subcommittee
#175 opened Feb 11, 2025 by alexandruradovici Collaborator Loading…
7
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 Contributor Loading…
26
[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 Contributor Loading…
4
ProTip! Updated in the last three days: updated:>2026-04-22.