vyre-spec 0.1.0

Machine-checkable specification for the vyre GPU compute IR
Documentation
  • Coverage
  • 100%
    179 out of 179 items documented0 out of 29 items with examples
  • Size
  • Source code size: 51.68 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 7.97 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 1m 4s Average build duration of successful builds.
  • all releases: 50s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • Repository
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • santhsecurity

vyre-spec

vyre-spec is the machine-checkable specification for the vyre GPU compute IR. Any backend may depend on vyre-spec alone to prove conformance without depending on vyre itself.

The crate contains only pure specification data: IR scalar and operation types, algebraic laws, conformance categories, verification evidence, and the I1..I15 engine invariant catalog.