Skip to content

[Modular Group Programming] Check that switch capabilities are a superset of switch requirements specified by P4 annotations. - #109

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
cl/954726306
Open

copybara-service[bot] wants to merge 1 commit into
mainfrom
cl/954726306

Conversation

@copybara-service

@copybara-service copybara-service Bot commented Jul 27, 2026 •

Copy link
Copy Markdown

[Modular Group Programming] Check that switch capabilities are a superset of switch requirements specified by P4 annotations.

@copybara-service
copybara-service Bot force-pushed the cl/954726306 branch 2 times, most recently from efa4a3b to 09802ea Compare August 3, 2026 23:21
@copybara-service copybara-service Bot changed the title [Modular group programming] Support checking requirements from parsed annotations. [Modular Group Programming] Check that switch capabilities are a superset of switch requirements specified by P4 annotations. Aug 3, 2026
@copybara-service
copybara-service Bot force-pushed the cl/954726306 branch 2 times, most recently from 59af1c4 to 711eb99 Compare August 3, 2026 23:33
@copybara-service
copybara-service Bot force-pushed the cl/954726306 branch 5 times, most recently from e116ac7 to 4c09d0f Compare September 16, 2026 22:02
…rset of switch requirements specified by P4 annotations.

PiperOrigin-RevId: 954726306
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants