rustio rustio.net
46

rvsail

v0.15.0 Experimental

RISC-V formal verification via Sail ISA oracle — combinational + crypto + vector

MIT Edition 2021
Development toolsHardware support #smt#yosys#risc-v#formal-verification#sail

Quick Verdict

  • Actively maintained (updated 1d ago)
  • !Pre-1.0: API may have breaking changes
  • Permissive license (MIT)

Security

Checking security advisories...
Downloads
53
Dependents
0
Releases
5
Size
231KB

Deep Insights

📊
Download activity

53 downloads in the last 30 days (2/day avg).

Health Breakdown

Maintenance 17/25

Recency, release consistency, active ratio

Quality 11/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
1/day avg
05101512/301/172/42/223/123/29

Version Adoption

v0.3.0
21%
v0.3.1
21%
v0.15.0
21%
v0.1.0
19%
v0.2.0
19%

Release Timeline

5 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
5
Less
More

README

Loading README...

Maintainers

Dependencies
8
direct dependencies
Dependents
0
crates depend on rvsail

Similar Crates