cbmc committers

Last synced: almost 2 years ago

Total Commits: 21,469
Total Committers: 172
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 124.82
Development Distribution Score (DDS): 0.719

Commits in the past year: 966
Committers in the past year: 25
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 38.64
Development Distribution Score (DDS) in the past year: 0.621

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/diffblue/cbmc
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/diffblue%2Fcbmc

Name	Email	Commits
kroening	k**g@6**1	6034
Michael Tautschnig	t**n@a**m	3039
Daniel Kroening	k**g@c**k	1929
Romain Brenguier	r**r@g**m	1349
Chris Smowton	c**s@s**t	750
Peter Schrammel	p**l@d**m	732
Thomas Spriggs	t**s@d**m	677
thk123	t**s@d**m	626
Daniel Poetzl	d**l@d**m	341
Jez Higgins	j**z@j**k	335
Fotis Koutoulakis	f**s@d**m	299
Daniel Kroening	d**r@a**m	289
reuk	r****k	286
Owen Jones	o**s@d**m	271
Hannes Steffenhagen	h**n@d**m	233
Nathan Phillips	n**s@d**m	191
Joel Allred	j**d@d**m	169
svorenova	m**a@d**m	163
martin	m**n@m**l	162
martin	m**n@r**l	160
Thomas Kiley	t**y@d**m	160
Lukasz A.J. Wrona	l**a@g**m	157
Fotis Koutoulakis	f**s@g**m	154
Matthias Güdemann	m**n@d**m	152
Enrico Steffinlongo	e**o@d**m	123
Antonia Lechner	a**r@d**m	123
Michael Tautschnig	m**t@d**g	122
matlew	m**w@6**1	116
Remi Delmas	d**d@a**m	112
Thomas Given-Wilson	t**n@d**m	109
xbauch	p**h@g**m	105
Chris Ryder	c**r@d**m	94
Felipe R. Monteiro	f**s@a**m	85
tautschnig	t**g@6**1	85
Matthias Güdemann	m**n@g**m	76
Jeannie Moulton	j**n@d**m	76
Lucas Cordeiro	l**o@g**m	69
johndumbell	j**l@d**m	67
John Nonweiler	j**r@d**m	63
Saswat Padhi	s**i@a**m	63
Cristina	c**d@g**m	60
Pascal Kesseli	p**i@h**m	57
Kareem Khazem	k**z@k**m	49
Qinheping Hu	q**h@a**m	44
Kareem Khazem	k**z@a**m	43
Natasha Yogananda Jeppu	n**u@a**m	42
Matthias Weiss	m**s@d**m	41
Mark R. Tuttle	m**e@a**m	39
Daniel Poetzl	d**l@c**k	38
Pascal Kesseli	p**i@d**k	35
Robert (Jamie) Munro	j**e@d**m	35
Peter Schrammel	p**l@c**k	33
Jesse Sigal	j**l@g**m	30
Polgreen	p**n@a**m	29
Yumi Bagge	y**e@d**m	29
Sonny Martin	s**n@d**m	26
theyoucheng	y**n@c**k	26
Kurt Degiorgio	d**t@o**m	25
Petr Bauch	p**h@D**m	24
Daniel Kroening	d**o@a**m	24
ahorn	a**n@6**1	24
Michael Tautschnig	m**g@q**k	23
Cesar Rodriguez	c**z@d**m	22
Petr Bauch	p**h@D**m	21
Vojtech Forejt	v**t@d**m	21
Vojtech Forejt	f**v@g**m	20
Daniel Neville	d**e@c**k	20
Daniel Kroening	d**g@m**k	17
Andreas Tiemeyer	a**r@g**m	17
Vlastimil Zeman	v**n@d**m	16
janmroczkowski	j**i@d**m	16
Owen	o**n@d**m	16
Ed Stenson	e**n@d**m	14
Norbert Manthey	n**y@a**e	12
Norbert Manthey	n**y@a**m	11
reuk	r**s@m**m	10
Dario Cattaruzza	d**a@h**m	10
pkesseli	p**i@d**k	10
Fotis Koutoulakis	f**s@h**m	10
Zyad Hassan	z**h@a**m	10
Martin Brain	m**n@c**k	9
marek-trtik	m**k@d**m	9
Konstantinos Kallas	k**s@h**m	9
klaas	k**s@u**m	8
Malte Mues	m**s@g**m	7
Justin Handville	n**h@g**m	7
Malte Mues	m**e@a**m	7
Aren Babikian	b**n@d**m	7
Hannes Steffenhagen	l**o@g**m	7
polgreen	e**n@c**k	7
Antonia Lechner	a**r@D**m	6
Frankie Botero	f**o@a**m	6
Lucas Cordeiro	l**o@c**k	6
jgwilson42	j**n@d**m	6
Elizabeth Polgreen	e**n@g**m	6
ally	a**y@6**1	5
diffblue QA	t**r@d**m	5
Vincent Mihalkovic	v**o@r**m	5
Andreas Paschos	a**s@d**m	5
Jim Grundy	8****y	5
Hannes Steffenhagen	L**o@g**m	5
schram	s**m@6**1	4
Daiva Naudziuniene	d**n@a**m	4
Andreas Stahlbauer	g**t@s**t	4
Anna	t**a@g**m	4
ArenBabikian	a**n@m**a	4
Piotr Grabalski	p**i@g**m	4
Martin Brain	m**n@d**4	4
hannes-steffenhagen-diffblue	3****e	4
johnfxgalea	j**2@g**m	4
Johannes Kloos	j**s@d**m	3
Romain Brenguier	r**r@c**k	3
pkesseli	p**i@6**1	3
Hannes Steffenhagen	H**n@d**m	3
Mauricio N. Guignard	m**d@g**m	3
martin	m**n@d**4	3
Julian Parsert	j**t@u**t	3
Adrian Palacios	a**l@a**m	3
Nathan Phillips	N**s@D**m	3
Anna Trostanetski	a**t@c**l	3
Marius Melemciuc	m**c@d**m	3
Christopher Wagner	c**r@a**m	2
Michael Tautschnig	t**n@a**k	2
zhixing-xu	z**x@p**u	2
Robert (Jamie) Munro	r**o@a**t	2
marcelosousa	d**n@g**m	2
Brett Schiff	b**f@a**m	2
unknown	p**l@c**k	2
Vojtech Forejt	v**t@D**m	2
Dominik Harmim	h**d@a**m	2
Zebulon Goriely	z**2@g**m	2
Long Pham	l**a@a**m	2
Lukas Zaoral	l**l@r**m	2
[email protected]	k**s@g**m	2
Chris Ryder	c**r@g**t	2
Aalok Thakkar	a**t@d**m	2
Matthias Güdemann	m****n	2
Peter Schrammel	p****l	2
Bernd Kolb	b**b@g**m	1
Matthias Endler	m**r@g**t	1
Nanda H Krishna	m**e@n**m	1
Pamina Georgiou	g**a@a**m	1
Mike Whalen	m**w@a**m	1
johnfxgalea	j**a@s**k	1
Polgreen	p**n@c**m	1
Daniel Schwartz-Narbonne	d**n@a**m	1
Nathan Wetzler	w**h@a**m	1
Matthias Güdemann	m**n@h**u	1
Nathan Chong	n**g@a**m	1
Matthias Güdemann	m**n@i**o	1
Romain Brenguier	r**r@d**m	1
Long Pham	l**a@d**m	1
Martin	m**n@c**k	1
Amos Robinson	a**n@g**m	1
Peter Schrammel	p**l@k**t	1
František Nečas	f**s@p**m	1
thk123	t**r@g**m	1
Marek Chalupa	m**y@g**m	1
reuk	r**k@u**m	1
Shuo Ding	s**n@o**m	1
eigold	e**g@g**m	1
sonodtt	3****t	1
vladrich	v****h	1
Hannes Steffenhagen	c**n@g**m	1
Matthias Weiß	4****e	1
Chris Ryder	3****e	1
John Paul Adrian Glaubitz	g**z@p**e	1
Lars	l**k@g**m	1
Jiri Slaby	j**y@s**z	1
Joel Allred	j**d@g**m	1
Alexander Bayandin	a**n@g**m	1
Daniel Neville	D****e	1

Excludes empty and merge commits.

Name	Email	Commits
Michael Tautschnig	t**n@a**m	366
Thomas Spriggs	t**s@d**m	159
Enrico Steffinlongo	e**o@d**m	101
Fotis Koutoulakis	f**s@d**m	88
Peter Schrammel	p**l@d**m	66
Remi Delmas	d**d@a**m	52
Qinheping Hu	q**h@a**m	34
Daniel Kroening	d**r@a**m	25
Thomas Given-Wilson	t**n@d**m	20
Fotis Koutoulakis	f**s@g**m	11
Zyad Hassan	z**h@a**m	10
Martin Brain	m**n@c**k	9
martin	m**n@m**l	6
Jim Grundy	8****y	3
Julian Parsert	j**t@u**t	3
Daniel Kroening	k**g@c**k	2
Kareem Khazem	k**z@a**m	2
Dominik Harmim	h**d@a**m	2
Jiri Slaby	j**y@s**z	1
Michael Tautschnig	m**t@d**g	1
František Nečas	f**s@p**m	1
Matthias Güdemann	m**n@h**u	1
Felipe R. Monteiro	f**s@a**m	1
Adrian Palacios	a**l@a**m	1
Shuo Ding	s**n@o**m	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 / diffblue/cbmc committers