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

Reduce Monad lib dependencies #543

Closed
lsf37 opened this issue Jan 9, 2023 · 0 comments · Fixed by #559
Closed

Reduce Monad lib dependencies #543

lsf37 opened this issue Jan 9, 2023 · 0 comments · Fixed by #559
Assignees
@lsf37
Labels
cleanup

Comments

@lsf37
Copy link
Member

lsf37 commented Jan 9, 2023 •
edited
Loading

To factor AutoCorres out from l4v, the monad libraries will need to move with them. They currently depend on most of l4v/lib, which should not be necessary.

This issue is for reducing these dependencies.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lsf37 lsf37

Labels
cleanup
Projects
No open projects
AutoCorres repo
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

More fine-grained lib sessions seL4/l4v
1 participant
@lsf37