summaryrefslogtreecommitdiff
path: root/tiger-compiler/THANKS.txt
blob: 7b43faff7afe2812f8a91712b7070ca3f959d57a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
This package was written by and with the assistance of

* Adrien Houpert               adrien.houpert@epita.fr
  - Translation of perl scripts into python3.

* Adrien Langou                adrien.langou@epita.fr

* Akim Demaille                akim@lrde.epita.fr
  - Project inception.
  - Intensive maintenance of the whole compiler.
  - Manipulation of concrete syntax improved thanks to parser metavariables.
  - Sixth redesign of the AST (can be an expression or a list of
    declarations; creation of a _main function in the former case).
  - Conversion to GLR parser.
  - Concrete syntax desugaring within the parser.

* Alain Vongsouvanh            vongso_a@epita.fr
  - Type-checking of object constructions.

* Aleksandar Radojicic         aleksandar.radojicic@epita.fr
  - Make use of C++20 ranges and concepts.
  - Translation of perl scripts into python3.

* Alexandre Duret-Lutz         adl@lrde.epita.fr

* Alexis Brouard               brouar_a@epita.fr
  - Portability of tc-check to NetBSD.

* Arnaud Fabre                 fabre_a@epita.fr
  - "import" support.
  - Disjunctive tasks.

* Arthur Hugonnot              arthur.hugonnot@epita.fr
  - Translation of the perl testsuite into python3.

* Ashkan Kiaie-Sandjie         kiaies_a@epita.fr
  - Add LLVM debug information.

* Axel Manuel                  manuel_c@epita.fr

* Axel Ribon                   axel.ribon@epita.fr

* Benoît Perrot                benoit@lrde.epita.fr
  - Extensive documentation.
  - Redesign of the Task system.
  - Design and implementation of target handling.
  - Deep clean up of every single module.
  - Third redesign of the AST, and actually, automatic generation of the AST.
  - IA-32 back-end.
  - Dissociate generation of frame allocation/deallocation statements
    from generation of procedure entry/exit statements in code
    generators.
  - Move general tools into lib/ and enforce the STL coding style for these.

* Benoît Sigoure               tsuna@lrde.epita.fr
  - Rename the visitors using imperative class names.
  - Coding style clean-up.
  - Renaming from Tiger to Leopard (through codenamize).
  - Access to the concrete-syntax rewriter from the Tiger language.

* Benoît Tailhades             tailha_b@epita.fr
  - Tiger Interpreter in Python.
  - Binding of object constructions.

* Bruno Belanyi                bruno.belanyi@epita.fr

* Cédric Bail                  bail_c@epita.fr
  - Initial escaping static link computation framework.

* Christophe Duong             chris@epita.fr
  - symbol::Symbol simplification.
  - Refactoring of maps.

* Clément Vasseur              clement.vasseur@lrde.epita.fr
  - Debian packaging.

* Cyprien Orfila               orfila_c@epita.fr
  - First draft on a functional stage.

* Daniel Gazard                gazard_d@epita.fr
  - Initial framework from LIR to MIPS.

* Dylan Innou  	               dylan.innou@epita.fr

* Fabien Ouy                   fabien@epita.fr
  - String parsing refactoring.
  - Conversion to boost::shared_ptr.
  - Seventh AST refactoring (use VarDecs for formal parameters instead of
    Fields).

* Elsa Keirouz                 elsa.keirouz@epita.fr
  - SSA & related optimizations.

* Ethan Zouzoulkowsky          ethan.zouzoulkowsky@epita.fr

* Etienne Renault              renault@lrde.epita.fr
  - Intensive maintenance of the whole compiler.

* Francis Maes                 francis@lrde.epita.fr
  - Generation of static C++ Tree As Types.

* Francis Visoiu Mistrih       francis@epita.fr
  - Implementation of a new stage for LLVM IR generation (TC-L).

* Gaëtan Dupont                gaetan.dupont@epita.fr

* Ghiles Ziat                  ghiles.ziat@epita.fr

* Ghislain Bonnard             ghislain.bonnard@epita.fr

* Gilles Walbrou               walbro_g@epita.fr
  - Completion of misc::xalloc.

* Guillaume Duhamel            duhame_u@epita.fr
  - Unify dev/ with Gostai's version.

* Guillaume Marques            marque_o@epita.fr
  - Replacement of lists with vectors.
  - Cleanup of the documentation and removal of its warnings.

* Hélène Chelin                helene.chelin@epita.fr
  - Documentation for LLVM on assignments.
  - Addition of SSA to the middle-end.

* Jérémie Simon                simon_j@epita.fr

* Julien Nicolle               julien.nicolle@epita.fr

* Julien Roussel               spip@lrde.epita.fr
  - "let" desugaring.
  - A lot of memory leak hunting.

* Julien Grall                 julien.grall@gmail.com
  - Support for TC-0 tarballs in tc-check.

* Kerian Allaire               kerian.allaire@epita.fr

* Killian Siou                 killian.siou@epita.fr

* Laurent Gourvénec            laurent.gourvenec@epita.fr
  - FreeBSD support.

* Léo Ercolanelli              ercola_l@epita.fr

* Loïc Banet                   banet_l@epita.fr
  - Introduction to C++17.

* Louis Dufeu                  louis.dufeu@epita.fr

