llvm-project.git/clang/lib/Analysis/FlowSensitive/FormulaSerialization.cpp, branch mainUnnamed repository; edit this file 'description' to name the repository.
[clang][dataflow] Add support for serialization and deserialization. (#152487)2025-08-18T15:55:12+00:00Yitzhak Mandelbaumymand@users.noreply.github.com2025-08-18T15:55:12+00:003ecfc0330d93a6c3a3f3d3e427390b01cb52a88d
Adds support for compact serialization of Formulas, and a corresponding
parse function. Extends Environment and AnalysisContext with necessary
functions for serializing and deserializing all formula-related parts of
the environment.
Adds support for compact serialization of Formulas, and a corresponding
parse function. Extends Environment and AnalysisContext with necessary
functions for serializing and deserializing all formula-related parts of
the environment.