google / netkat Public

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

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 33 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] Rename PrettyPrint to ToString. copybara

#39 opened Mar 21, 2025 by copybara-service bot

Loading…

[NetKAT] Add interned & normalized policy representation. copybara

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

Loading…

[NetKAT] Initial creation of Symbolic Packet Transformer. copybara

#37 opened Mar 19, 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! Adding no:label will show everything without a label.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly