From 2b73b979fe96583fc42d97da1d7f82d56def9790 Mon Sep 17 00:00:00 2001 From: Bajczi Levente Date: Thu, 20 Oct 2022 18:06:47 +0200 Subject: [PATCH] Update CONTRIBUTORS.md for SV-COMP23 --- CONTRIBUTORS.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index d06a9f39e7..95d30caf1a 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -10,5 +10,7 @@ Contributors: * [Milán Mondok](https://github.com/mondokm) * [Dániel Szekeres](https://github.com/szdan97) * [László Radnai](https://github.com/radl97) -* [Zsófia Ádam](https://github.com/AdamZsofi) +* [Zsófia Ádám](https://github.com/AdamZsofi) * [Vince Molnár](https://github.com/vincemolnar) +* [Márk Somorjai](https://github.com/s0mark) +* [Csanád Telbisz](https://github.com/csanadtelbisz)