Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Remove the Halo2 frontend ConstraintSystem #282

Merged
merged 6 commits into from
Aug 6, 2024
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,3 +36,6 @@ rand_chacha = "0.3"

[build-dependencies]
lalrpop = "0.20.0"

[features]
debug_pil = []
Binary file added examples/ptau/hermez-raw-12
Binary file not shown.
1 change: 1 addition & 0 deletions src/pil/backend/powdr_pil.rs
Original file line number Diff line number Diff line change
Expand Up @@ -161,6 +161,7 @@ fn generate_pil_fixed_columns<F: Debug>(pil: &mut String, pil_ir: &PILCircuit<F>
"// === Fixed Columns for Signals and Step Type Selectors ==="
)
.unwrap();
#[cfg(feature = "debug_pil")]
for (col, assignments) in pil_ir.col_fixed.iter() {
let fixed_name = match col {
PILColumn::Fixed(_, annotation) => annotation.clone(),
Expand Down
Loading
Loading