decy-book 2.1.0

Book-based verification for transpiled Rust code

Coverage
100%
1 out of 1 items documented0 out of 0 items with examples
Size
Source code size: 2.02 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 968.47 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 11s Average build duration of successful builds.
all releases: 1m 5s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
paiml/decy
14 1 9
crates.io
Dependencies
Versions
Owners

Book-based verification for transpiled Rust code.

Uses mdBook to verify transpilation by compiling generated Rust and ensuring it passes lint.