[P4_Symbolic] Extend z3_util to evaluate bitvectors to unsigned integers.#946

Open

VSuryaprasad-HCL wants to merge 7 commits intosonic-net:mainfrom VSuryaprasad-HCL:symbolic_import_branch_179

+1,911-352

Commits on Jan 17, 2025

[P4_Symbolic] Remove and modify outdated comments. Make the order of creating symbolic header fields deterministic.Initialize standard metadata fields to 0.

kishanps
authored and
VSuryaprasad-HCL
committed
[P4-Symbolic] Overload GetFieldBitwidth to accept separate header and field names as parameters.

kishanps
authored and
VSuryaprasad-HCL
committed
[P4-Symbolic] Create a class for symbolic table entries.

kishanps
authored and
VSuryaprasad-HCL
committed