hypersonic-0.12.0
Platform
Feature flags

docs.rs

Rust

hypersonic 0.12.0

Formally-verifiable distributed software

Crate
Source
Builds
Feature flags

examples
scripts
src
stl
tests
.cargo_vcs_info.json
.gitignore
.rustfmt.toml
_typos.toml
Cargo.lock
Cargo.toml
Cargo.toml.orig
CHANGELOG.md
CODE_OF_CONDUCT.md
codecov.yml
CONTRIBUTING.md
DCO
LICENSE
MAINTAINERS.md
README.md
SECURITY.md

codecov:
  require_ci_to_pass: no

coverage:
  precision: 1
  round: nearest