Die monatliche Gitlab Wartung wurde auf Freitag den 6.12.2024 von 16:00 Uhr bis 17:00 Uhr verschoben, daher ist diese GitLab-Instanz in der Zeit nicht erreichbar sein.
Automatic Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems