Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
  • Michael Beck's avatar
    Bugfix: unset debug info is now initialized with NULL · 287b3e93
    Michael Beck authored
    renamed new_type_pointer_mode() to new_type_pointer(), it's now
    always necessary to give a mode when construction a pointer type
    renamed type_visited to firm_type_visited and removed from public i/f
    removed #if 0 code
    
    [r6405]
    287b3e93