Repository navigation

Add option to stabilize output ordering of operations for lit tests - #399

Closed

tim-hoffman wants to merge 153 commits into

iden3:masterfrom

project-llzk:th/add_stabilize_option

Commits on Oct 7, 2025
Commits on Oct 8, 2025
- Minimal end-to-end implementation to generate an empty LLZK module (#151)
  tim-hoffman
  authored
  1966def
- Update llzk-rs dependency (#152)
  tim-hoffman
  authored
  f77482e
Commits on Oct 9, 2025
- Refactor so lint checks can be added on just the LLZK generation code (#153)
  tim-hoffman
  authored
  3b7b503
Commits on Oct 15, 2025
- update llzk-rs/llzk-lib dependency (#154)
  tim-hoffman
  authored
  bb51412
Commits on Oct 17, 2025
- remove some unnecessary stuff from the flake (#158)
  tim-hoffman
  authored
  16d98f3
- create tests from circom documentation (#155)
  tim-hoffman
  authored
  7a5ed7a
- get latest from `llzk-rs` (#159)
  tim-hoffman
  authored
  e18c85a
Commits on Oct 18, 2025
- get latest `llzk-rs` (#160)
  tim-hoffman
  authored
  7124958
Commits on Oct 20, 2025
- Add CI workflow to run clippy (#156)
  tim-hoffman
  authored
  e09547b
Commits on Oct 21, 2025
- add tests from circom v1 (#161)
  tim-hoffman
  authored
  cb38df9
Commits on Oct 23, 2025
- Make lit emulator handle multi-line RUN script (#162)
  tim-hoffman
  authored
  9a849e7
- A few test updates (#163)
  tim-hoffman
  authored
  e1f447c
Commits on Oct 30, 2025
- update to latest LLZK (#164)
  tim-hoffman
  authored
  c67a9e3
Commits on Nov 3, 2025
- update LLZK dependency (#165)
  tim-hoffman
  authored
  efbdc26
Commits on Nov 4, 2025
- get latest LLZK (#166)
  tim-hoffman
  authored
  cfe63dd
Commits on Nov 6, 2025
- update to latest LLZK for CallOp support (#167)
  tim-hoffman
  authored
  896e6b3
Commits on Nov 18, 2025
Commits on Nov 19, 2025
- Add tests, normalize test check format (#172)
  tim-hoffman
  authored
  9bcf640
Commits on Nov 20, 2025
- [LLZK-356] Basic code generation skeleton and build the fields and functions within structs (#157)
  tim-hoffman
  authored
  82a58fb
- Add fall-through Error for prefix/infix ops that aren't supported (#173)
  tim-hoffman
  authored
  6bed60e
Commits on Dec 3, 2025
- Handle `Statement::ConstraintEquality` (#225)
  tim-hoffman
  authored
  abcf7d0
- simplify error conversion just using `Into` (#227)
  tim-hoffman
  authored
  5e032f5
Commits on Dec 5, 2025
- Update `llzk` dependency (#231)
  tim-hoffman
  authored
  f77a483
- Handle `todo!()` requiring `getSelfValue` functions (#232)
  tim-hoffman
  authored
  fa7e4b1
- Handle basic infix ops (#226)
  tim-hoffman
  authored
  ecb343f
Commits on Dec 8, 2025
- fix: Result was dropped (#233)
  tim-hoffman
  authored
  30bf0c4
- update `llzk-rs` dependency (#234)
  tim-hoffman
  authored
  2ec5538
- Handle `assert` in template and function (#228)
  tim-hoffman
  authored
  3482efc
Commits on Dec 9, 2025
- Print diagnostic is generated module does not verify (#235)
  tim-hoffman
  authored
  e746ba5
- handle early return properly (#236)
  tim-hoffman
  authored
  bce4c5e
Commits on Dec 10, 2025
- simplify returns of `gen_llzk_*` functions (#237)
  tim-hoffman
  authored
  443b4e0
Commits on Dec 11, 2025
Commits on Dec 17, 2025
- allow for custom handling of variables overwritten within scope (#244)
  tim-hoffman
  authored
  e90c842
- forces includes to separate lines (#248)
  tim-hoffman
  authored
  6e03ffb
Commits on Dec 18, 2025
- add helper functions (#247)
  tim-hoffman
  authored
  6899761
- fix: missing read in constrain from AssignSignal (#249)
  tim-hoffman
  authored
  7263ab5
- preserve undef ops that have use sites (#250)
  tim-hoffman
  authored
  f41cb22
- avoid universal match in lit tests (#246)
  tim-hoffman
  authored
  d1a6405
Commits on Dec 29, 2025
- return Result not Option from `get_named_value` (#245)
  tim-hoffman
  authored
  d27e69c
- Add call op generation for functions (#254)
  Ian Neal
  authored
  d1902d4
- stabilize function/template ordering (#255)
  tim-hoffman
  authored
  fd728d5
- fix: handle uses of output signal written earlier (#256)
  tim-hoffman
  authored
  e15f576
- Implement `IfThenElse` translation in functions (#252)
  tim-hoffman
  authored
  c0be798
- update test that passes from combination of recent PRs (#257)
  tim-hoffman
  authored
  1dd93dd
- Add infix op implementations (#239)
  Ian Neal
  authored
  971fd59
Commits on Dec 30, 2025
- Implement `BoolNot` prefix op (#253)
  Ian Neal
  authored
  57a5a4c
- Rename `ExprGenResult` for broader applicability and clarify some docs (#258)
  tim-hoffman
  authored
  cf7d399
- Flip the check for access array (#259)
  0xddom
  authored
  fb9f5ea
- consume `GenResult` instead of referencing (#260)
  tim-hoffman
  authored
  ab5d973
- Get latest LLZK (#263)
  tim-hoffman
  authored
  637105e
- make the main part of `IfThenElse` translation reusable (#261)
  tim-hoffman
  authored
  73e9254
- Implement if-then-else translation in template (#262)
  tim-hoffman
  authored
  595dba5
- Implement `IntDiv` and `Complement` operators (#264)
  Ian Neal
  authored
  6bfa850
Commits on Dec 31, 2025
- Various minor code cleanup/fixes (#266)
  tim-hoffman
  authored
  cd60f75
- Make `gen_in_*` functions have flexible return type (#265)
  tim-hoffman
  authored
  c08e908
Commits on Jan 1, 2026
- get latest llzk lib (#268)
  tim-hoffman
  authored
  c483a77
Commits on Jan 2, 2026
- translate Statement::While in templates (#269)
  tim-hoffman
  authored
  a6786c0
- expression gen is the same in template and function so just delegate (#271)
  tim-hoffman
  authored
  48eadf2
- Implement InlineSwitch for functions and templates (#267)
  
  Ian Neal
  and
  tim-hoffman
  authored
  1338120
Commits on Jan 5, 2026
- Unify bool casting (#274)
  Ian Neal
  authored
  b4759cf
- Implement function array accesses (#275)
  Ian Neal
  authored
  adaad34
- A few minor improvements (#277)
  tim-hoffman
  authored
  d7d960d
Commits on Jan 6, 2026
- avoid using lossy "as" cast (#280)
  tim-hoffman
  authored
  85bb6dd
- Implement `Expression::ArrayInLine` (#278)
  
  Ian Neal
  and
  tim-hoffman
  authored
  66633a8
- Use shared type helper functions more and auto-format (#281)
  tim-hoffman
  authored
  70cbe29
Commits on Jan 7, 2026
- Add option to generate LLZK from concrete program (#273)
  tim-hoffman
  authored
  5208fbb
- Implement Statement::Substitution for arrays, fix multi-dim array handling (#282)
  Ian Neal
  authored
  5590285
- Minor cleanup (#283)
  tim-hoffman
  authored
  d3c100d
- Update deps (#284)
  0xddom
  authored
  c736ad2
- Move extension traits to separate files (#285)
  0xddom
  authored
  9e96e36
- Subcomponents handling (#230)
  
  authored
  009624f
Commits on Jan 8, 2026
- Handle clippy warnings and formatting (#289)
  tim-hoffman
  authored
  c22c02d
- support using struct parameter value (#287)
  tim-hoffman
  authored
  3f91e0f
- fix bug in while loop translation (#288)
  tim-hoffman
  authored
  8e33e31
- Handle err (BlockArgument) case of `OperationResult::try_from` (#293)
  tim-hoffman
  authored
  5c4d093
- Fix incorrect subcmp signal assignment (#295)
  0xddom
  authored
  e64b64b
- assorted minor cleanup and correct an error message (#296)
  tim-hoffman
  authored
  2b7b7f0
- Properly handle automatic cast generation (#297)
  tim-hoffman
  authored
  355a3a9
- avoid process hang on failure (#299)
  tim-hoffman
  authored
  cf400a4
- add immediate exit to more places that may hang (#300)
  tim-hoffman
  authored
  41219be
Commits on Jan 9, 2026
- impl `ChainResult` for `GenResult` more broadly (#303)
  tim-hoffman
  authored
  5cd33b9
- Implement `convert_dim_exprs` for constant values (#302)
  Ian Neal
  authored
  9147c1f
- Translate `Statement::While` in functions (#301)
  tim-hoffman
  authored
  70d8581
Commits on Jan 10, 2026
- update LLZK dependency (#304)
  tim-hoffman
  authored
  3fbe584
Commits on Jan 12, 2026
- Implement `Expression::ParallelOp` in templates (#305)
  Ian Neal
  authored
  2ba68fe
- update LLZK-lib (#306)
  tim-hoffman
  authored
  79951a4
Commits on Jan 13, 2026
- Replace FunctionContext::Drop with a finalize method (#309)
  tim-hoffman
  authored
  e2396ce
Commits on Jan 14, 2026
- Initial support for array write operations (#310)
  
  0xddom
  and
  tim-hoffman
  authored
  e32e50f
- Update repo to reflect Veridise -> project-llzk move (#312)
  tim-hoffman
  authored
  07c8d41
- Get latest from llzk-lib (#313)
  tim-hoffman
  authored
  6a92840
- Utilize new/moved APIs from `llzk-rs` (#314)
  tim-hoffman
  authored
  abd3d26
- "for" loop heuristic (#307)
  tim-hoffman
  authored
  da731fc
Commits on Jan 16, 2026
- reverse the logic of the early return handing (#316)
  tim-hoffman
  authored
  0c291a1
- Refactor to allow skipping rest of block when if-else returns (#315)
  tim-hoffman
  authored
  e3bb811
Commits on Jan 17, 2026
- simplify by using `op_result_owner` in more places (#318)
  tim-hoffman
  authored
  442eff4
Commits on Jan 20, 2026
- Add verbose output (#321)
  tim-hoffman
  authored
  9c822bb
- add flag to dump VCP (#322)
  tim-hoffman
  authored
  d6be57b
Commits on Jan 21, 2026
- Implement more dimension expression handling (#319)
  
  Ian Neal
  and
  tim-hoffman
  authored
  833c8a9
- update LLZK lib (#323)
  tim-hoffman
  authored
  aa082e2
- Properly handle propagating returns within control flow ops (#317)
  tim-hoffman
  authored
  2538344
Commits on Jan 22, 2026
- fix: array type expected (#325)
  tim-hoffman
  authored
  9fb17e8
- add a new test (that doesn't pass yet) (#327)
  tim-hoffman
  authored
  78de687
Commits on Jan 23, 2026
- Enhance handling of `Expression::UniformArray` (#326)
  
  Ian Neal
  and
  tim-hoffman
  authored
  f01a240
- NFC: reorg functions logically
  tim-hoffman
  committed
  1f63a97
- [fix upstream] add MemoryKnowledge "has" functions
  tim-hoffman
  committed
  9087350
- Fix array write type error (#329)
  tim-hoffman
  authored
  4dd8551
- Add new tests for int div op (#330)
  tim-hoffman
  authored
  181dd87
Commits on Jan 27, 2026
Commits on Jan 28, 2026
- Collect subcomponent declarations in VCP mode (#335)
  Ian Neal
  authored
  9425c8b
- clarify error message
  tim-hoffman
  committed
  a97d593
- Ensure `OPERAND_VAL_NAMES` attr is propagated (#336)
  tim-hoffman
  authored
  8b7bf28
- handle array `write` vs `insert` and `read` vs `extract` properly (#337)
  tim-hoffman
  authored
  8b559b1
- ensure `assert` ops are bool type (#339)
  tim-hoffman
  authored
  ac6aede
- Handle pure array case of "Generate array write operation in template (constrain)" (#338)
  tim-hoffman
  authored
  47a2af6
- Make template parameter constants accessible in concrete mode (#341)
  Ian Neal
  authored
  eb769da
- Update llzk-lib (#342)
  tim-hoffman
  authored
  f88ad10
- Relax signal assignment/constraint type restrictions (#343)
  Ian Neal
  authored
  88c18bd
- Refactor WriteChain impl into functions, fix typos and clippy issues (#344)
  tim-hoffman
  authored
  b806466
Commits on Jan 29, 2026
- simplify `AssignSignal` in `Substitution` in template (#345)
  tim-hoffman
  authored
  258931b
- fix: several locations used `numdims` not signal `idx` (#346)
  tim-hoffman
  authored
  b80c356
- clear up ambiguous name
  tim-hoffman
  committed
  d374796
- make sure `WireLike` is debug printable
  tim-hoffman
  committed
  3fd8b59
- use unique names in test
  tim-hoffman
  committed
  0ecbb28
- code quality
  tim-hoffman
  committed
  683f81e
- Precompute `DeclarationInfo` for all templates (#347)
  tim-hoffman
  authored
  7f87393
- update llzk-lib (#348)
  tim-hoffman
  authored
  21b0a38
Commits on Jan 30, 2026
- refactor location builder
  tim-hoffman
  committed
  13a30af
- refactor `try_compute_dim_expr` for reuse
  tim-hoffman
  committed
  5a36e5f
- get prime as `BigUInt` up front
  tim-hoffman
  committed
  d83e5ed
- Fix field reads in constrain functions (#350)
  
  Ian Neal
  and
  tim-hoffman
  authored
  dc14b4b
- cleanup and format
  tim-hoffman
  committed
  f98662d
- Generate annotation for main component (#351)
  tim-hoffman
  authored
  bd00e98
- move concrete tests to proper directory
  tim-hoffman
  committed
  0ff853a
- clarify error
  tim-hoffman
  committed
  5fd58a8
- use unique template name in concrete mode
  tim-hoffman
  committed
  330c60d
- turns out AnonymouseComponent is reachable in some cases
  tim-hoffman
  committed
  50b1609
- add test comment
  tim-hoffman
  committed
  41c0c0a
- fix: ensure array write rvalue is correct type (#352)
  tim-hoffman
  authored
  6b40eed
Commits on Feb 3, 2026
- Add --concrete flag to update_test_cases.sh (#353)
  Ian Neal
  authored
  6787759
Commits on Feb 5, 2026
- add flag to stabilize IR ordering
  tim-hoffman
  committed
  6e977a6
- use flag for existing sorts
  tim-hoffman
  committed
  f616261
- add stabilize flag to lit tests
  tim-hoffman
  committed
  d7a7d7b
- add missing lit "END" directives
  tim-hoffman
  committed
  9b9e177

Commits

Commits on Oct 7, 2025

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 15, 2025

Commits on Oct 17, 2025

Commits on Oct 18, 2025

Commits on Oct 20, 2025

Commits on Oct 21, 2025

Commits on Oct 23, 2025

Commits on Oct 30, 2025

Commits on Nov 3, 2025

Commits on Nov 4, 2025

Commits on Nov 6, 2025

Commits on Nov 18, 2025

Commits on Nov 19, 2025

Commits on Nov 20, 2025

Commits on Dec 3, 2025

Commits on Dec 5, 2025

Commits on Dec 8, 2025

Commits on Dec 9, 2025

Commits on Dec 10, 2025

Commits on Dec 11, 2025

Commits on Dec 17, 2025

Commits on Dec 18, 2025

Commits on Dec 29, 2025

Commits on Dec 30, 2025

Commits on Dec 31, 2025

Commits on Jan 1, 2026

Commits on Jan 2, 2026

Commits on Jan 5, 2026

Commits on Jan 6, 2026

Commits on Jan 7, 2026

Commits on Jan 8, 2026

Commits on Jan 9, 2026

Commits on Jan 10, 2026

Commits on Jan 12, 2026

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Commits on Jan 16, 2026

Commits on Jan 17, 2026

Commits on Jan 20, 2026