[P4_Symbolic] Create symbolic variables and add constraints for symbolic table entries.#943

Open

VSuryaprasad-HCL wants to merge 9 commits intosonic-net:mainfrom VSuryaprasad-HCL:symbolic_import_branch_178

+2,921-1,119

Commits on Jan 7, 2025

[P4-Symbolic] Assign egress_spec to egress_port only when the packet is not dropped in ingress.

kishanps
authored and
VSuryaprasad-HCL
committed
[P4-Symbolic] Initialize standard metadata fields to 0.

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Jan 8, 2025

Merge branch 'main' of https://github.com/VSuryaprasad-HCL/sonic-pins into symbolic_import_branch_171
VSuryaprasad-HCL
committed

Commits on Jan 10, 2025