Replace copyright notice with author entry

Matthias Güdemann · Matthias Güdemann · commit d430ddc88744 · 2018-03-09T16:02:09.000+01:00
diff --git a/src/goto-programs/lazy_goto_functions_map.h b/src/goto-programs/lazy_goto_functions_map.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// A lazy wrapper for goto_functionst.
diff --git a/src/goto-programs/lazy_goto_model.cpp b/src/goto-programs/lazy_goto_model.cpp
@@ -1,4 +1,4 @@
-// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// Model for lazy loading of functions
diff --git a/src/goto-programs/lazy_goto_model.h b/src/goto-programs/lazy_goto_model.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// Model for lazy loading of functions
diff --git a/src/util/journalling_symbol_table.h b/src/util/journalling_symbol_table.h
@@ -1,5 +1,4 @@
-
-// Copyright 2016-2018 DiffBlue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// A symbol table writer that records which entries have been updated
diff --git a/src/util/symbol_table.cpp b/src/util/symbol_table.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 #include "symbol_table.h"
 
diff --git a/src/util/symbol_table.h b/src/util/symbol_table.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// Symbol table
diff --git a/src/util/symbol_table_base.cpp b/src/util/symbol_table_base.cpp
@@ -1,4 +1,4 @@
-// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 #include "symbol_table_base.h"
 
diff --git a/src/util/symbol_table_base.h b/src/util/symbol_table_base.h
@@ -1,4 +1,4 @@
-// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file
 /// Symbol table base class interface
diff --git a/unit/sharing_node.cpp b/unit/sharing_node.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file Tests for sharing-node utility
 
diff --git a/unit/util/expr_iterator.cpp b/unit/util/expr_iterator.cpp
@@ -1,4 +1,4 @@
-// Copyright 2018 DiffBlue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file Tests for depth_iteratort and friends
 
diff --git a/unit/util/symbol_table.cpp b/unit/util/symbol_table.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 /// \file Tests for symbol_tablet
 
diff --git a/unit/wp.cpp b/unit/wp.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+/// Author: Diffblue Ltd.
 
 #include <iostream>
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.`
	`1`	`+/// Author: Diffblue Ltd.`
`2`	`2`
`3`	`3`	`/// \file`
`4`	`4`	`/// A lazy wrapper for goto_functionst.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.`
	`1`	`+/// Author: Diffblue Ltd.`
`2`	`2`
`3`	`3`	`/// \file`
`4`	`4`	`/// Model for lazy loading of functions`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.`
	`1`	`+/// Author: Diffblue Ltd.`
`2`	`2`
`3`	`3`	`/// \file Tests for sharing-node utility`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2018 DiffBlue Limited. All Rights Reserved.`
	`1`	`+/// Author: Diffblue Ltd.`
`2`	`2`
`3`	`3`	`/// \file Tests for depth_iteratort and friends`
`4`	`4`