project-oak/rust-verification-tools - GitHub Explorer | GitHub Explorer | Trending

Stars

281

Forks

37

Watchers

281

Open Issues

25

Repository Health Score

🧡

66/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Add link to Kangrejos

Alastair Reid•4 years ago

b179e90View on GitHub

Add rudimentary support for the SMACK verifier

Mark S. Baranowski•4 years ago

1519a31View on GitHub

Final blog post: retrospective

Alastair Reid•4 years ago

6296357View on GitHub

New series of blog posts about Rust for Linux

Alastair Reid•4 years ago

9c77a48View on GitHub

Revert cstring_from_vec_with_nul - may break no_std???

Alastair Reid•4 years ago

8f03b3fView on GitHub

Blog: improve instructions

Alastair Reid•4 years ago

dd604b1View on GitHub

Minor improvements to no_std

Alastair Reid•4 years ago

037dc98View on GitHub

verification-annotations: allow no_std usage

Alastair Reid•4 years ago

013310fView on GitHub

cargo-verify: add --no-default-features flag

Alastair Reid•4 years ago

3582ee3View on GitHub

Add FROM params and entries to .dockerignore

Thierry Marianne•4 years ago

ac54bccView on GitHub

Tweak title

Alastair Reid•4 years ago

625fc93View on GitHub

New blog post about RVT risks

Alastair Reid•4 years ago

00b114aView on GitHub

Improve coreutils post

Alastair Reid•4 years ago

d825127View on GitHub

New blog post about coreutils

Alastair Reid•4 years ago

e50559fView on GitHub

Revert "Update mkimage"

Alastair Reid•4 years ago

1481d91View on GitHub

View all commits

GitHub Explorer

rust-verification-tools

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues