diff --git a/subcommittee/tooling/meetings/2026-06-05/minutes.md b/subcommittee/tooling/meetings/2026-06-05/minutes.md new file mode 100644 index 00000000..f2d3b955 --- /dev/null +++ b/subcommittee/tooling/meetings/2026-06-05/minutes.md @@ -0,0 +1,77 @@ +# Tooling Subcommittee Meeting on 5 June 2026 @ 4pm GMT + +| Search Key | Description | +| :---- | :---- | +| \[todo\] | Action Item | +| \[decision\] | Something decided on | +| \[important\] | Key information | + +## Agenda + +1. Solicitation of notetaker +2. Review last and last-last time's meeting minutes + 1. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633) + 2. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675) +3. Present new members +4. Tooling Task Force + 1. Why no preview [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310) +5. Rust Project Bridge Task Force + 1. Updates from Rust Project [Safety-Critical Rust Roadmap](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) + 2. Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal + 1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip + 3. Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal + 1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip + 4. Technical Marketing Track / Sessions +6. Rust Project t-fls + +## Check-in area + +**Please add your name, and an emoji that describes your day.** + +* Pete LeVasseur ✍️🦀 +* Stefan Akatyschew :-) +* Tony Aiello 😴 +* Mark Hermeling ☀️ +* Arnaud Fontaine 🙂 +* Oreste Bernardi 🏕️ +* Manuel Hatzl +* Zalán Bálint Lévai 😅 + +**Notetaker:** + +* Stefan Akatyschew + +## Housekeeping section + +Xx + +## Tasks + +* + +## Meeting Minutes + +* Review last and last-last time's meeting minutes + * Approved both + * [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633) + * [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675) +* Tooling Task Force + * Member of task force attended + * Feedback on nuclear standard outstanding + * No new tool requests so far + * Handshake deal to acquire the standards lists for the committee; the list of standards to be acquired is still TBD and should be committed to GitHub + * Work got merged last month, can be viewed here: [https://arewesafetycriticalyet.org/tooling/tools-list](https://arewesafetycriticalyet.org/tooling/tools-list) +* Rust Project Bridge Task Force + * There is a Roadmap for FuSa in Rust including e.g. MC/DC, normative documentation of using unsafe Rust, etc. + * Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal + * Initial meeting went well to get on-boarded; Pete needs to publish the notes + * Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal + * Initial meeting went well to understand next steps; Pete needs to publish the notes + * Iceoryx team is investigating some undefined behavior in the std library and discussing it with the operational semantics teams + * Technical Marketing Track / Sessions + * Xx +* Rust Project FLS + * Request: if interested in getting involved with the FLS team, feel free to post in Zulip to get onboarded and shown how to contribute; a lot to do, help appreciated + * Q: It is questioned if enough "consumers" of the FLS are involved, e.g. compiler vendors + * A: Ferrous is investing a lot of time, also AdaCore + * There are quite some perks with getting involved: e.g. you get invited to the Unconf or Rust all-hands \ No newline at end of file