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

Utility edits for P4Tools. #3824

Merged
merged 3 commits into from
Jan 5, 2023
Merged

Utility edits for P4Tools. #3824

merged 3 commits into from
Jan 5, 2023

Conversation

fruffy-bfn
Copy link
Contributor

  • Make the compiler implementation function virtual
  • Contribute some utility function
  • Update tools standard to C++17

@fruffy fruffy changed the title Add common code p4tools Utility edits for P4Tools. Jan 5, 2023
@fruffy fruffy mentioned this pull request Jan 5, 2023
Closed
@fruffy fruffy added the p4tools Topics related to the P4Tools back end label Jan 5, 2023
@fruffy fruffy merged commit c0ea3b4 into p4lang:main Jan 5, 2023
@fruffy-bfn fruffy-bfn deleted the add_common_code_p4tools branch January 27, 2023 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mihaibudiu mihaibudiu mihaibudiu approved these changes

@fruffy fruffy Awaiting requested review from fruffy

@pkotikal pkotikal Awaiting requested review from pkotikal

@vhavel vhavel Awaiting requested review from vhavel

@jnfoster jnfoster Awaiting requested review from jnfoster

Assignees
No one assigned
Labels
p4tools Topics related to the P4Tools back end
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@fruffy-bfn @mihaibudiu @fruffy @robotrobo