Skip to content

Commit 387708e

Browse files
committed
Add general tool criteria
1 parent a911ab6 commit 387708e

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

arewesafetycriticalyet.org/docs/tooling/2_tools-list.mdx

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,10 @@ If you want to add or update the list, please open an issue on the [safety-criti
1717

1818
Tools will be included in the list only if they meet the following criteria.
1919

20+
**General:**
21+
- Supports Rust
22+
- Useful for safety-critical development
23+
2024
**Close Source:**
2125
- First productive release: > 1 year old
2226
- Tool still supported by vendor

0 commit comments

Comments
 (0)