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

Move copy of Rust standard libraries from crux-mir to crucible-mir #1089

Closed
RyanGlScott opened this issue May 9, 2023 · 1 comment
Closed

Move copy of Rust standard libraries from crux-mir to crucible-mir #1089

RyanGlScott opened this issue May 9, 2023 · 1 comment
Labels
crucible crux MIR Issues relating to Rust/MIR support technical debt

Comments

@RyanGlScott
Copy link
Contributor

Currently, our copy of the Rust standard libraries live under crux-mir. This is perhaps not the best home for it, however, as we will also need this for SAW purposes (see GaloisInc/saw-script#1859), and SAW is conceptually independent of the Crux tool. A better home would be in crucible-mir, which Crux and SAW both depend on.
@RyanGlScott RyanGlScott added crucible crux technical debt MIR Issues relating to Rust/MIR support labels May 9, 2023
@RyanGlScott
Copy link
Contributor Author

Closing in favor of #1252, which proposes moving the modified standard libraries to their own repo.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
crucible crux MIR Issues relating to Rust/MIR support technical debt
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@RyanGlScott