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

Add a way to list the file dependencies of a Cryptol module #1332

Open
yav opened this issue Mar 7, 2022 · 0 comments
Open

Add a way to list the file dependencies of a Cryptol module #1332

yav opened this issue Mar 7, 2022 · 0 comments
Assignees
@yav
Labels
feature request Asking for new or improved functionality

Comments

@yav
Copy link
Member

yav commented Mar 7, 2022

The idea something like that could help build systems avoid redoing work
@yav yav added the feature request Asking for new or improved functionality label Mar 7, 2022
@yav yav self-assigned this Mar 7, 2022
@m-yac m-yac assigned m-yac and unassigned yav May 24, 2022
@yav yav assigned yav and unassigned m-yac Nov 22, 2022
yav added a commit that referenced this issue Nov 23, 2022
@yav
Add a command to show dependencies in JSON
8416a91 
This should help with #1332
@yav yav mentioned this issue Nov 23, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yav yav

Labels
feature request Asking for new or improved functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yav @m-yac