From ffe8ffa004c4da862468b45f9573d7cd32a701d6 Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Tue, 23 Jul 2024 16:55:32 +0200 Subject: [PATCH] Create CONTRIBUTORS.md --- CONTRIBUTORS.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 CONTRIBUTORS.md diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md new file mode 100644 index 0000000000..83967b1a12 --- /dev/null +++ b/CONTRIBUTORS.md @@ -0,0 +1,29 @@ +The following people have made core contributions to Apalache: + + * Igor Konnov: + - Informal Systems (Austria) 2020-2023, + - Interchain Foundation (Switzerland) 2019, + - INRIA Nancy (France) 2018-2019, + - TU Wien (Austria) 2016-2018. + * Jure Kukovec: + - Informal Systems (Austria) 2021-2023, + - TU Wien (Austria), 2016-2021. + * Shon Feder: Informal Systems (Canada), 2020-2023. + * Gabriela Moreira: Informal Systems (Brazil), 2021-2023. + * Thomas Pani: Informal Systems (Austria), 2022-2023. + * Rodrigo Otoni: + USI Università della Svizzera italiana (Switzerland), 2021-2022. + * Philip Offtermatt: Informal Systems, 2022. + * Andrey Kuprianov: Informal Systems (Austria) 2020. + * Thanh Hai Tran: TU Wien (Austria), 2016-2020. + * Viktor Sergeev: Univ. of Lorraine (France), 2019. + +Further, we appreciate code and documentation contributions by: + + * @BGR360 Ben Reeves, 2022-2023. + * @Alexander-N Alexander Niederbühl, 2021. + * @rnbguy Rano, 2021-2022. + * @klinvill Kirby Linvill, 2021. + * @JonathanLorimer Jonathan Lorimer, 2021. + * @danwt Daniel T, 2021. + * @jlu015 Jørgen Lund, 2019.