Skip to content

Add support for function.arg_name, function.res_name#11

Merged
iangneal merged 31 commits into
mainfrom
iangneal/arg-name-support
Jul 2, 2026
Merged

Add support for function.arg_name, function.res_name#11
iangneal merged 31 commits into
mainfrom
iangneal/arg-name-support

Conversation

@iangneal

@iangneal iangneal commented Jun 22, 2026

Copy link
Copy Markdown
Contributor
  • Update llzk-rs dependency
  • Add support for function.arg_name
  • Add support for function.res_name
  • Update arg/res syntax

@iangneal iangneal force-pushed the iangneal/arg-name-support branch from 5a010f5 to e88fac4 Compare June 23, 2026 15:43
@iangneal iangneal changed the base branch from main to dani/verif-and-quant-ops June 23, 2026 15:45
@iangneal iangneal requested a review from 0xddom June 24, 2026 21:13
@iangneal iangneal marked this pull request as ready for review June 24, 2026 21:13
@iangneal

iangneal commented Jun 24, 2026

Copy link
Copy Markdown
Contributor Author

@0xddom this PR needs some fixes you've already added in your other PR so we'll wait to merge it until after yours is merged.

@iangneal iangneal changed the title Add support for function.arg_name Add support for function.arg_name, function.res_name Jun 25, 2026
@iangneal iangneal marked this pull request as draft June 25, 2026 16:41
Base automatically changed from dani/verif-and-quant-ops to main June 25, 2026 17:22

@0xddom 0xddom left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have some comments

Comment thread src/ir/llzk.rs
Comment thread src/ir/llzk.rs Outdated
Comment thread src/ir/llzk.rs Outdated
Comment thread src/ir/llzk.rs Outdated
Comment thread src/ir/llzk.rs Outdated
Comment thread src/ir/verif/helpers.rs Outdated
Comment thread src/type_analysis/contract.rs
Comment thread changelogs/unreleased/iangneal__arg-name-support.yaml Outdated
@iangneal iangneal marked this pull request as ready for review July 1, 2026 18:50
Comment thread docs/SYNTAX.md Outdated
Comment thread docs/SYNTAX.md Outdated
Comment thread src/ir/llzk.rs
Comment thread src/ir/llzk.rs
Comment thread src/ir/llzk.rs
Comment thread AGENTS.md Outdated
iangneal and others added 4 commits July 2, 2026 16:49
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
@iangneal iangneal requested a review from tim-hoffman July 2, 2026 21:10

@tim-hoffman tim-hoffman left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@iangneal iangneal merged commit 5d41f25 into main Jul 2, 2026
3 checks passed
@iangneal iangneal deleted the iangneal/arg-name-support branch July 2, 2026 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants