Ecosyste.ms: Commits

An open API service providing commit metadata for open source projects.

GitHub / sosy-lab/benchexec committers

Last synced: 5 months ago

Total Commits: 4,499
Total Committers: 184
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 24.451
Development Distribution Score (DDS): 0.512

Commits in the past year: 290
Committers in the past year: 30
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 9.667
Development Distribution Score (DDS) in the past year: 0.445

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

Name	Email	Commits
Philipp Wendler	u**i@p**e	2195
Dennis Simon	d**4@g**m	266
Dirk Beyer	D**r@s**g	184
lachnerm	m**r@o**e	165
Dirk Beyer	d****r	94
Tobias Kleinert	t**t@g**e	93
Sudeep Kanav	s**v@l**e	93
Johan Paulsson	j**n@c**e	76
Laura Bschor	l**r@n**m	75
Thomas Lemberger	l**h@g**m	73
Daniel Dietsch	d**h@g**m	72
Robin Gloster	m**l@g**n	59
Thomas Lemberger	l**7@s**e	58
Karlheinz Friedberger	k**r@g**m	52
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
Thomas Lemberger	s**i@g**m	30
Martin Spiessl	g**t@2**e	30
SvenUmbricht	S**t@g**m	29
Po-Chun Chien	p**n@s**e	22
Gidon Ernst	g**t@s**e	21
Matthias Kettl	m**l@s**e	15
Williame Rocha	w**0@g**m	13
thaprau	4****u	12
Martin Spiessl	3****l	12
George Karpenkov	g**e@m**e	12
Zvonimir	z**r@c**u	12
Daniel Dietsch	d**h@i**e	11
Dirk Beyer	d**r@i**e	11
Bajczi Levente	b**i@g**m	11
Saransh Chopra	s**1@g**m	11
Anthonysdu	3****u	10
Dennis Simon	d**s@s**m	10
Herbert	h**2@g**m	10
will-leeson	w**w@v**u	10
Matthias Kettl	m**l@w**e	9
Peter Schrammel	p**l@d**m	9
Filipe Marques	f**s@t**t	8
felixmaechtle	3****e	8
PBerger	b**r@c**e	8
Martin Nowack	m**k@i**k	8
Matt Roberts	m**s@m**u	8
passengerZ	9**3@q**m	8
Michael Tautschnig	m**t@d**g	8
Ilja Zakharov	i**v@i**u	8
Marek Trtik	t**m@g**m	7
Max barth	m**5@g**e	7
Zhihang Sun	s**0@m**n	7
Marek Chalupa	x**4@f**z	7
Marek Chalupa	m**y@g**m	7
AdamZsofi	a**l@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
Hugo	h****k	7
Vesal Vojdani	v**i@g**m	6
VerifierIntegerAssignment	p**a@u**k	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
yinliangze	y**e@1**m	6
Xie Li	l**5@m**n	6
omainv	o****v	6
Vladimir Still	v**l@g**m	5
Zeta	z**6@g**m	5
Sun Zhihang	8**7@q**m	5
Stephan Lukasczyk	s**n@l**e	5
Rafael Sá Menezes	r**0@g**m	5
Karlheinz Friedberger	k**b@g**m	5
Florian Heck	f**k@h**e	5
Dennis Simon	d**n@d**m	5
lachnerm	6****m	4
kaled Alshmrany	4****y	4
skanav	s**v@s**e	4
cgcgbcbc	c**c@1**m	4
Simmo Saan	s**n@g**m	4
Martin	y**v@c**e	4
Sebastian Ott	o**b@f**e	4
Sarathkrishnan	s**s@g**m	4
Mikhail Ramalho	m**o@g**m	4
Marian Lingsch-Rosenfeld	m**h@s**e	4
LE, Ton Chanh	l**h@g**m	4
Henrich Lauko	x**o@m**z	4
Gidon Ernst	g**t@g**m	4
Cedric Richter	c**r@m**e	4
Benjamin Quiring	b**7@g**m	4
Sakshi Agrawal	6****8	4
Martin Yankov	4****7	4
Gidon Ernst	g****t	4
Jan Švejda	j**a@g**m	3
EtiChaudhary	c**9@i**n	3
Malte Mues	m**s@g**m	3
Dongge Liu	a**u@g**m	3
Cedric Richter	c**r@u**e	3
Michal Kotoun	x**4@s**z	3
Mike Kazantsev	m**d@g**m	3
Muoi Tran	m**c@g**m	3
Pablo	p**o@g**m	3
FuzzDeveloper	4****m	3
versokova	v**a@g**m	3
wz	3**3@q**m	3
Matthias	h**n@i**e	3
Adam Štafa	x**a@f**z	3
nianzelee	n**e@s**e	3
kaled Alshmrany	k**y@p**k	3
jhensel	h**l@c**e	3
bjowac	b**r@g**m	3
Yannic Noller	n**c@g**m	3
Wei	w**i@c**u	3
Raphaël Monat	r**t@l**r	3
Peter Schrammel	p**l@c**k	3
Arie Gurfinkel	a**e@c**u	3
Arpita Dutta	a**j@g**m	3
Caroline Lemieux	c**x@b**u	3
Jakob Rath	g**t@j**u	2
Lapulatos	2**5@q**m	2
Peter Schrammel	p**l@k**t	2
dangl	d**l@f**e	2
Olli Saarikivi	o**i@i**i	2
Monty Carter	m**r@g**m	2
Mitch	m**d@g**m	2
Michael Tautschnig	t**n@a**m	2
Michael Tautschnig	m**g@q**k	2
Matthias Dangl	m**1@g**m	2
Martin Hruska	h**5@g**m	2
Decipher-CS	8****S	2
Zaiyu Cheng	6****i	2
Ryan Scott	r**t@g**m	2
Rafael Sá Menezes	r**s@o**m	2
Shaobo He	s**o@c**u	2
Temesghen Kahsai	l**a@g**m	2
Vadim Mutilin	m**n@i**u	2
Vladimir Still	x**l@f**z	2
Yurii Kostyukov	k**i@g**m	2
cryingshadow	s**r@i**e	2
fatimahkj	f**i@g**m	2
gildotomasco	g**o@g**m	2
mchalupa	m**a@m**z	2
mezpusz	m**z@h**m	2
Animesh Basak Chowdhury	1**1@0**M	2
Martina Vitovska	4**0@m**z	2
Dexi Wang	w**e@g**m	2
Falk Howar	f**r@g**m	2
Guang Chen	c**c@g**m	2
Guoanshisb	p**n@g**m	2
Hoang M. Le	h**e@u**e	2
jacogeld	j****d	1
cyrille-artho	c****o	1
brick-tool-dev	5****v	1
Thomas Lemberger	l****h	1
Kareem Khazem	k**z@k**m	1
Leo Strakosch	l**h@k**n	1
Marek Chalupa	c**a@f**z	1
Martin Yankov	m**v@s**m	1
Rafael Sá	r**p@g**m	1
Raphaël Monat	r**t@i**r	1
Rasool Maghareh	r**l@c**g	1
Rasool Maghareh	s**m@g**m	1
Sam Grayson	s**m@s**e	1
Vaibhav Sharma	v**v@u**u	1
Viktor Malik	v**k@g**m	1
Xie Li	l**9@i**n	1
Xuechao	x**x@h**m	1
afzalmohd	a**d@g**m	1
anushrijana	a**a@t**m	1
franck44	f**z@m**u	1
taeyang	9**4@q**m	1
usefulalgorithm	u**m@g**m	1
Ali Shamakhi	a**7@g**m	1
Caroline Lemieux	c**x@g**m	1
Cyrille Artho	a**o@k**e	1
Henning Günther	g**r@f**t	1
Jera Hensel	j**l@r**e	1
Nils Steinger	g**t@n**e	1
Mete0r	6****r	1
EtiChaudhary	3****y	1
Ádám Zsófia	9****i	1
zapashcanon	l**o@n**r	1
priyankadarke	5****e	1
kcanamgal	4****l	1
Simon Dierl	s**l@c**e	1

Excludes empty and merge commits.

Name	Email	Commits
Philipp Wendler	u**i@p**e	161
Po-Chun Chien	p**n@s**e	14
Dirk Beyer	D**r@s**g	12
Saransh Chopra	s**1@g**m	11
felixmaechtle	3****e	8
passengerZ	9**3@q**m	8
Marek Trtik	t**m@g**m	7
Max barth	m**5@g**e	7
Zhihang Sun	s**0@m**n	7
rmetta	r**a@g**m	7
Bajczi Levente	b**i@g**m	5
Martin Spiessl	3****l	4
Marian Lingsch-Rosenfeld	m**h@s**e	4
Sarathkrishnan	s**s@g**m	4
Adam Štafa	x**a@f**z	3
Arpita Dutta	a**j@g**m	3
Filipe Marques	f**s@t**t	3
Simmo Saan	s**n@g**m	3
wz	3**3@q**m	3
Decipher-CS	8****S	2
Zaiyu Cheng	6****i	2
Yurii Kostyukov	k**i@g**m	2
Vesal Vojdani	v**i@g**m	2
Rafael Sá Menezes	r**s@o**m	2
Hernan Ponce de Leon	z**6@g**m	1
zapashcanon	l**o@n**r	1
Robin Gloster	m**l@g**n	1
Sam Grayson	s**m@s**e	1
Thomas Lemberger	l**h@g**m	1
versokova	v**a@g**m	1

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