Merge branch 'clean_and_improve_numeric_examples' into 'master'
[why3.git] / .mailmap
blobe5babb9188b6886bdb41eb3d99523d1edd5ed669
1 Léo Andrès <leo@ndrs.fr>
2 Lucas Baudin <lucas.baudin@ens.fr> <xapantu@xaptop>
3 Benedikt Becker <benedikt.becker@inria.fr>
4 Benedikt Becker <benedikt.becker@inria.fr> <bbecker@moloch.lri.fr>
5 Cláudio Belo Lourenço <belolourenco@gmail.com> <claudio-filipe.belo-da-silva-lourenco@inria.fr>
6 Allan Blanchard <allan.blanchard@cea.fr>
7 François Bobot <francois@bobot.eu> <bobot@lri.fr>
8 François Bobot <francois@bobot.eu> <francois.bobot@cea.fr>
9 Paul Bonnot <paul.bonnot@inria.fr>
10 Paul Bonnot <paul.bonnot@inria.fr> <paul.bonnot@gmail.com>
11 Paul Bonnot <paul.bonnot@inria.fr> <paul.bonnot@trust-in-soft.com>
12 Martin Clochard <martin.clochard@lri.fr> <martin@pc-stagiaire.(none)>
13 Martin Clochard <martin.clochard@lri.fr> <clochard@MC-MacBook.(none)>
14 Sylvain Dailler <dailler@adacore.com>
15 Sylvain Dailler <dailler@adacore.com> <sdailler@hauzar@adacore.com>
16 Sylvain Dailler <dailler@adacore.com> <sylvain.dailler@inria.fr>
17 Sylvain Dailler <dailler@adacore.com> <dailler@moloch.lri.fr>
18 Sylvain Dailler <dailler@adacore.com> <sylvain.dailler@gmail.com>
19 Xavier Denis <xavier.denis@inria.fr> <xldenis@gmail.com>
20 Kate Deplaix <kit.ty.kate@disroot.org> <jp.deplaix@gmail.com>
21 Diego Diverio <diego.diverio@inria.fr>
22 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <Jean-Christophe.Filliatre@lri.fr>
23 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <filliatr@lri.fr>
24 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jc@evariste.(none)>
25 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jc@gemini.(none)>
26 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <filliatr@balrog.(none)>
27 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jean-christophe.filliatre@inria.fr>
28 Clément Fumex <clement.fumex@inria.fr> <fumex@moloch.lri.fr>
29 Quentin Garchery <garchery.quentin@gmail.com> <quentin.garchery@inria.fr>
30 Léon Gondelman <gondelmans@lri.fr>
31 Léon Gondelman <gondelmans@lri.fr> <lgondelmann@gmail.com>
32 Léon Gondelman <gondelmans@lri.fr> <lgondelman@lg-PC.(none)>
33 Léon Gondelman <gondelmans@lri.fr> <leon@ubuntu.(none)>
34 David Hauzar <david.hauzar@inria.fr> <hauzar@moloch.lri.fr>
35 Benjamin Jorge <benjamin.jorge@cea.fr>
36 Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr> <jacques-henri.jourdan@inria.fr>
37 Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr> <jacques-henri.jourdan@normalesup.org>
38 Johannes Kanig <kanig@adacore.com> <johannes.kanig@lri.fr>
39 Rehan Malak <rehan.malak@inria.fr>
40 Claude Marché <claude.marche@inria.fr> <Claude.Marche@inria.fr>
41 Claude Marché <claude.marche@inria.fr> <cmarche@dispater.(none)>
42 Claude Marché <claude.marche@inria.fr> <cmarche@orcus.(none)>
43 Claude Marché <claude.marche@inria.fr> <cmarche@belzebuth.(none)>
44 Guillaume Melquiond <guillaume.melquiond@inria.fr>
45 Guillaume Melquiond <guillaume.melquiond@inria.fr> <melquion@moloch.saclay.inria.fr>
46 David Mentré <dmentre@linux-france.org>
47 Benjamin Monate <benjamin.monate@trust-in-soft.com> <benjamin.monate@cea.fr>
48 Solène Moreau <solene.moreau@inria.fr>
49 Kim Nguyễn <kim.nguyen@lri.fr> <kn@lri.fr>
50 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyen@lri.fr>
51 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyen@acces.lri.fr>
52 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyenthiminhtuyen@minhtuyen.local>
53 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <thi-minh-tuyen.nguyen@inria.fr>
54 Andrei Paskevich <andrei@lri.fr> <andrei@tertium.org>
55 Andrei Paskevich <andrei@lri.fr> <andriy.paskevych@inria.fr>
56 Paul Patault <p.patault@gmail.com>
57 Mário Pereira <mariojppereira@gmail.com> <mpereira@lri.fr>
58 Mário Pereira <mariojppereira@gmail.com> <mario.j.p.pereira@gmail.com>
59 Mário Pereira <mariojppereira@gmail.com> <parreira@lri.fr>
60 Mário Pereira <mariojppereira@gmail.com> <mario-jose.parreira-pereira@inria.fr>
61 Mário Pereira <mariojppereira@gmail.com> <mjp.pereira@fct.unl.pt>
62 Gérald Point <gerald.point@labri.fr>
63 Raphaël Rieu-Helft <raphael.rieu-helft@trust-in-soft.com>
64 Raphaël Rieu-Helft <raphael.rieu-helft@trust-in-soft.com> <raphael.rieu-helft@inria.fr>
65 Raphaël Rieu-Helft <raphael.rieu-helft@trust-in-soft.com> <raphael.rieu-helft@lri.fr>
66 Raphaël Rieu-Helft <raphael.rieu-helft@trust-in-soft.com> <raphael.rieuhelft@gmail.com>
67 Raphaël Rieu-Helft <raphael.rieu-helft@trust-in-soft.com> <rieu@moloch.lri.fr>
68 Asma Tafat-Bouzid <atafat@lri.fr>
69 Asma Tafat-Bouzid <atafat@lri.fr> <atafat@atafat-desktop.(none)>
70 Piotr Trojanek <piotr.trojanek@altran.com> <piotr.trojanek@gmail.com>
71 Makarius Wenzel <makarius@sketis.net>