Skip to content

Commit 86b3e87

Browse files
tautschnigtautschnig
authored
Merge pull request diffblue#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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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

+1-1
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"

‎src/java_bytecode/ci_lazy_methods.h

+1-1
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

‎src/java_bytecode/generic_parameter_specialization_map_keys.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
/// Author: DiffBlue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
22

33
#include "generic_parameter_specialization_map_keys.h"
44

‎src/java_bytecode/generic_parameter_specialization_map_keys.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
/// Author: DiffBlue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
22

33
#ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
44
#define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H

‎src/java_bytecode/java_pointer_casts.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: JAVA Pointer Casts
44
5-
Author: DiffBlue
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎src/java_bytecode/select_pointer_type.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode Language Conversion
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎src/java_bytecode/select_pointer_type.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode Language Conversion
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H

‎src/util/expr_iterator.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: exprt iterator module
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎src/util/journalling_symbol_table.h

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
1-
2-
// Copyright 2016-2018 DiffBlue Limited. All Rights Reserved.
1+
/// Author: Diffblue Ltd.
32

43
/// \file
54
/// A symbol table writer that records which entries have been updated

‎src/util/optional.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
Module: typedef for optional class template. To be replaced with
44
std::optional once C++17 support is enabled
55
6-
Author: Diffblue Limited. All rights reserved.
6+
Author: Diffblue Ltd.
77
88
\*******************************************************************/
99

‎src/util/symbol_table.cpp

+1-1
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
#include "symbol_table.h"
44

‎src/util/symbol_table.h

+1-1
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
/// Symbol table

‎src/util/symbol_table_base.cpp

+1-1
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
#include "symbol_table_base.h"
44

‎src/util/symbol_table_base.h

+1-1
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
/// Symbol table base class interface

‎unit/analyses/ai/ai_simplify_lhs.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for ai_domain_baset::ai_simplify_lhs
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/analyses/does_remove_const/does_expr_lose_const.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Does Remove Const Unit Tests
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/analyses/does_remove_const/does_remove_const_util.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Does Remove Const Unit Tests
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Does Remove Const Unit Tests
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Does Remove Const Unit Tests
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/catch_example.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Example Catch Tests
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/goto-programs/class_hierarchy_graph.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for class_hierarchy_grapht
44
5-
Author: Diffblue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/goto-programs/class_hierarchy_output.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for class_hierarchyt output functions
44
5-
Author: Diffblue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/goto-programs/goto_program_generics/generic_bases_test.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for instantiating generic superclasses and interfaces.
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#include <testing-utils/catch.hpp>

‎unit/goto-programs/goto_program_generics/generic_parameters_test.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for instantiating generic classes.
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#include <testing-utils/catch.hpp>

‎unit/goto-programs/goto_trace_output.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for goto_trace_stept::output
44
5-
Author: Diffblue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/expr2java.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for expr-to-java string conversion
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for inherited static fields
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for converting abstract classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for parsing generic classes
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
with unsupported signatures, falling back to using the raw type
55
descriptors
66
7-
Author: DiffBlue Limited. All rights reserved.
7+
Author: Diffblue Ltd.
88
99
\*******************************************************************/
1010

0 commit comments

Comments
 (0)