search

p4lang / p4-constraints

Constraints on P4 objects enforced at runtime
Apache License 2.0
14 stars 7 forks source link

PUBLIC: [P4-Constraints] Add top-level function to populate solver and symbolic variable maps using TableInfo. #110

Closed jonathan-dilorenzo closed 1 year ago

jonathan-dilorenzo commented 1 year ago

PUBLIC: [P4-Constraints] Add top-level function to populate solver and symbolic variable maps using TableInfo.