- Jun 28, 2023
-
-
Timo Koch authored
-
- Apr 19, 2023
-
-
Mathis Kelm authored
-
- Apr 04, 2023
-
-
Hamza Oukili authored
-
- Jul 28, 2022
-
-
Timo Koch authored
-
- May 31, 2022
-
-
-
Timo Koch authored
-
-
-
- Nov 18, 2021
-
-
Manual inputs are provided via a human-readable json file which is under version control. The parameters.txt file is now completely auto-generated and shouldn't be manually edited. All edits happen to the json file. This makes sure formatting and data are separated properly and git changes are minimal.
-
- Jul 30, 2021
-
-
- Jun 02, 2021
-
-
Timo Koch authored
-
- May 31, 2021
-
-
- Jun 01, 2019
-
-
Timo Koch authored
-