[P4_Symbolic] Remove assumption on argument order matching parameter definition order. Match parameter to argument based on name. k#816

Merged

kishanps merged 11 commits intosonic-net:mainfrom VSuryaprasad-HCL:symbolic_import_branch_127

Dec 11, 2024

+333-15

Commits on Nov 28, 2024

Fix hex string transition field types.

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Dec 3, 2024

[P4-Symbolic] Extend IR to support setValid, setInvalid in parsers.

kishanps
authored and
VSuryaprasad-HCL
committed
[P4-Symbolic] Add an $extracted$ field for each header in the symbolic guarded map.

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Dec 6, 2024

Commits on Dec 11, 2024

Merge branch 'main' into symbolic_import_branch_127
kishanps
authored