benchexec committers

Last synced: 7 days ago

Total Commits: 5,723
Total Committers: 200
Total Bot Commits: 10
Total Bot Committers: 1
Avg Commits per committer: 28.615
Development Distribution Score (DDS): 0.556

Commits in the past year: 519
Committers in the past year: 29
Bot Commits in the past year: 8
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 17.897
Development Distribution Score (DDS) in the past year: 0.592

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/sosy-lab/benchexec
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/sosy-lab%2Fbenchexec

Name	Email	Commits
Philipp Wendler	u**i@p**e	2541
Dirk Beyer	D**r@s**g	295
Dennis Simon	d**4@g**m	266
Simon	s**r@a**e	212
lachnerm	m**r@o**e	169
Levente Bajczi	b**i@g**m	136
Marian Lingsch-Rosenfeld	M**h@s**e	130
Thomas Lemberger	l**h@g**m	103
Tobias Kleinert	t**t@g**e	93
Sudeep Kanav	s**v@l**e	93
Daniel Dietsch	d**h@g**m	85
Johan Paulsson	j**n@c**e	76
Laura Bschor	l**r@n**m	75
Henrik Wachowitz	h**z@i**e	68
Po-Chun Chien	p**n@s**e	61
Robin Gloster	m**l@g**n	59
Thomas Lemberger	l**7@s**e	58
Karlheinz Friedberger	k**r@g**m	57
Florian Eder	h**r@c**e	50
Martin Spiessl	g**t@2**e	43
Thomas Bunk	T**9@g**m	43
Johan	j**n@c**m	42
alohamora	a**7@g**m	38
Thomas Lemberger	l**e@f**e	37
Eshaan Aggarwal	9****g	31
SvenUmbricht	S**t@g**m	29
younghojan	y**n@g**m	28
Matthias Kettl	m**l@s**e	24
Gidon Ernst	g**t@s**e	22
Chinmay Joshi	m**3@g**m	18
Marek Chalupa	m**y@g**m	17
Lasagnenator	3****r	16
Williame Rocha	w**0@g**m	13
Marek Trtik	t**m@g**m	12
Michael Tautschnig	m**t@d**g	12
Max barth	m**5@g**e	12
Simmo Saan	s**n@g**m	12
George Karpenkov	g**e@m**e	12
thaprau	4****u	12
Zvonimir	z**r@c**u	12
Peter Schrammel	p**l@d**m	11
Saransh Chopra	s**1@g**m	11
Anthonysdu	3****u	11
Hernan Ponce de Leon	z**6@g**m	11
will-leeson	w**w@v**u	10
Herbert	h**2@g**m	10
dependabot[bot] 🤖	4****]	10
Taito Ohsumi	o**5@g**p	10
Dennis Simon	d**s@s**m	10
Zhihang Sun	s**0@m**n	9
PBerger	b**r@c**e	8
AdamZsofi	a**l@g**m	8
Felix	f**j@g**m	8
Rafael Sá Menezes	r**0@g**m	8
Martin Nowack	m**k@i**k	8
Matt Roberts	m**s@m**u	8
passengerZ	9**3@q**m	8
felixmaechtle	3****e	8
Vesal Vojdani	v**i@g**m	8
Filipe Marques	f**s@t**t	8
Ilja Zakharov	i**v@i**u	8
Vladimir Still	v**l@g**m	7
Hugo	h****k	7
Xie Li	l**5@m**n	7
iwancof	r**f@g**m	7
rmetta	r**a@g**m	7
Animesh Basak Chowdhury	a**y@g**m	7
Truc Nguyen Lam	t**m@g**m	7
cgcgbcbc	c**c@1**m	6
yinliangze	y**e@1**m	6
pepega007xd	b**t@g**m	6
omainv	o****v	6
naim-mr	n**l@e**r	6
avritichauhan	a**2@g**m	6
Thomas Stieglmaier	t**s@s**e	6
Jan Mrázek	e**l@h**z	6
nianze	n**e@g**m	6
VerifierIntegerAssignment	p**a@u**k	6
Dennis Simon	d**n@d**m	5
Florian Heck	f**k@h**e	5
Gidon Ernst	g****t	5
mujtke	m**e@m**l	5
Stephan Lukasczyk	s**n@l**e	5
Sun Zhihang	8**7@q**m	5
echancrure	e**e@g**m	5
saurabh12nxf	s****f	5
skanav	s**v@s**e	4
Martin	y**v@c**e	4
EtiChaudhary	c**9@i**n	4
Gidon Ernst	g**t@g**m	4
TDacik	x**0@s**z	4
jhensel	h**l@c**e	4
Matthias Dangl	m**1@g**m	4
Caroline Lemieux	c**x@b**u	4
younghojan	y**n@g**m	4
Mikhail Ramalho	m**o@g**m	4
kaled Alshmrany	4****y	4
Sakshi Agrawal	6****8	4
Rotzbua	R****a	4
Martin Yankov	4****7	4
LE, Ton Chanh	l**h@g**m	4
Henrich Lauko	x**o@m**z	4
Cedric Richter	c**r@m**e	4
Benjamin Quiring	b**7@g**m	4
Amirhossien Malekmohammadi	1****k	4
Sarathkrishnan	s**s@g**m	4
Sebastian Ott	o**b@f**e	4
wz	3**3@q**m	3
versokova	v**a@g**m	3
maul.esel	m**l@p**e	3
bjowac	b**r@g**m	3
Arie Gurfinkel	a**e@c**u	3
Cedric Richter	c**r@u**e	3
Raphaël Monat	r**t@l**r	3
Peter Schrammel	p**l@c**k	3
nianzelee	n**e@s**e	3
kaled Alshmrany	k**y@p**k	3
Yannic Noller	n**c@g**m	3
Wei	w**i@c**u	3
Adam Štafa	x**a@f**z	3
Arpita Dutta	a**j@g**m	3
Paulína Ayaziová	p**i@g**m	3
Paolo Di Biase	8****e	3
Pablo	p**o@g**m	3
Muoi Tran	m**c@g**m	3
Mike Kazantsev	m**d@g**m	3
Michal Kotoun	x**4@s**z	3
Martin Blicha	m**a@g**m	3
Martin	e**n@g**m	3
Malte Mues	m**s@g**m	3
Jan Švejda	j**a@g**m	3
Giacomo Zanatta	g**a@u**t	3
Frank Schüssele	s**f@i**e	3
Dongge Liu	a**u@g**m	3
Matthias	h**n@i**e	3
FuzzDeveloper	4****m	3
mezpusz	m**z@h**m	3
liar1007	1**9@q**m	3
gildotomasco	g**o@g**m	2
fatimahkj	f**i@g**m	2
anaslari23	a**0@g**m	2
Zaiyu Cheng	6****i	2
Cyrille Artho	a**o@k**e	2
Lorenz Leutgeb	l**b@g**m	2
cryingshadow	s**r@i**e	2
Animesh Basak Chowdhury	1**1@0**M	2
Adéla Štěpková	a**v@s**z	2
Shaobo He	s**o@c**u	2
Lapulatos	2**5@q**m	2
Jan-Niclas Serr	6****o	2
Jakob Rath	g**t@j**u	2
Hoang M. Le	h**e@u**e	2
Guoanshisb	p**n@g**m	2
Falk Howar	f**r@g**m	2
Dexi Wang	w**e@g**m	2
Decipher-CS	8****S	2
Martin Hruska	h**5@g**m	2
Mitch	m**d@g**m	2
Monty Carter	m**r@g**m	2
Nils Loose	4****e	2
Olli Saarikivi	o**i@i**i	2
Yurii Kostyukov	k**i@g**m	2
XLiZHI	9**7@q**m	2
Vadim Mutilin	m**n@i**u	2
Ryan Scott	r**t@g**m	2
Raphaël Monat	r**t@i**r	2
Martina Vitovska	4**0@m**z	2
Temesghen Kahsai	l**a@g**m	2
Tobias Meggendorfer	t**s@m**e	2
Rasool Maghareh	s**m@g**m	2
Simon Dierl	s**l@c**e	1
Sam Grayson	s**m@s**e	1
anushrijana	a**a@t**m	1
brick-tool-dev	5****v	1
franck44	f**z@m**u	1
jacogeld	j****d	1
kcanamgal	4****l	1
nilslommen	4****n	1
priyankadarke	5****e	1
taeyang	9**4@q**m	1
usefulalgorithm	u**m@g**m	1
zapashcanon	l**o@n**r	1
Ali Shamakhi	a**7@g**m	1
afzalmohd	a**d@g**m	1
Thomas Lemberger	l****h	1
Test	t**t@e**m	1
Vaibhav Sharma	v**v@u**u	1
Matthew	m**w@l**m	1
Martin Yankov	m**v@s**m	1
Leo Strakosch	l**h@k**n	1
Xuechao	x**x@h**m	1
Viktor Malik	v**k@g**m	1
Nils Steinger	g**t@n**e	1
Neea	2****h	1
Mete0r	6****r	1
ManojAlladawar56	m**r@t**m	1
Henning Günther	g**r@f**t	1
Jah-yee	1****e	1
Jan Kofron	j**n@d**z	1
Kareem Khazem	k**z@k**m	1

