valida-xyz/valida Issues
Check preprocessed traces
Updated 1Load ELF object files
Updated 1Complete output chip constraints
Updated 1Static chip preprocessed trace
Closed 2IMM32: Add missing range check
Updated 2Static data chip
ClosedShift32 chip: output constraint(s)
Updated 2Multi-core prover
Updated 1Add a Plonky3 version pin
Closed 3Verifier
ClosedUpdate ISA spec
Updated 4Program ROM bus constraints
UpdatedGet current value of `fp`
Closed 2Make partial functions total
UpdatedU32 ALU chips
UpdatedVarargs
UpdatedBig integer arithmetic chip
UpdatedReuse existing work
Closed 1Range Check Chip
Updated