Session Voblint_Result

Theories

• Voblint_Compile.Compile_Invariants
• Voblint_Compile.Procedure_Ownership
• Voblint_Compile.Residual_Location
• Voblint_Compile.Residual_Edges
• Voblint_Compile.Simulation_Relation
• Voblint_Compile.Simulation_Preservation
• Voblint_Compile.Source_To_Trace
• Source_Activation_Sound
• DG_Result_Construction
• Analysis_Surface
• DG_Analysis
• Voblint_Compile.Live_Nodes
• DG_Live_Unknowns