Skip to content

Conversation

@0xddom
Copy link
Collaborator

@0xddom 0xddom commented Dec 4, 2025

This PR adds some support for subcomponents.

Fixes #177

Tasks

  • Check test subcmp5c
  • Document what's missing in test subcmp7
  • Markdown docs

@0xddom 0xddom requested a review from a team December 4, 2025 17:28
@0xddom 0xddom marked this pull request as ready for review January 5, 2026 16:04
0xddom and others added 6 commits January 7, 2026 11:55
Co-authored-by: Ian Neal <ian@veridise.com>
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
@tim-hoffman
Copy link

  1. A few test cases are missing checks

Some are unexpected successes so they weren't test I planned on targetting. I can add checks based on their current output

I looked through those 4 tests and the output generated from this branch. Subcomponents were the last thing that needed support so success is expected now. Add the checks generated from the python script.

.unwrap_or_else(|| panic!("Input {:?} not found for type {:?}", input, name));
match wire.get_type() {
WireType::Signal => FeltType::new(self.context).into(),
WireType::Bus(name) => StructType::from_str(self.context, &name).into(),
Copy link

Choose a reason for hiding this comment

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

How are array inputs handled? Can you add a passing test with an array input, or is this TODO still?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Still a TODO I think

0xddom and others added 3 commits January 7, 2026 23:05
Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
@0xddom 0xddom requested review from iangneal and tim-hoffman January 7, 2026 22:07
Copy link

@tim-hoffman tim-hoffman left a comment

Choose a reason for hiding this comment

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

LGTM

@0xddom 0xddom merged commit 009624f into llzk Jan 7, 2026
2 checks passed
@0xddom 0xddom deleted the dani/subcmps branch January 7, 2026 22:32
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.

Handle subcomponent declarations

4 participants