Excludes empty and merge commits.

Name	Email	Commits
Simon	s**r@a**e	212
Philipp Wendler	u**i@p**e	164
Marian Lingsch-Rosenfeld	M**h@s**e	21
Henrik Wachowitz	h**z@i**e	20
Levente Bajczi	b**i@g**m	10
dependabot[bot] 🤖	4****]	8
Po-Chun Chien	p**n@s**e	7
iwancof	r**f@g**m	7
Simmo Saan	s**n@g**m	6
naim-mr	n**l@e**r	6
pepega007xd	b**t@g**m	6
mujtke	m**e@m**l	5
Hernan Ponce de Leon	z**6@g**m	5
Marek Trtik	t**m@g**m	5
saurabh12nxf	s****f	5
Amirhossien Malekmohammadi	1****k	4
Rotzbua	R****a	4
Frank Schüssele	s**f@i**e	3
Giacomo Zanatta	g**a@u**t	3
Max barth	m**5@g**e	3
Paolo Di Biase	8****e	3
Jan-Niclas Serr	6****o	2
XLiZHI	9**7@q**m	2
anaslari23	a**0@g**m	2
Adéla Štěpková	a**v@s**z	2
Jah-yee	1****e	1
Marton Hajdu	m**z@h**m	1
Neea	2****h	1
Raphaël Monat	r**t@i**r	1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / sosy-lab/benchexec committers