Entrypoint crate for the Haloumi framework.
Intermediate representation of the haloumi framework.
Haloumi backend to LLZK.
Haloumi backend to the Picus Constraint Language.
Synthesis step of the haloumi lowering pipeline.
Generic backend API of the haloumi framework.
IR generation step of the haloumi lowering pipeline.
Types used by the IR and by some modules that the IR depends on.
Core traits for enabling types to integrate with the codegen module.
Core types and traits of the Halo2 frontend for LLZK