Skip to content

Pull requests: google/netkat

New pull request New
9 Open 38 Closed
9 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[NetKAT] Implement Policy::FromProto. copybara
#47 opened Apr 23, 2025 by copybara-service bot Loading…
[NetKAT] Implements Predicate::FromProto(). Returns INVALID_ARGUMENT if passed-in PredicateProto is invalid. copybara
#46 opened Apr 23, 2025 by copybara-service bot Loading…
[Netkat] Add note to use manager pretty printers. copybara
#43 opened Apr 17, 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] 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! no:milestone will show everything without a milestone.