Aufgrund einer Wartung am 18.11.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 18.11.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

ExperimentsMinimalCounterExampleLength.java

Update: Include new method for getting top level projects

Benedikt Heinrichs authored Sep 24, 2020 and L. Ellenbeck committed Sep 24, 2020

8ea58271

History

8ea58271 Sep 24, 2020

History

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Admin message

ExperimentsMinimalCounterExampleLength.java