Docs.rs
haloumi-0.5.13
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
haloumi 0.5.13
Entrypoint crate for the Haloumi framework.
Crate
Source
Builds
Feature flags
..
deep_callstack.picus
deep_callstack_opt.picus
different_bodies.picus
different_bodies_opt.picus
fibonacci.picus
fibonacci_grouped.picus
fibonacci_grouped_opt.picus
fibonacci_opt.picus
grouped_muls.picus
grouped_muls_opt.picus
lookup.picus
lookup_2x3.picus
lookup_2x3_opt.picus
lookup_opt.picus
mul_circuit.picus
mul_circuit_opt.picus
mul_flipped_constraint.picus
mul_flipped_constraint_opt.picus
mul_inject.picus
mul_inject_opt.picus
mul_test.picus
mul_test_opt.picus
mul_with_fixed_constraint.picus
mul_with_fixed_constraint_opt.picus
mul_with_rewriter.picus
mul_with_rewriter_opt.picus
recursive_groups.picus
recursive_groups_opt.picus
same_body.picus
same_body_opt.picus
ten_plus_io.picus
ten_plus_io_opt.picus