harn-ir-0.7.52
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

harn-ir 0.7.52

CFG and invariant analysis for the Harn programming language

Crate
Source
Builds
Feature flags

Coverage
0%
0 out of 103 items documented0 out of 26 items with examples
Size
Source code size: 57.03 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.88 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 12s Average build duration of successful builds.
all releases: 26s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
burin-labs/harn
7 0 29
crates.io
Dependencies
- harn-lexer ^0.7 normal
- harn-parser ^0.7 normal
Versions
Owners