Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Update CLI to accommodate .masp file format #1688

Open
partylikeits1983 opened this issue Mar 8, 2025 · 2 comments
Open

Update CLI to accommodate .masp file format #1688

partylikeits1983 opened this issue Mar 8, 2025 · 2 comments
Milestone
v0.14.0

Comments

@partylikeits1983
Copy link
Contributor

PR #1683 updates the run and prove CLI commands to be able to take in miden package .masp file formats. However, there are other CLI commands that could also be updated to take in .masp file formats.

Afaik the only other CLI command that should be updated to take in .masp file formats is analyze.

Opening this PR to keep track of this issue and see if there are any other areas of the CLI that should be updated to accommodate .masp file formats.
@bobbinth bobbinth added this to the v0.14.0 milestone Mar 8, 2025
@bobbinth
Copy link
Contributor

bobbinth commented Mar 8, 2025

Would miden debug be another good candidate?

@partylikeits1983
Copy link
Contributor Author

Yes, miden debug would also need to be updated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.14.0
Development

No branches or pull requests
2 participants
@bobbinth @partylikeits1983