haloumi-picus
This crate is the Picus backend for Haloumi. Generates a representation of the circuit using the Picus Constraint Language.
- Coverage
- 100%
14 out of 14 items documented0 out of 2 items with examples - Size
- Source code size: 183.16 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 8.13 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 36s Average build duration of successful builds.
- all releases: 38s Average build duration of successful builds in releases after 2024-10-23.
- Links
-
project-llzk/haloumi
0 0 0 - crates.io
- Dependencies
-
- anyhow ^1 normal
- disjoint ^0.8 normal
- eqv ^0.1 normal
- haloumi-backend ^0.5.5 normal
- haloumi-core ^0.5.5 normal
- haloumi-ir ^0.5.5 normal
- haloumi-ir-gen ^0.5.5 normal
- haloumi-lowering ^0.5.5 normal
- haloumi-synthesis ^0.5.5 normal
- lazy_static ^1.5 normal
- log ^0.4 normal
- num-bigint ^0.4 normal optional
- regex ^1.11 normal
- thiserror ^2.0 normal
- criterion ^0.7 dev
- ff ^0.13 dev
- Versions
- Owners
-