shifty-opt 0.1.6

Static analysis, normalization, and logical/physical planning over the SHACL IR

Coverage
51.32%
78 out of 152 items documented0 out of 42 items with examples
Size
Source code size: 150.23 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.61 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 10s Average build duration of successful builds.
all releases: 13s Average build duration of successful builds in releases after 2024-10-23.
Links
gtfierro/shifty
6 0 0
crates.io
Dependencies
Versions
Owners

Static analysis, normalization, and planning (Layers 4-5).

Layer 4 starts here: the polarity-aware shape [deps]endency graph and [strata]ification analysis that realize the recursion semantics decided in docs/03-recursion-semantics.md (stratified; diagnose non-stratifiable). Normalization and logical→physical planning follow.