Session Voblint_Compile

Theories

• VIMP_Proc_to_CFG
• Compile_Wellformed
• Compile_Invariants
• Residual_Location
• Residual_Edges
• Simulation_Relation
• Simulation_Preservation
• Source_Progress
• Procedure_Ownership
• Live_Nodes
• Source_To_Trace
• Elaborated_Compilation