-
Matthias Braun authored
(This also fixes occult3.c as calling localopts changed the graph in this case with the conv phase still confirming all irg properties)
d7bb7d67
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
(This also fixes occult3.c as calling localopts changed the graph in this case with the conv phase still confirming all irg properties)