-
Notifications
You must be signed in to change notification settings - Fork 55
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
Remove duplicate procedures from miden-lib
#836
Comments
To make it clear, now we have this structure:
The problem is that Without any modification of the |
This should work but there could also be a slightly simpler approach (actually not sure if simpler, maybe just different): We could move these procedures into a separate module (e.g., Though, maybe creating a separate utilities library may be a better idea. |
Closed by #1070. |
As a part of migration to the MAST-base program format in #826, we ended up with duplicates of several procedures (here, here, and here). This is because these procedures are needed both by the kernel and by
miden-lib
, butmiden-lib
cannot directly reference procedures defined directly in the kernel (it can do so only viasyscall
s).We need to find a way to avoid this duplication.
The text was updated successfully, but these errors were encountered: