Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 4 additions & 8 deletions subcommittee/tooling/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,20 +14,16 @@ Tooling was one of the high interest topics that we have discussed, so the membe

## Subcommittee Mission Statement

A community-vetted minimal required tooling package to be able to certify Rust in safety-critical applications.
A document with a list of the minimal required tools and their development status. A possible curricula used for training in safety critical Rust (this is still to be determined of we need a different subcommittee for it).

Please see further details in our [mission statement](mission-statement.md).
Please see further details in our mission statement on [arewesafetycriticalyet.org/tooling/statement](https://arewesafetycriticalyet.org/tooling/statement).

## Members and Membership

Please find the list of members [here](members.md).

The Safety-Critical Rust Consortium is still working through what this process is. Please check back soon.
See section [Subcommittee Membership](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium#subcommittee-membership) in the main README.md.

## Meetings

We are still sorting out meeting scheduling and frequency. Please check back soon.
Meetings are currently held every two weeks on Fridays at 17:00 (GMT+2) to 12:00 (EDT).
You should receive meeting invitations once you have joined the subcommittee.

## Where to find us ✉️

Expand Down
44 changes: 0 additions & 44 deletions subcommittee/tooling/members.md

This file was deleted.

16 changes: 0 additions & 16 deletions subcommittee/tooling/mission-statement.md

This file was deleted.

Loading