Skip to content

v0.4.1 - Cleaner scan output and demo-first documentation

Choose a tag to compare

View all tags
@badimirzai badimirzai released this 07 May 21:51
v0.4.1
07888cd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

v0.4.1

This release improves scan readability, onboarding, and documentation structure for deterministic hardware verification workflows.

Highlights

  • Simplified default rv scan output
  • Moved advanced diagnostics and internal scan details into: 
    --verbose
Assets 2
Loading