- Jun 01, 2023
-
-
Malte Nyhuis authored
-
- Nov 17, 2022
-
-
Malte Nyhuis authored
-
- Nov 01, 2022
-
-
Malte Nyhuis authored
-
- Jun 06, 2022
-
-
many authored
-
- Apr 13, 2022
-
-
Malte Nyhuis authored
-
- Mar 27, 2022
-
-
Malte Nyhuis authored
-
Malte Nyhuis authored
-
- Mar 18, 2022
-
-
Malte Nyhuis authored
PARAMS will be used as wildcards, OPTIONS will only be validated and used in the configuration
-
- Mar 10, 2022
-
-
Malte Nyhuis authored
-
Malte Nyhuis authored
-
- Mar 05, 2022
-
-
Malte Nyhuis authored
a centrilized definition of parameters is bringing complexity in the algorithm, that is not necessary. a better solution is to make the use of parameters more obvious and to make the code more readable progress - squash this commit later progress - squash this commit later
-
- Feb 18, 2022
-
-
Malte Nyhuis authored
-
Malte Nyhuis authored
-
- Dec 10, 2021
-
-
Malte Nyhuis authored
-
Malte Nyhuis authored
-