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

Remove some unused boost headers and switch from boost code to alternatives #4464

Merged
merged 6 commits into from
Feb 24, 2024
Merged

Remove some unused boost headers and switch from boost code to alternatives #4464

merged 6 commits into from
Feb 24, 2024

Conversation

asl
Copy link
Contributor

@asl asl commented Feb 23, 2024

Also do some include cleanups while there

@asl asl requested a review from fruffy February 23, 2024 23:57
@asl asl added the core Topics concerning the core segments of the compiler (frontend, midend, parser) label Feb 23, 2024
@asl
Copy link
Contributor Author

asl commented Feb 23, 2024

Helps #3898

@asl asl added this pull request to the merge queue Feb 24, 2024
Merged via the queue into p4lang:main with commit d7c94ac Feb 24, 2024
16 checks passed
@asl asl deleted the de-boost branch February 24, 2024 19:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fruffy fruffy fruffy approved these changes

Assignees
No one assigned
Labels
core Topics concerning the core segments of the compiler (frontend, midend, parser)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@asl @fruffy