* Mael Cravero                 mael.cravero@epita.fr
  - Rework of TC-6 and TC-7 to use C++ variants based matching.

* Michaël Cadilhac             michael.cadilhac@lrde.epita.fr
  - Conversion to MonoBurg.

* Matthieu Simon               simon_f@epita.fr

* Mathieu Merienne             mathieu.merienne@epita.fr

* Moray Baruh                  moray.baruh@epita.fr
  - First draft on a functional stage.

* Nicolas Burrus
  - Generation of a Swig bindings of the tc libraries to Python.
  - Implementation of a tc shell.

* Nicolas Fidel                nicolas.fidel@epita.fr

* Nicolas Pouillard            pouill_n@lrde.epita.fr
  - Massive revisions of studentize and tc-check.
  - Fourth AST generation change: conversion to using YAML.
  - Massive coding style normalizations.
  - VCS support.

* Nicolas Teck                 teck_n@epita.fr
  - Conversion to BOOST_FOREACH.
  - Many tests for the Bistromatig.

* Pablo Oliveira               pablo.oliveira@prism.uvsq.fr
  - Mandelbrot set plotting test and mini-morpho test correction.

* Pierre Brandone              pierre.brandone@epita.fr
  - Make use of Bison warnings and counterexamples.
  - Balance the workloads of TC-1 and TC-2.

* Pierre-Olivier Rey           pierre-olivier.rey@epita.fr
  - Include Nix as a package manager for the project.

* Pierre-Louis Dagues          dagues_p@epita.fr
  - Redesign of the Pruner.

* Pierre-Yves Strub            strub_p@epita.fr
  - Second redesign of the AST.
  - Second redesign of Symbol.

* Pierre De Abreu              deabre_p@epita.fr

* Quôc Peyrot                  chojin@lrde.epita.fr
  - Initial Task implementation.

* Raphaël Dias--Monteiro       raphael.dias-monteiro@epita.fr

* Raphaël Montes               raphael.montes@epita.fr
  - Fixed a bug in LLVM.

* Raphaël Poss                 r.poss@online.fr
  - Conversion of AST to using pointers instead of references.
  - Breakup between interfaces and implementations (.hh only -> .hxx, .cc)
  - Miscellaneous former TODO items.
  - Implementation of reference counting for Tree.

* Razik Yousfi                 yousfi_r@epita.fr
  - Parsing and abtract syntax of objects constructions.

* Roland Levillain             roland@lrde.epita.fr
  - Intensive maintenance of the whole compiler.
  - Maintenance of the package (SWIG, statistics, generators,
    studentification etc.).
  - Revival of the overloading support.
  - Fifth AST refactoring (multiple inheritance for Typable,
    TypeConstructor, etc.).
  - AST cloning and desugaring.
  - Conversion to boost::variant.
  - Conversion to Boost Graph Library.
  - Dynamic array bounds checking.
  - Inline expansion of function bodies.
  - misc::variant.
  - Revamp the TCSH-based Tiger Interpreter.
  - Parsing and abtract syntax of objects constructions.
  - Desugaring of object constructions.
  - Concrete-syntax rewrite engine.
  - The Simple Tiger Compiler (stc).
  - The Bistromatig.
  - Conversion to C++ 2011.

* Robert Anisko                anisko_r@epita.fr

* Romain Foucher               romain.foucher@epita.fr
  - Rename Decs and DecsList to Chunk.

* Sarasvati Moutoucomarapoulé  moutou_s@epita.fr
  - First draft on a functional stage.

* Serval Martinot-Lagarde      serval.martinot-lagarde@epita.fr
  - Create and ship a dumper dot for AST visual representation.
  - Revive and ship SWIG bindings for python.

* Sébastien Broussaud          brouss_s@epita.fr
  - Escapes torture tests.

* Sébastien Piat               spiat@lrde.epita.fr
  - Support for overload and object at the same time.

* Stéphane Molina              molina_s@epita.fr
  - Configuration files in tc-check.

* Théophile Ranquet            ranquet@lrde.epita.fr
  - Stylistic changes.

* Thierry Géraud               theo@epita.fr
  - Initial idea for visitors.
  - Initial idea for tasks.
  - Initial implementation of AST.
  - Initial implementation of Tree.

* Timothée Desveaux            timothee.desveaux@epita.fr

* Timothée Strouk              timothee.strouk@epita.fr

* Valentin David               david_v@epita.fr
  - Some additional tests.

* Victor Hognon                victor.hognon@epita.fr
  - Initial work on the AST driver.

* Vinh-Toàn Phan               vinh-toan.phan@epita.fr

* Viviane Garèse               viviane.garese@epita.fr
  - Documentation for LLVM on assignments.
  - Cleanup of the Bison grammar.

* Yann Grandmaître             grandm_y@epita.fr
  - Use boost::lexical_cast for integer-to-string conversions.
  - Clean up lib/misc/.
  - Tiger Interpreter in C++.
  - Support for the Boehm-Demers-Weiser garbage collector on IA-32.
  - Support for TC-0 tarballs in tc-check.

* Yann Popo                    popo_y@epita.fr
  - Implementation of the Timer class.

* Yann Régis-Gianas            yann@lrde.epita.fr
  - Reimplementation of graphs.

Copyright (C) 2004-2017  LRDE.

--
Local Variables:
mode: text
coding: utf-8
ispell-local-dictionary: "american"
End: