File tree Expand file tree Collapse file tree 5 files changed +697
-107
lines changed Expand file tree Collapse file tree 5 files changed +697
-107
lines changed Original file line number Diff line number Diff line change @@ -68,7 +68,7 @@ Michelle Strout
6868Mihai Budiu
6969Mohsen Lesani
7070Mukund Raghothaman
71- C :Nate Foster
71+ P :Nate Foster
7272Niki Vazou
7373Ningning Xie
7474Noam Rinetzky
Original file line number Diff line number Diff line change 1+ P:John Regehr
2+ Zachary Tatlock
3+ Anders Møller
4+ Peter Müller
5+ Ronald Garcia
6+ Matthew Flatt
7+ Sophia Drossopoulou
8+ Emina Torlak
9+ Umut A. Acar
10+ Aws Albarghouthi
11+ Nada Amin
12+ Owen Arden
13+ Jonathan Balkind
14+ Mark Batty
15+ Walter Binder
16+ Swarnendu Biswas
17+ Steve Blackburn
18+ James Bornholt
19+ Thomas Bourgeat
20+ Marc Brockschmidt
21+ Tej Chajed
22+ Stephen Chang
23+ Sarah E. Chasins
24+ Joonwon Choi
25+ David Darais
26+ Chen Ding
27+ Michael Emmi
28+ Constantin Enea
29+ Andres Erbsen
30+ José Fragoso Santos
31+ Vijay Ganesh
32+ Timon Gehr
33+ Klaus v. Gleissenthall
34+ Colin Gordon
35+ Justin Gottschlich
36+ Neville Grech
37+ Michael Greenberg
38+ Ronghui Gu
39+ Arjun Guha
40+ Ben Hardekopf
41+ Matthias Hauswirth
42+ Martin Hirzel
43+ Jeff Huang
44+ Suresh Jagannathan
45+ Limin Jia
46+ Gail Kaiser
47+ Shoaib Kamil
48+ Jeehoon Kang
49+ Stephen Kell
50+ Eric Koskinen
51+ V Krishna Nandivada
52+ Murali Krishna Ramanathan
53+ Neel Krishnaswami
54+ Shuvendu K. Lahiri
55+ Patrick Lam
56+ Jaejin Lee
57+ Woosuk Lee
58+ Yao Li
59+ Hongjin Liang
60+ Jay Ligatti
61+ Tongping Liu
62+ Benjamin Livshits
63+ P. Madhusudan
64+ Magnus Madsen
65+ Yatin Manerkar
66+ Michaël Marcozzi
67+ Ruben Martins
68+ Erik Meijer
69+ Anders Miltner
70+ Sasa Misailovic
71+ Magnus O. Myreen
72+ Vijay Nagarajan
73+ Santosh Nagarakatte
74+ Chandrakana Nandi
75+ Jorge A. Navas
76+ Iulian Neamtiu
77+ ThanhVu Nguyen
78+ Hakjoo Oh
79+ Peter Ohmann
80+ Peter-Michael Osera
81+ Guilherme Ottoni
82+ Sreepathi Pai
83+ Jens Palsberg
84+ Corina Pasareanu
85+ Gustavo Petri
86+ Luís Pina
87+ Clément Pit-Claudel
88+ Nadia Polikarpova
89+ Louis-Noël Pouchet
90+ Shaz Qadeer
91+ Xiaokang Qiu
92+ Arjun Radhakrishna
93+ Mukund Raghothaman
94+ Tahina Ramananandro
95+ Robert Rand
96+ Aseem Rastogi
97+ Alastair Reid
98+ Xavier Rival
99+ Grigore Roşu
100+ Cindy Rubio-González
101+ Sukyoung Ryu
102+ Malavika Samak
103+ Alex Sanchez-Stern
104+ John Sarracino
105+ Koushik Sen
106+ Xipeng Shen
107+ Xujie Si
108+ Jeremy G. Siek
109+ Rob Sison
110+ Tyler Sorensen
111+ Thodoris Sotiropoulos
112+ Caleb Stanford
113+ Deian Stefan
114+ Nikhil Swamy
115+ Tachio Terauchi
116+ Aditya V. Thakur
117+ Jean-Baptiste Tristan
118+ Kapil Vaswani
119+ Niki Vazou
120+ Muralidaran Vijayaraghavan
121+ David Walker
122+ Chenglong Wang
123+ Di Wang
124+ Yuepeng Wang
125+ John Wickerson
126+ Christian Wimmer
127+ Xiaodi Wu
128+ Jingling Xue
129+ Kwangkeun Yi
130+ Nobuko Yoshida
131+ Drew Zagieboylo
132+ Qirun Zhang
133+ Yizhou Zhang
134+ Zheng Zhang
135+ Zhiqiang Zuo
136+
Original file line number Diff line number Diff line change 1+ P:Zachary Tatlock
2+ Bor-Yuh Evan Chang
3+ Loris D'Antoni
4+ Dana Drachsler Cohen
5+ Arjun Guha
6+ James Larus
7+ Sam Lindley
8+ Na Meng
9+ Benjamin C. Pierce
10+ Manu Sridharan
11+ Reto Achermann
12+ Andrew Adams
13+ Maaz Bin Safeer Ahmad
14+ Willow Ahrens
15+ Karim Ali
16+ Saman Amarasinghe
17+ Jason Ansel
18+ Aslan Askarov
19+ Eric Atkinson
20+ Alexander Bakst
21+ Thomas Ball
22+ Sorav Bansal
23+ Sébastien Bardin
24+ Ryan Beckett
25+ Aaron Bembenek
26+ Gilbert Bernstein
27+ Thomas Bourgeat
28+ Michael Carbin
29+ Calin Cascaval
30+ Chris Casinghino
31+ Arthur Charguéraud
32+ Albert Cohen
33+ Will Crichton
34+ Ankush Das
35+ Benjamin Delaware
36+ Jenna DiVincenzo (Wise)
37+ Chris Fallin
38+ Grigory Fedyukovich
39+ Yu Feng
40+ Yannick Forster
41+ Frank Fu
42+ Marco Gaboardi
43+ Joshua Gancher
44+ Andrés Goens
45+ Harrison Goldstein
46+ Anitha Gollamudi
47+ Laure Gonnord
48+ Ganesh Gopalakrishnan
49+ Colin Gordon
50+ Ben Greenman
51+ Dan Grossman
52+ Samuel Gruetter
53+ Ronghui Gu
54+ Bill Harris
55+ Philipp G. Haselwarter
56+ Chris Hawblitzel
57+ Brian Hempel
58+ Yann Herklotz
59+ Tony Hosking
60+ Shachar Itzhaky
61+ Jules Jacobs
62+ Susmit Jha
63+ Ranjit Jhala
64+ Konstantinos Kallas
65+ Mahmut Taylan Kandemir
66+ Stephen Kell
67+ Ariel E. Kellison
68+ Fredrik Kjolstad
69+ Thomas Koehler
70+ Viktor Kunčak
71+ Ignacio Laguna
72+ Leonidas Lampropoulos
73+ Daan Leijen
74+ Mohsen Lesani
75+ Alexander K. Lew
76+ Ang Li
77+ Liyi Li
78+ Shaohua Li
79+ Jay P. Lim
80+ Andrew Lumsdaine
81+ P. Madhusudan
82+ Jean-Marie Madiot
83+ Rupak Majumdar
84+ Sharad Malik
85+ Konstantinos Mamouras
86+ Umang Mathur
87+ Ana Milanova
88+ Manasij Mukherjee
89+ Santosh Nagarakatte
90+ Chandrakana Nandi
91+ Rachit Nigam
92+ Michael F. P. O'Boyle
93+ Liam O'Connor
94+ Rohan Padhye
95+ Oded Padon
96+ Karl Palmskog
97+ Artem Pelenitsyn
98+ Erez Petrank
99+ Jean Pichon-Pharabod
100+ André Platzer
101+ Alex Potanin
102+ Azalea Raad
103+ Robert Rand
104+ Alex Reinking
105+ Tiark Rompf
106+ Neil Julien Ross
107+ Feras Saad
108+ Cole Schlesinger
109+ Taro Sekiyama
110+ Denys Shabalin
111+ Rahul Sharma
112+ Gagandeep Singh
113+ Rob Sison
114+ Yannis Smaragdakis
115+ Thodoris Sotiropoulos
116+ Caleb Stanford
117+ Guy L. Steele Jr.
118+ Michel Steuwer
119+ Kirshanthan Sundararajah
120+ Joshua Sunshine
121+ Jubi Taneja
122+ Manas Thakur
123+ Amin Timany
124+ Sam Tobin-Hochstadt
125+ Matías Toro
126+ Benoît Valiron
127+ Alexa VanHattum
128+ Chenxi Wang
129+ Ke Wang
130+ Conrad Watt
131+ Guannan Wei
132+ Sam Westrick
133+ Max Willsey
134+ Xiaodi Wu
135+ Ningning Xie
136+ Greta Yorsh
137+ Zhiqiang Zuo
138+
Original file line number Diff line number Diff line change @@ -263,6 +263,7 @@ private static String normalize(String authorName) {
263263 result = result .replace ("û" , "û" );
264264 result = result .replace ("ü" , "ü" );
265265 result = result .replace ("ý" , "ý" );
266+ result = result .replace ("č" , "č" );
266267
267268 if (result .contains ("&#" )) {
268269
You can’t perform that action at this time.
0 commit comments