phys units can be stored now in modules
finished refactoring
merged
Local var decl after labels are not allowed by C. Fixed this problem in the cbmc generator
Local var decl after labels are not allowed by C. Fixed this problem in the cbmc generator
removed Unitcontainer
added additional check for module contents referenced from conversion rule
delete the unitcontainer during migration
delete the unitcontainer during migration
fixed generation
refactoring also imported modules
fixed bugs in dataflow
tests are passing
fixed bugs in generator
fixed a pretty serious bug when calculating the type of derived and opaque units
replaced string with expression in globalconstantfunctiondecl
replaced string with expression in globalconstantfunctiondecl
replaced string with expression in globalconstantfunctiondecl
finished generator
selecting convert jumps now to the respective conversion rule