google / netkat Public

Notifications You must be signed in to change notification settings
Fork 2
Star 20

Code
Issues
Pull requests 6
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Pull requests: google/netkat

Labels 10 Milestones 0

New pull request New

6 Open 42 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

[NetKAT] Support converting symbolic packets to dot language. copybara

#48 opened Apr 25, 2025 by copybara-service bot

Loading…

[NetKAT] Implement Run for SymbolicPacketTransformers. copybara

#42 opened Apr 17, 2025 by copybara-service bot

Loading…

[NetKAT] Add interned & normalized policy representation. copybara

#38 opened Mar 20, 2025 by copybara-service bot

Loading…

[NetKAT] Support a very rough representation of Ternary in the FE. copybara

#34 opened Feb 28, 2025 by copybara-service bot

Loading…

[NetKAT] Create a table that eases creation of priority-based match-action rules. copybara

#31 opened Feb 22, 2025 by copybara-service bot

Loading…

[NetKAT] Remove internal Google link. copybara

#20 opened Dec 5, 2024 by copybara-service bot

Loading…

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly