Skip to content

Commit 86b3e87

Browse files
authored
Merge pull request #1919 from mgudemann/enhancement/fix_diffblue_author
Enhancement/fix diffblue author
2 parents e6e5134 + e2ca928 commit 86b3e87

File tree

87 files changed

+87
-88
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

87 files changed

+87
-88
lines changed

src/analyses/does_remove_const.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Analyses
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

src/analyses/does_remove_const.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Analyses
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
/// \file

src/ansi-c/c_nondet_symbol_factory.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: C Nondet Symbol Factory
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

src/ansi-c/c_nondet_symbol_factory.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: C Nondet Symbol Factory
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

src/goto-programs/lazy_goto_functions_map.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
22

33
/// \file
44
/// A lazy wrapper for goto_functionst.

src/goto-programs/lazy_goto_model.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
22

33
/// \file
44
/// Model for lazy loading of functions

src/goto-programs/lazy_goto_model.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
22

33
/// \file
44
/// Model for lazy loading of functions

src/goto-programs/resolve_inherited_component.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: GOTO Program Utilities
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

src/goto-programs/resolve_inherited_component.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: GOTO Program Utilities
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

src/java_bytecode/ci_lazy_methods.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#include "ci_lazy_methods.h"

0 commit comments

Comments
 (0)