Skip to content

Commit cd13ffe

Browse files
jlacomisjlacomis
committed
Update emails and copyright info in headers
1 parent b4de21d commit cd13ffe

37 files changed

+300
-171
lines changed

‎src/asmrep.ml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
77
* Eric Schulte <eschulte@cs.unm.edu>
88
* Jeremy Lacomis <jlacomis@cmu.edu>
99
* All rights reserved.
10-
*
10+
*
1111
* Redistribution and use in source and binary forms, with or without
1212
* modification, are permitted provided that the following conditions are
1313
* met:

‎src/cdiff.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/cdiffmain.ml‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,42 @@
1+
(*
2+
*
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
9+
* All rights reserved.
10+
*
11+
* Redistribution and use in source and binary forms, with or without
12+
* modification, are permitted provided that the following conditions are
13+
* met:
14+
*
15+
* 1. Redistributions of source code must retain the above copyright
16+
* notice, this list of conditions and the following disclaimer.
17+
*
18+
* 2. Redistributions in binary form must reproduce the above copyright
19+
* notice, this list of conditions and the following disclaimer in the
20+
* documentation and/or other materials provided with the distribution.
21+
*
22+
* 3. The names of the contributors may not be used to endorse or promote
23+
* products derived from this software without specific prior written
24+
* permission.
25+
*
26+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
27+
* IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
28+
* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
29+
* PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
30+
* OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
31+
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
32+
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
33+
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
34+
* LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
35+
* NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
36+
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
37+
*
38+
*)
39+
140
(*
241
* Structural Diff on C Programs
342
*

‎src/cgrep.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/cilprinter.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/cilrep.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/diffprocessor.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/distglobal.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/distserver.ml‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
7+
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
79
* All rights reserved.
8-
*
10+
*
911
* Redistribution and use in source and binary forms, with or without
1012
* modification, are permitted provided that the following conditions are
1113
* met:

‎src/edit.ml‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,13 @@
11
(*
22
*
3-
* Copyright (c) 2012-2017,
4-
* Wes Weimer <weimer@cs.virginia.edu>
5-
* Stephanie Forrest <forrest@cs.unm.edu>
6-
* Claire Le Goues <legoues@cs.cmu.edu>
3+
* Copyright (c) 2012-2018,
4+
* Wes Weimer <weimerw@umich.edu>
5+
* Stephanie Forrest <steph@asu.edu>
6+
* Claire Le Goues <clegoues@cs.cmu.edu>
77
* Eric Schulte <eschulte@cs.unm.edu>
8+
* Jeremy Lacomis <jlacomis@cmu.edu>
89
* All rights reserved.
9-
*
10+
*
1011
* Redistribution and use in source and binary forms, with or without
1112
* modification, are permitted provided that the following conditions are
1213
* met:

0 commit comments

Comments
 (0)