Skip to content

Commit 6f5a9df

Browse files
committed
Adapt structure for better styling
1 parent 63b5e4d commit 6f5a9df

1 file changed

Lines changed: 6 additions & 8 deletions

File tree

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

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -13,20 +13,18 @@ Please get in touch with the tool authors and vendors **before** starting your p
1313

1414
If you want to add or update the list, please open an issue on the [safety-critical-rust-consortium](https://github.com/rustfoundation/safety-critical-rust-consortium/issues) repository, or on the Rust Zulip [safety-critical-consortium](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium) channel.
1515

16-
## Acceptance Criteria
16+
### Acceptance Criteria
1717

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

20-
Note: even if the tool fulfill all the listed criteria the SCRC may ask the maintainer/owner of the tool for a presentation/demonstration for better evaluation.
21-
22-
### Close Source
23-
- Tool still supported by vendor.
20+
**Close Source:**
21+
- Tool still supported by vendor
2422
- First productive release: > 1 year old
2523

26-
### Open Source
27-
- First project publishing date : > 1 year old
24+
**Open Source:**
25+
- First project publishing date: > 1 year old
2826
- Last update: < 1 year old
2927

30-
28+
**Note:** Even if the tool fulfills all the listed criteria the SCRC may ask the maintainer/owner of the tool for a presentation/demonstration for better evaluation.
3129

3230
<ToolsList />

0 commit comments

Comments
 (0)