-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[VAN-676][VAN-670] flatten branches in extracted function by duplicating the functions #55
Conversation
2d17366
to
6371cda
Compare
circom/tests/subcmps/mapped.circom
Outdated
@@ -41,3 +39,6 @@ template B(n) { | |||
} | |||
|
|||
component main = B(2); | |||
|
|||
//TODO: This check is a filler just to capture when the test no longer crashes |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Addressed in the next PR #56
circom/tests/subcmps/mapped2.circom
Outdated
@@ -57,3 +56,6 @@ template B(n, m, j) { | |||
} | |||
|
|||
component main = B(2, 3, 2); | |||
|
|||
//TODO: This check is a filler just to capture when the test no longer crashes |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Addressed in the next PR #56
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just a couple of comments/questions
circuit_passes/src/bucket_interpreter/env/extracted_func_env.rs
Outdated
Show resolved
Hide resolved
circuit_passes/src/bucket_interpreter/env/extracted_func_env.rs
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM.
…ing the functions (#55) * Refactor StoreBucket to avoid generating call to "llvm.donothing"
…ing the functions (#55) * Refactor StoreBucket to avoid generating call to "llvm.donothing"
this handles branches from circom source and branches generated to handle subcmp counter check for calling the subcmp "run" function