[P4_Symbolic] Move symbolic/concrete context to context.{cc,h} separated from symbolic.{cc,h}, and make the context-related objects constructed along with the solver state and then passed along the symbolic evaluation.#927
Merged
kishanps merged 10 commits intosonic-net:mainfrom VSuryaprasad-HCL:symbolic_import_branch_168Jan 7, 2025
+308-260
