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

RMC-rustc interface: crux-mir rustc interface #53

Closed
adpaco-aws opened this issue Apr 14, 2021 · 1 comment
Closed

RMC-rustc interface: crux-mir rustc interface #53

adpaco-aws opened this issue Apr 14, 2021 · 1 comment
Assignees
@markrtuttle
Labels
[E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
Milestone
RMC-rustc Interface

Comments

@adpaco-aws
Copy link
Contributor

No description provided.

@adpaco-aws adpaco-aws added Type: design [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one. labels Apr 14, 2021
@adpaco-aws adpaco-aws added this to the RMC-rustc Interface milestone Apr 14, 2021
@adpaco-aws adpaco-aws mentioned this issue Apr 14, 2021
Closed
@adpaco-aws
Copy link
Contributor Author

Closing this issue since we now have a good idea about this topic and have a plan in progress to properly interface with rustc (see #719 to see what steps have been taken to improve it until now).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@markrtuttle markrtuttle

Labels
[E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
Projects
None yet
Milestone
RMC-rustc Interface
Development

No branches or pull requests
2 participants
@markrtuttle @adpaco-aws