[P4_Symbolic] Adding p4_symbolic/ir/expected/set_parser_operation.txt [Extend IR proto and translation to support parsers]#756

Merged

kishanps merged 9 commits intosonic-net:mainfrom VSuryaprasad-HCL:symbolic_import_branch_106

Nov 25, 2024

+450

Commits on Nov 19, 2024

[P4_Symbolic] Update to comply with z3 version 4.12.0.0 (December 12th 2022).

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Nov 20, 2024

Merge branch 'main' of https://github.com/VSuryaprasad-HCL/sonic-pins into symbolic_import_branch_101
VSuryaprasad-HCL
committed
[P4 Symbolic] Make certain Z3 APIs more general.

jonathan-dilorenzo
authored and
VSuryaprasad-HCL
committed
Extend BMv2 proto to support parsers.

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Nov 21, 2024

[P4_Symbolic] Adding p4_symbolic/ir/expected/hex_string_transition.txt [Extend IR proto and translation to support parsers]

kishanps
authored and
VSuryaprasad-HCL
committed

Commits on Nov 22, 2024

Commits on Nov 25, 2024

Merge branch 'main' into symbolic_import_branch_106
kishanps
authored