Skip to content

Verify felt template argument fields - #634

Draft
1sgtpepper wants to merge 18 commits into
project-llzk:mainfrom
1sgtpepper:fix/felt-materialization-verification
Draft

Verify felt template argument fields#634
1sgtpepper wants to merge 18 commits into
project-llzk:mainfrom
1sgtpepper:fix/felt-materialization-verification

Conversation

@1sgtpepper

@1sgtpepper 1sgtpepper commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

Split from #604.

Verify felt template constants against required fields for parameterized structs, free-function calls, and contract includes. Fieldless constants adopt the required felt type; an explicit field must match exactly.

Covers accepted fieldless and matching constants, rejected mismatches at all three entry points, materialization unit coverage, and syntax documentation.

Validation:
CI

@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch 4 times, most recently from 5befcbb to 7996098 Compare July 23, 2026 16:53
@1sgtpepper
1sgtpepper marked this pull request as ready for review July 23, 2026 18:04
@1sgtpepper
1sgtpepper requested a review from a team as a code owner July 23, 2026 18:04
@tim-hoffman

Copy link
Copy Markdown
Member

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1f572eed8b

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/Dialect/Function/IR/Ops.cpp Outdated
Comment thread lib/Dialect/Verif/IR/Ops.cpp Outdated
Comment thread lib/Dialect/Polymorphic/Transforms/FlatteningPass.cpp Outdated
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch 6 times, most recently from 2ea30f9 to bd2187e Compare July 24, 2026 06:38
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch from bd2187e to 6737f26 Compare July 24, 2026 06:42
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch 4 times, most recently from 975fab3 to dd7e56f Compare July 24, 2026 07:24
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch from dd7e56f to 10d101b Compare July 24, 2026 07:26
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch 2 times, most recently from c5c3c31 to 76c9aae Compare July 24, 2026 08:37
@1sgtpepper
1sgtpepper force-pushed the fix/felt-materialization-verification branch from 76c9aae to 770f22d Compare July 24, 2026 08:43
@1sgtpepper

1sgtpepper commented Jul 24, 2026

Copy link
Copy Markdown
Contributor Author

PRs #633 and #634 overlap in TypeHelper.cpp and tests. Just noting for Rebase #634 after #633 lands.

@iangneal

Copy link
Copy Markdown
Contributor

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Keep it up!

Reviewed commit: 770f22df99

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@iangneal iangneal 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.

Round of comments:

Comment thread include/llzk/Dialect/Felt/IR/Attrs.td Outdated
Comment thread include/llzk/Dialect/Function/IR/Ops.td
Comment thread include/llzk/Dialect/Verif/IR/Ops.td
Comment thread include/llzk/Util/TypeHelper.h
Comment thread lib/Dialect/Struct/IR/Types.cpp
Comment thread test/Dialect/Function/call_with_template_params_pass.llzk Outdated
Comment thread lib/Util/TypeHelper.cpp Outdated
Comment thread lib/Util/TypeHelper.cpp Outdated
Comment thread lib/Util/TypeHelper.cpp Outdated
@iangneal

Copy link
Copy Markdown
Contributor

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: e4a20e5941

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/Dialect/Function/IR/Ops.cpp
Comment thread lib/Dialect/Function/IR/Ops.cpp
@tim-hoffman

Copy link
Copy Markdown
Member

Converting to draft until #633 is completed

@tim-hoffman
tim-hoffman marked this pull request as draft July 27, 2026 21:46
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