search

risc0 / zirgen

Zirgen compiler and RISC Zero circuits
Apache License 2.0
62 stars 7 forks source link

ZIR-227: add load & store ops to BigInt dialect (extracted from PR #56) #64

Closed mars-risc0 closed 3 weeks ago

mars-risc0 commented 3 weeks ago

These are the changes from the zirgen/Dialect/BigInt portion of Jeremy's PR #56, plus the range-check modification I suggested in decode.cpp.