dbeyer 2019-09-20: For qualification of a person, the following was added
"is authorized by the competition organizer (after the designer/developer was contacted about the participation)."
That is, the developers have preference over other users to participate.
Also, the competition organizer is allowed to always add verifiers from previous years to the competition.

dbeyer 2018-10-23: Clearify definition of valid-memcleanup
-More precisely: There exists no finite execution of the program on which the program terminates
+In addition to valid-memtrack: There exists no finite execution of the program on which the program terminates

dbeyer 2018-10-16: Switch from Ubuntu 16.04 to Ubuntu 18.04
-a GNU/Linux operating system (x86_64-linux, Ubuntu 16.04);
+a GNU/Linux operating system (x86_64-linux, Ubuntu 18.04);

dbeyer 2017-11-10: Add forgotten requirement that the archives must contain exactly one directory
-  <li>The verifier is archived in a ZIP file (.zip).
+  <li>The verifier is archived in a ZIP file (.zip), which contains exactly one directory (no tarbomb).