Skip to main content

Browse the archive

https://github.com/mit-plv/rewriter
12 July 2022, 18:28:19 UTC
Revision 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC, committed by Jason Gross on 17 July 2021, 00:48:00 UTC 
Revert "Remake perf files without {Slow,VerySlow}"
 
This reverts commit a9972c000bda4d8606fe572556d4256614e5f8f7.
1 parent a9972c0
Raw File
Tip revision: 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC
Revert "Remake perf files without {Slow,VerySlow}"
Tip revision: 1787ab4
.mailmap 
## This file allows joining different accounts of a single person.
## Cf for instance: git shortlog -nse. More details via: man git shortlog

# having the same name <email> name <email> on a line will fix capitalization
Adam Chlipala <adamc@csail.mit.edu>                        Adam Chlipala <adamc@csail.mit.edu>
Adam Chlipala <adamc@csail.mit.edu>                        Adam Chlipala <adam@chlipala.net>
Andres Erbsen <andreser@mit.edu>                           Andres Erbsen <andreser@mit.edu>
Andres Erbsen <andreser@mit.edu>                           Andres Erbsen <andres@krutt.org>
Andres Erbsen <andreser@mit.edu>                           Andres Erbsen <andreser@google.com>
Jade Philipoom <jadep@mit.edu>                             Jade Philipoom <jadep@mit.edu>
Jade Philipoom <jadep@mit.edu>                             jadephilipoom <jade.philipoom@gmail.com>
Jade Philipoom <jadep@mit.edu>                             jadep <jade.philipoom@gmail.com>
Jade Philipoom <jadep@mit.edu>                             jadep <jadep@mit.edu>
Jade Philipoom <jadep@mit.edu>                             Jade Philipoom <jadep@google.com>
Jason Gross <jgross@mit.edu>                               Jason Gross <jagro@google.com>
Jason Gross <jgross@mit.edu>                               Jason Gross <jasongross9@gmail.com>
Jason Gross <jgross@mit.edu>                               Jason Gross <jgross@mit.edu>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <rsloan@sumologic.com>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@dhcp-18-189-26-21.dyn.MIT.EDU>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@gmail.com>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@Roberts-MacBook.local>
Robert Sloan <varomodt@gmail.com>                          Rob Sloan <varomodt@gmail.com>
Robert Sloan <varomodt@gmail.com>                          varomodt <varomodt@localhost.localdomain>
Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@google.com>
Robert Sloan <varomodt@gmail.com>                          Rob Sloan <varomodt@google.com>
back to top