hermit-verify 0.0.1

Verification tooling for Hermit deterministic execution (name reservation for the Hermit project).
Documentation
  • Coverage
  • 100%
    1 out of 1 items documented0 out of 0 items with examples
  • Size
  • Source code size: 2.4 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 234.5 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 6s Average build duration of successful builds.
  • all releases: 6s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • rrnewton/hermit
    1 0 735
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • rrnewton

Name reservation placeholder for hermit-verify — part of the Hermit/Reverie deterministic execution project (https://github.com/rrnewton/hermit). Real functionality will follow.