forked from cvc5/cvc5
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.mailmap
25 lines (25 loc) · 1.48 KB
/
.mailmap
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
Andrew Reynolds <[email protected]> <[email protected]>
Andrew Reynolds <[email protected]> <[email protected]>
Andrew Reynolds <[email protected]> <[email protected]>
Andrew Reynolds <[email protected]> <[email protected]>
Cesare Tinelli <[email protected]> <[email protected]>
Christopher L. Conway <[email protected]> <[email protected]>
Clark Barrett <[email protected]> <[email protected]>
Clark Barrett <[email protected]> <[email protected]>
Dejan Jovanovic <[email protected]> <[email protected]>
Dejan Jovanovic <[email protected]> <[email protected]>
Dejan Jovanovic <[email protected]> <[email protected]>
Francois Bobot <[email protected]> <[email protected]>
Guy Katz <[email protected]> <[email protected]>
Kshitij Bansal <[email protected]> <[email protected]>
Liana Hadarean <[email protected]> <[email protected]>
Liana Hadarean <[email protected]> <[email protected]>
Martin Brain <[email protected]> <>
Martin Brain <[email protected]> <[email protected]>
Morgan Deters <[email protected]> <[email protected]>
Morgan Deters <[email protected]> <[email protected]>
Morgan Deters <[email protected]> <[email protected]>
Tianyi Liang <[email protected]> <[email protected]>
Tim King <[email protected]> <[email protected]>
Tim King <[email protected]> <[email protected]>
Tim King <[email protected]> <[email protected]>