From 631acab5f0979b2a2dc95c95550bd54a35e9e81c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Fri, 9 Mar 2018 15:13:03 +0100 Subject: [PATCH 1/3] Fix Diffblue author entries --- src/analyses/does_remove_const.cpp | 2 +- src/analyses/does_remove_const.h | 2 +- src/ansi-c/c_nondet_symbol_factory.cpp | 2 +- src/ansi-c/c_nondet_symbol_factory.h | 2 +- src/goto-programs/resolve_inherited_component.cpp | 2 +- src/goto-programs/resolve_inherited_component.h | 2 +- src/java_bytecode/ci_lazy_methods.cpp | 2 +- src/java_bytecode/ci_lazy_methods.h | 2 +- src/java_bytecode/generic_parameter_specialization_map_keys.cpp | 2 +- src/java_bytecode/generic_parameter_specialization_map_keys.h | 2 +- src/java_bytecode/java_pointer_casts.h | 2 +- src/java_bytecode/select_pointer_type.cpp | 2 +- src/java_bytecode/select_pointer_type.h | 2 +- src/util/expr_iterator.h | 2 +- src/util/optional.h | 2 +- unit/analyses/ai/ai_simplify_lhs.cpp | 2 +- unit/analyses/does_remove_const/does_expr_lose_const.cpp | 2 +- unit/analyses/does_remove_const/does_remove_const_util.h | 2 +- .../does_remove_const/does_type_preserve_const_correctness.cpp | 2 +- .../analyses/does_remove_const/is_type_at_least_as_const_as.cpp | 2 +- unit/catch_example.cpp | 2 +- unit/goto-programs/class_hierarchy_graph.cpp | 2 +- unit/goto-programs/class_hierarchy_output.cpp | 2 +- unit/goto-programs/goto_program_generics/generic_bases_test.cpp | 2 +- .../goto_program_generics/generic_parameters_test.cpp | 2 +- unit/goto-programs/goto_trace_output.cpp | 2 +- unit/java_bytecode/expr2java.cpp | 2 +- .../inherited_static_fields/inherited_static_fields.cpp | 2 +- .../java_bytecode_convert_class/convert_abstract_class.cpp | 2 +- .../parse_bounded_generic_inner_classes.cpp | 2 +- .../parse_derived_generic_class.cpp | 2 +- .../parse_functions_with_generics.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_array_class.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_class.cpp | 2 +- .../parse_generic_class_with_generic_inner_classes.cpp | 2 +- .../parse_generic_class_with_inner_classes.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_fields.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_functions.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_superclasses.cpp | 2 +- .../parse_generic_wildcard_function.cpp | 2 +- .../java_bytecode_parse_generics/parse_nested_generics.cpp | 2 +- .../parse_recursive_generic_class.cpp | 2 +- .../parse_signature_descriptor_mismatch.cpp | 2 +- .../java_bytecode_parse_lambda_method_table.cpp | 2 +- .../java_object_factory/gen_nondet_string_init.cpp | 2 +- .../convert_exprt_to_string_exprt.cpp | 2 +- unit/java_bytecode/java_types/erase_type_arguments.cpp | 2 +- unit/java_bytecode/java_utils_test.cpp | 2 +- unit/java_bytecode/java_virtual_functions/virtual_functions.cpp | 2 +- unit/miniBDD_new.cpp | 2 +- .../calculate_max_string_length.cpp | 2 +- .../get_numeric_value_from_character.cpp | 2 +- .../string_constraint_generator_valueof/is_digit_with_radix.cpp | 2 +- unit/solvers/refinement/string_refinement/concretize_array.cpp | 2 +- unit/solvers/refinement/string_refinement/has_subtype.cpp | 2 +- unit/solvers/refinement/string_refinement/sparse_array.cpp | 2 +- .../refinement/string_refinement/string_symbol_resolution.cpp | 2 +- .../refinement/string_refinement/substitute_array_list.cpp | 2 +- .../solvers/refinement/string_refinement/union_find_replace.cpp | 2 +- unit/testing-utils/c_to_expr.cpp | 2 +- unit/testing-utils/c_to_expr.h | 2 +- unit/testing-utils/load_java_class.cpp | 2 +- unit/testing-utils/load_java_class.h | 2 +- unit/testing-utils/require_expr.cpp | 2 +- unit/testing-utils/require_expr.h | 2 +- unit/testing-utils/require_goto_statements.cpp | 2 +- unit/testing-utils/require_goto_statements.h | 2 +- unit/testing-utils/require_parse_tree.cpp | 2 +- unit/testing-utils/require_parse_tree.h | 2 +- unit/testing-utils/require_type.cpp | 2 +- unit/testing-utils/require_type.h | 2 +- unit/unit_tests.cpp | 2 +- unit/util/message.cpp | 2 +- unit/util/optional.cpp | 2 +- unit/util/parameter_indices.cpp | 2 +- 75 files changed, 75 insertions(+), 75 deletions(-) diff --git a/src/analyses/does_remove_const.cpp b/src/analyses/does_remove_const.cpp index 98ebd1315a5..d87046ae50e 100644 --- a/src/analyses/does_remove_const.cpp +++ b/src/analyses/does_remove_const.cpp @@ -2,7 +2,7 @@ Module: Analyses - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/analyses/does_remove_const.h b/src/analyses/does_remove_const.h index ca602eb4a39..4effd2b0325 100644 --- a/src/analyses/does_remove_const.h +++ b/src/analyses/does_remove_const.h @@ -2,7 +2,7 @@ Module: Analyses - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ /// \file diff --git a/src/ansi-c/c_nondet_symbol_factory.cpp b/src/ansi-c/c_nondet_symbol_factory.cpp index 7bb51962cd8..f48b2ac2485 100644 --- a/src/ansi-c/c_nondet_symbol_factory.cpp +++ b/src/ansi-c/c_nondet_symbol_factory.cpp @@ -2,7 +2,7 @@ Module: C Nondet Symbol Factory -Author: DiffBlue Limited. All rights reserved. +Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/ansi-c/c_nondet_symbol_factory.h b/src/ansi-c/c_nondet_symbol_factory.h index 8d375663e73..2c4849b70ce 100644 --- a/src/ansi-c/c_nondet_symbol_factory.h +++ b/src/ansi-c/c_nondet_symbol_factory.h @@ -2,7 +2,7 @@ Module: C Nondet Symbol Factory -Author: DiffBlue Limited. All rights reserved. +Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/goto-programs/resolve_inherited_component.cpp b/src/goto-programs/resolve_inherited_component.cpp index 458bc5ffcdd..3e24e2f9a83 100644 --- a/src/goto-programs/resolve_inherited_component.cpp +++ b/src/goto-programs/resolve_inherited_component.cpp @@ -2,7 +2,7 @@ Module: GOTO Program Utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/goto-programs/resolve_inherited_component.h b/src/goto-programs/resolve_inherited_component.h index a6ac3b1eca0..7e44d378824 100644 --- a/src/goto-programs/resolve_inherited_component.h +++ b/src/goto-programs/resolve_inherited_component.h @@ -2,7 +2,7 @@ Module: GOTO Program Utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/ci_lazy_methods.cpp b/src/java_bytecode/ci_lazy_methods.cpp index b6619eac33a..e0a205f3298 100644 --- a/src/java_bytecode/ci_lazy_methods.cpp +++ b/src/java_bytecode/ci_lazy_methods.cpp @@ -2,7 +2,7 @@ Module: Java Bytecode - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ #include "ci_lazy_methods.h" diff --git a/src/java_bytecode/ci_lazy_methods.h b/src/java_bytecode/ci_lazy_methods.h index 56639681d86..b05470d57eb 100644 --- a/src/java_bytecode/ci_lazy_methods.h +++ b/src/java_bytecode/ci_lazy_methods.h @@ -2,7 +2,7 @@ Module: Java Bytecode - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/generic_parameter_specialization_map_keys.cpp b/src/java_bytecode/generic_parameter_specialization_map_keys.cpp index 1c6da2d43dc..23d97d4f48f 100644 --- a/src/java_bytecode/generic_parameter_specialization_map_keys.cpp +++ b/src/java_bytecode/generic_parameter_specialization_map_keys.cpp @@ -1,4 +1,4 @@ -/// Author: DiffBlue Limited. All Rights Reserved. +/// Author: DiffBlue Ltd. #include "generic_parameter_specialization_map_keys.h" diff --git a/src/java_bytecode/generic_parameter_specialization_map_keys.h b/src/java_bytecode/generic_parameter_specialization_map_keys.h index 74f3803f704..f701c8e42d2 100644 --- a/src/java_bytecode/generic_parameter_specialization_map_keys.h +++ b/src/java_bytecode/generic_parameter_specialization_map_keys.h @@ -1,4 +1,4 @@ -/// Author: DiffBlue Limited. All Rights Reserved. +/// Author: DiffBlue Ltd. #ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H #define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H diff --git a/src/java_bytecode/java_pointer_casts.h b/src/java_bytecode/java_pointer_casts.h index 80c4bb0a4f5..9b031a0ebe6 100644 --- a/src/java_bytecode/java_pointer_casts.h +++ b/src/java_bytecode/java_pointer_casts.h @@ -2,7 +2,7 @@ Module: JAVA Pointer Casts -Author: DiffBlue +Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/select_pointer_type.cpp b/src/java_bytecode/select_pointer_type.cpp index cd20dcbbb79..5858e54dc42 100644 --- a/src/java_bytecode/select_pointer_type.cpp +++ b/src/java_bytecode/select_pointer_type.cpp @@ -2,7 +2,7 @@ Module: Java Bytecode Language Conversion - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/select_pointer_type.h b/src/java_bytecode/select_pointer_type.h index 35d4bca2d79..972a14a32cb 100644 --- a/src/java_bytecode/select_pointer_type.h +++ b/src/java_bytecode/select_pointer_type.h @@ -2,7 +2,7 @@ Module: Java Bytecode Language Conversion - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ #ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h index c1ceb3fe07e..66ac35d5312 100644 --- a/src/util/expr_iterator.h +++ b/src/util/expr_iterator.h @@ -2,7 +2,7 @@ Module: exprt iterator module - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/src/util/optional.h b/src/util/optional.h index a649d8e5ce4..92bcac4baf2 100644 --- a/src/util/optional.h +++ b/src/util/optional.h @@ -3,7 +3,7 @@ Module: typedef for optional class template. To be replaced with std::optional once C++17 support is enabled - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/ai/ai_simplify_lhs.cpp b/unit/analyses/ai/ai_simplify_lhs.cpp index c8ea9dae2d2..0b55792b5e3 100644 --- a/unit/analyses/ai/ai_simplify_lhs.cpp +++ b/unit/analyses/ai/ai_simplify_lhs.cpp @@ -2,7 +2,7 @@ Module: Unit tests for ai_domain_baset::ai_simplify_lhs - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_expr_lose_const.cpp b/unit/analyses/does_remove_const/does_expr_lose_const.cpp index 628af124bc2..77b0537c308 100644 --- a/unit/analyses/does_remove_const/does_expr_lose_const.cpp +++ b/unit/analyses/does_remove_const/does_expr_lose_const.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_remove_const_util.h b/unit/analyses/does_remove_const/does_remove_const_util.h index e1a459b6c1b..7a7d57e6811 100644 --- a/unit/analyses/does_remove_const/does_remove_const_util.h +++ b/unit/analyses/does_remove_const/does_remove_const_util.h @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp b/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp index ccfe0a56647..421340e2c9f 100644 --- a/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp +++ b/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp b/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp index 625c8df1121..328930d51d3 100644 --- a/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp +++ b/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/catch_example.cpp b/unit/catch_example.cpp index 31cb9f605a5..4b074f96ce9 100644 --- a/unit/catch_example.cpp +++ b/unit/catch_example.cpp @@ -2,7 +2,7 @@ Module: Example Catch Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/goto-programs/class_hierarchy_graph.cpp b/unit/goto-programs/class_hierarchy_graph.cpp index e2caef0bad9..db3f06699db 100644 --- a/unit/goto-programs/class_hierarchy_graph.cpp +++ b/unit/goto-programs/class_hierarchy_graph.cpp @@ -2,7 +2,7 @@ Module: Unit tests for class_hierarchy_grapht - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/goto-programs/class_hierarchy_output.cpp b/unit/goto-programs/class_hierarchy_output.cpp index bdde2d2ab06..3cd6c751a14 100644 --- a/unit/goto-programs/class_hierarchy_output.cpp +++ b/unit/goto-programs/class_hierarchy_output.cpp @@ -2,7 +2,7 @@ Module: Unit tests for class_hierarchyt output functions - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/goto-programs/goto_program_generics/generic_bases_test.cpp b/unit/goto-programs/goto_program_generics/generic_bases_test.cpp index 4e7a1085c40..f5f017e7aab 100644 --- a/unit/goto-programs/goto_program_generics/generic_bases_test.cpp +++ b/unit/goto-programs/goto_program_generics/generic_bases_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for instantiating generic superclasses and interfaces. - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ #include diff --git a/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp b/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp index 8bd0a407ebe..4317a0e6e99 100644 --- a/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp +++ b/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for instantiating generic classes. - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ #include diff --git a/unit/goto-programs/goto_trace_output.cpp b/unit/goto-programs/goto_trace_output.cpp index 30eefe549a2..af6b88438ca 100644 --- a/unit/goto-programs/goto_trace_output.cpp +++ b/unit/goto-programs/goto_trace_output.cpp @@ -2,7 +2,7 @@ Module: Unit tests for goto_trace_stept::output - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/expr2java.cpp b/unit/java_bytecode/expr2java.cpp index eede0bf0a51..886cba24e8d 100644 --- a/unit/java_bytecode/expr2java.cpp +++ b/unit/java_bytecode/expr2java.cpp @@ -2,7 +2,7 @@ Module: Unit tests for expr-to-java string conversion - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp b/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp index 079cc3fa343..a64952a1fdb 100644 --- a/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp +++ b/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp @@ -2,7 +2,7 @@ Module: Unit tests for inherited static fields - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp b/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp index bab86c5a011..ac0c4c5960a 100644 --- a/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp +++ b/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for converting abstract classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp index 40891998771..8e78f4c85b4 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp index 5071daac3d3..a328918560b 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp index aeaf670150e..8704e345287 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp index 7b375625c07..437e9b82368 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp index 6738d87ccfa..ee1640bec82 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp index da1d0303e54..0a8fc86b124 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp index d74d4f2ba44..9f334c6b797 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp index c0df0bfab17..a9ae85d78e2 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp index 456f839d869..b5a5e0901b7 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp index dd89cae6aad..fa82ad12be5 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp @@ -4,7 +4,7 @@ with unsupported signatures, falling back to using the raw type descriptors - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp index bf4c0a66578..546ec1b593e 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp index 779569c0928..fd6c9f59f1b 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp index a9e888bb800..caef71a3f00 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp index ee2bbf373ee..3c390d88828 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp b/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp index ea132076074..e1105071f91 100644 --- a/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp +++ b/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp b/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp index 6ae8472ff44..0b3ccc3c322 100644 --- a/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp +++ b/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp @@ -3,7 +3,7 @@ Module: Java string library preprocess. Test for converting an expression to a string expression. - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp b/unit/java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp index 7970c2af11f..c24a94b1f50 100644 --- a/unit/java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp +++ b/unit/java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp @@ -3,7 +3,7 @@ Module: Java string library preprocess. Test for converting an expression to a string expression. - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_types/erase_type_arguments.cpp b/unit/java_bytecode/java_types/erase_type_arguments.cpp index 4fd181eda3c..026ea45ab15 100644 --- a/unit/java_bytecode/java_types/erase_type_arguments.cpp +++ b/unit/java_bytecode/java_types/erase_type_arguments.cpp @@ -2,7 +2,7 @@ Module: Unit tests for java_types - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_utils_test.cpp b/unit/java_bytecode/java_utils_test.cpp index e2faf4ff920..b66fea87f40 100644 --- a/unit/java_bytecode/java_utils_test.cpp +++ b/unit/java_bytecode/java_utils_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. Note: Created by fotis on 09/10/2017. diff --git a/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp b/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp index f093ec81d57..0a07e21d163 100644 --- a/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp +++ b/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp @@ -2,7 +2,7 @@ Module: Unit tests for java_types - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp index 14ae84e668e..e36e27c6276 100644 --- a/unit/miniBDD_new.cpp +++ b/unit/miniBDD_new.cpp @@ -2,7 +2,7 @@ Module: Unit tests for miniBDD - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp index d35064ac1aa..91fa68bc878 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp @@ -3,7 +3,7 @@ Module: Unit tests for calculate_max_string_length in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp index 0b3fbcebdf0..3a9f0925ac9 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp @@ -3,7 +3,7 @@ Module: Unit tests for get_numeric_value_from_character in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp index 350f59bdc56..2fe69847aed 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp @@ -3,7 +3,7 @@ Module: Unit tests for is_digit_with_radix in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/concretize_array.cpp b/unit/solvers/refinement/string_refinement/concretize_array.cpp index 834a97067e7..43eea614f34 100644 --- a/unit/solvers/refinement/string_refinement/concretize_array.cpp +++ b/unit/solvers/refinement/string_refinement/concretize_array.cpp @@ -3,7 +3,7 @@ Module: Unit tests for concretize_array_expression in solvers/refinement/string_refinement.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/has_subtype.cpp b/unit/solvers/refinement/string_refinement/has_subtype.cpp index 6b0e419e8d2..23d2a7adbf2 100644 --- a/unit/solvers/refinement/string_refinement/has_subtype.cpp +++ b/unit/solvers/refinement/string_refinement/has_subtype.cpp @@ -3,7 +3,7 @@ Module: Unit tests for has_subtype in solvers/refinement/string_refinement.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/sparse_array.cpp b/unit/solvers/refinement/string_refinement/sparse_array.cpp index ccd9a8e4482..7a0d14426ad 100644 --- a/unit/solvers/refinement/string_refinement/sparse_array.cpp +++ b/unit/solvers/refinement/string_refinement/sparse_array.cpp @@ -3,7 +3,7 @@ Module: Unit tests for sparse arrays solvers/refinement/string_refinement.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp b/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp index 076b2a5bbf2..848ae23346d 100644 --- a/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp +++ b/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp @@ -3,7 +3,7 @@ Module: Unit tests for string_identifiers_resolution_from_equations in solvers/refinement/string_refinement.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp index 227df773d74..176bd6b52f4 100644 --- a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp +++ b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp @@ -3,7 +3,7 @@ Module: Unit tests for get_numeric_value_from_character in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/union_find_replace.cpp b/unit/solvers/refinement/string_refinement/union_find_replace.cpp index 92d700bb6ae..ac2651332e9 100644 --- a/unit/solvers/refinement/string_refinement/union_find_replace.cpp +++ b/unit/solvers/refinement/string_refinement/union_find_replace.cpp @@ -3,7 +3,7 @@ Module: Unit tests for union_find_replacet in solvers/refinement/string_refinement.cpp - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/c_to_expr.cpp b/unit/testing-utils/c_to_expr.cpp index a8880ac2283..df57e0216b8 100644 --- a/unit/testing-utils/c_to_expr.cpp +++ b/unit/testing-utils/c_to_expr.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/c_to_expr.h b/unit/testing-utils/c_to_expr.h index be4d83bcf92..c17c6be3101 100644 --- a/unit/testing-utils/c_to_expr.h +++ b/unit/testing-utils/c_to_expr.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/load_java_class.cpp b/unit/testing-utils/load_java_class.cpp index 5440bd9d79b..9589a398e60 100644 --- a/unit/testing-utils/load_java_class.cpp +++ b/unit/testing-utils/load_java_class.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/load_java_class.h b/unit/testing-utils/load_java_class.h index c9fd887d2c5..0639f96c1b0 100644 --- a/unit/testing-utils/load_java_class.h +++ b/unit/testing-utils/load_java_class.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_expr.cpp b/unit/testing-utils/require_expr.cpp index efff117b6b4..300ceb4879b 100644 --- a/unit/testing-utils/require_expr.cpp +++ b/unit/testing-utils/require_expr.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_expr.h b/unit/testing-utils/require_expr.h index 0516c629411..9401fb55d41 100644 --- a/unit/testing-utils/require_expr.h +++ b/unit/testing-utils/require_expr.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_goto_statements.cpp b/unit/testing-utils/require_goto_statements.cpp index b4deb68b936..0d8e5c1b5c5 100644 --- a/unit/testing-utils/require_goto_statements.cpp +++ b/unit/testing-utils/require_goto_statements.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_goto_statements.h b/unit/testing-utils/require_goto_statements.h index 95b368a1092..8aff49468f2 100644 --- a/unit/testing-utils/require_goto_statements.h +++ b/unit/testing-utils/require_goto_statements.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_parse_tree.cpp b/unit/testing-utils/require_parse_tree.cpp index 70922d4b55a..a8850dea4c4 100644 --- a/unit/testing-utils/require_parse_tree.cpp +++ b/unit/testing-utils/require_parse_tree.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_parse_tree.h b/unit/testing-utils/require_parse_tree.h index 35b3ab195d2..e92421104dd 100644 --- a/unit/testing-utils/require_parse_tree.h +++ b/unit/testing-utils/require_parse_tree.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_type.cpp b/unit/testing-utils/require_type.cpp index b849402483f..0af34b1c3ef 100644 --- a/unit/testing-utils/require_type.cpp +++ b/unit/testing-utils/require_type.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_type.h b/unit/testing-utils/require_type.h index d49c02743a1..8cdef482526 100644 --- a/unit/testing-utils/require_type.h +++ b/unit/testing-utils/require_type.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/unit_tests.cpp b/unit/unit_tests.cpp index 0f4109d2f69..a6fa49b8ba2 100644 --- a/unit/unit_tests.cpp +++ b/unit/unit_tests.cpp @@ -2,7 +2,7 @@ Module: Catch Tests - Author: DiffBlue Limited. All rights reserved. + Author: DiffBlue Ltd. \*******************************************************************/ diff --git a/unit/util/message.cpp b/unit/util/message.cpp index de4e6a6c1e4..fbad41a61f2 100644 --- a/unit/util/message.cpp +++ b/unit/util/message.cpp @@ -2,7 +2,7 @@ Module: Messaget tests - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/util/optional.cpp b/unit/util/optional.cpp index ddad13707bc..5ea32bfd216 100644 --- a/unit/util/optional.cpp +++ b/unit/util/optional.cpp @@ -2,7 +2,7 @@ Module: nonstd::optional unit tests - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/util/parameter_indices.cpp b/unit/util/parameter_indices.cpp index a59a6d33e69..b2230a66dd7 100644 --- a/unit/util/parameter_indices.cpp +++ b/unit/util/parameter_indices.cpp @@ -2,7 +2,7 @@ Module: Parameter indices test - Author: Diffblue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ From d430ddc8874402deae221b3b708ac06905c74d55 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Fri, 9 Mar 2018 15:14:48 +0100 Subject: [PATCH 2/3] Replace copyright notice with author entry --- src/goto-programs/lazy_goto_functions_map.h | 2 +- src/goto-programs/lazy_goto_model.cpp | 2 +- src/goto-programs/lazy_goto_model.h | 2 +- src/util/journalling_symbol_table.h | 3 +-- src/util/symbol_table.cpp | 2 +- src/util/symbol_table.h | 2 +- src/util/symbol_table_base.cpp | 2 +- src/util/symbol_table_base.h | 2 +- unit/sharing_node.cpp | 2 +- unit/util/expr_iterator.cpp | 2 +- unit/util/symbol_table.cpp | 2 +- unit/wp.cpp | 2 +- 12 files changed, 12 insertions(+), 13 deletions(-) diff --git a/src/goto-programs/lazy_goto_functions_map.h b/src/goto-programs/lazy_goto_functions_map.h index 70d4bc0b3f5..ffdb878916a 100644 --- 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 index e9b55fbe146..da019025f5a 100644 --- 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 index f258473765e..15e9904f96d 100644 --- 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 index 7d0b495b782..a60805e9da9 100644 --- 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 index 1451d7aa810..6557feb5c14 100644 --- 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 index 80ae70192cc..fa2d3076da3 100644 --- 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 index d65471a92c9..f0433d89619 100644 --- 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 index b569da96c5a..76bab9a12bb 100644 --- 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 index a4304a27aad..04f440673a6 100644 --- 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 index ab3af5f70b8..8c444c3ee2f 100644 --- 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 index b81e47a219b..3c063d0e193 100644 --- 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 index b8656120347..3af7a66d1ce 100644 --- a/unit/wp.cpp +++ b/unit/wp.cpp @@ -1,4 +1,4 @@ -// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved. +/// Author: Diffblue Ltd. #include From e2ca9283bef885086b95f4c83e15ec8449ca3fc1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Fri, 9 Mar 2018 15:38:13 +0100 Subject: [PATCH 3/3] DiffBlue -> Diffblue --- src/analyses/does_remove_const.cpp | 2 +- src/analyses/does_remove_const.h | 2 +- src/ansi-c/c_nondet_symbol_factory.cpp | 2 +- src/ansi-c/c_nondet_symbol_factory.h | 2 +- src/goto-programs/resolve_inherited_component.cpp | 2 +- src/goto-programs/resolve_inherited_component.h | 2 +- src/java_bytecode/ci_lazy_methods.cpp | 2 +- src/java_bytecode/ci_lazy_methods.h | 2 +- src/java_bytecode/generic_parameter_specialization_map_keys.cpp | 2 +- src/java_bytecode/generic_parameter_specialization_map_keys.h | 2 +- src/java_bytecode/java_pointer_casts.h | 2 +- src/java_bytecode/select_pointer_type.cpp | 2 +- src/java_bytecode/select_pointer_type.h | 2 +- src/util/expr_iterator.h | 2 +- unit/analyses/ai/ai_simplify_lhs.cpp | 2 +- unit/analyses/does_remove_const/does_expr_lose_const.cpp | 2 +- unit/analyses/does_remove_const/does_remove_const_util.h | 2 +- .../does_remove_const/does_type_preserve_const_correctness.cpp | 2 +- .../analyses/does_remove_const/is_type_at_least_as_const_as.cpp | 2 +- unit/catch_example.cpp | 2 +- unit/goto-programs/goto_program_generics/generic_bases_test.cpp | 2 +- .../goto_program_generics/generic_parameters_test.cpp | 2 +- unit/java_bytecode/expr2java.cpp | 2 +- .../inherited_static_fields/inherited_static_fields.cpp | 2 +- .../java_bytecode_convert_class/convert_abstract_class.cpp | 2 +- .../parse_bounded_generic_inner_classes.cpp | 2 +- .../parse_derived_generic_class.cpp | 2 +- .../parse_functions_with_generics.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_array_class.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_class.cpp | 2 +- .../parse_generic_class_with_generic_inner_classes.cpp | 2 +- .../parse_generic_class_with_inner_classes.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_fields.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_functions.cpp | 2 +- .../java_bytecode_parse_generics/parse_generic_superclasses.cpp | 2 +- .../parse_generic_wildcard_function.cpp | 2 +- .../java_bytecode_parse_generics/parse_nested_generics.cpp | 2 +- .../parse_recursive_generic_class.cpp | 2 +- .../parse_signature_descriptor_mismatch.cpp | 2 +- .../java_bytecode_parse_lambda_method_table.cpp | 2 +- .../java_object_factory/gen_nondet_string_init.cpp | 2 +- unit/java_bytecode/java_types/erase_type_arguments.cpp | 2 +- unit/java_bytecode/java_utils_test.cpp | 2 +- unit/java_bytecode/java_virtual_functions/virtual_functions.cpp | 2 +- unit/miniBDD_new.cpp | 2 +- .../calculate_max_string_length.cpp | 2 +- .../get_numeric_value_from_character.cpp | 2 +- .../string_constraint_generator_valueof/is_digit_with_radix.cpp | 2 +- unit/solvers/refinement/string_refinement/concretize_array.cpp | 2 +- unit/solvers/refinement/string_refinement/has_subtype.cpp | 2 +- unit/solvers/refinement/string_refinement/sparse_array.cpp | 2 +- .../refinement/string_refinement/string_symbol_resolution.cpp | 2 +- .../refinement/string_refinement/substitute_array_list.cpp | 2 +- .../solvers/refinement/string_refinement/union_find_replace.cpp | 2 +- unit/testing-utils/c_to_expr.cpp | 2 +- unit/testing-utils/c_to_expr.h | 2 +- unit/testing-utils/load_java_class.cpp | 2 +- unit/testing-utils/load_java_class.h | 2 +- unit/testing-utils/require_expr.cpp | 2 +- unit/testing-utils/require_expr.h | 2 +- unit/testing-utils/require_goto_statements.cpp | 2 +- unit/testing-utils/require_goto_statements.h | 2 +- unit/testing-utils/require_parse_tree.cpp | 2 +- unit/testing-utils/require_parse_tree.h | 2 +- unit/testing-utils/require_type.cpp | 2 +- unit/testing-utils/require_type.h | 2 +- unit/unit_tests.cpp | 2 +- 67 files changed, 67 insertions(+), 67 deletions(-) diff --git a/src/analyses/does_remove_const.cpp b/src/analyses/does_remove_const.cpp index d87046ae50e..b012cef6167 100644 --- a/src/analyses/does_remove_const.cpp +++ b/src/analyses/does_remove_const.cpp @@ -2,7 +2,7 @@ Module: Analyses - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/analyses/does_remove_const.h b/src/analyses/does_remove_const.h index 4effd2b0325..5c54daec888 100644 --- a/src/analyses/does_remove_const.h +++ b/src/analyses/does_remove_const.h @@ -2,7 +2,7 @@ Module: Analyses - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ /// \file diff --git a/src/ansi-c/c_nondet_symbol_factory.cpp b/src/ansi-c/c_nondet_symbol_factory.cpp index f48b2ac2485..f772a0ea9b7 100644 --- a/src/ansi-c/c_nondet_symbol_factory.cpp +++ b/src/ansi-c/c_nondet_symbol_factory.cpp @@ -2,7 +2,7 @@ Module: C Nondet Symbol Factory -Author: DiffBlue Ltd. +Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/ansi-c/c_nondet_symbol_factory.h b/src/ansi-c/c_nondet_symbol_factory.h index 2c4849b70ce..c88dca3157a 100644 --- a/src/ansi-c/c_nondet_symbol_factory.h +++ b/src/ansi-c/c_nondet_symbol_factory.h @@ -2,7 +2,7 @@ Module: C Nondet Symbol Factory -Author: DiffBlue Ltd. +Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/goto-programs/resolve_inherited_component.cpp b/src/goto-programs/resolve_inherited_component.cpp index 3e24e2f9a83..e853bb22b80 100644 --- a/src/goto-programs/resolve_inherited_component.cpp +++ b/src/goto-programs/resolve_inherited_component.cpp @@ -2,7 +2,7 @@ Module: GOTO Program Utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/goto-programs/resolve_inherited_component.h b/src/goto-programs/resolve_inherited_component.h index 7e44d378824..ac29058a1d8 100644 --- a/src/goto-programs/resolve_inherited_component.h +++ b/src/goto-programs/resolve_inherited_component.h @@ -2,7 +2,7 @@ Module: GOTO Program Utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/ci_lazy_methods.cpp b/src/java_bytecode/ci_lazy_methods.cpp index e0a205f3298..aedbf364d28 100644 --- a/src/java_bytecode/ci_lazy_methods.cpp +++ b/src/java_bytecode/ci_lazy_methods.cpp @@ -2,7 +2,7 @@ Module: Java Bytecode - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ #include "ci_lazy_methods.h" diff --git a/src/java_bytecode/ci_lazy_methods.h b/src/java_bytecode/ci_lazy_methods.h index b05470d57eb..d69eb57f89b 100644 --- a/src/java_bytecode/ci_lazy_methods.h +++ b/src/java_bytecode/ci_lazy_methods.h @@ -2,7 +2,7 @@ Module: Java Bytecode - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/generic_parameter_specialization_map_keys.cpp b/src/java_bytecode/generic_parameter_specialization_map_keys.cpp index 23d97d4f48f..45f4b86c392 100644 --- a/src/java_bytecode/generic_parameter_specialization_map_keys.cpp +++ b/src/java_bytecode/generic_parameter_specialization_map_keys.cpp @@ -1,4 +1,4 @@ -/// Author: DiffBlue Ltd. +/// Author: Diffblue Ltd. #include "generic_parameter_specialization_map_keys.h" diff --git a/src/java_bytecode/generic_parameter_specialization_map_keys.h b/src/java_bytecode/generic_parameter_specialization_map_keys.h index f701c8e42d2..9a68dd73d87 100644 --- a/src/java_bytecode/generic_parameter_specialization_map_keys.h +++ b/src/java_bytecode/generic_parameter_specialization_map_keys.h @@ -1,4 +1,4 @@ -/// Author: DiffBlue Ltd. +/// Author: Diffblue Ltd. #ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H #define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H diff --git a/src/java_bytecode/java_pointer_casts.h b/src/java_bytecode/java_pointer_casts.h index 9b031a0ebe6..3a73637024b 100644 --- a/src/java_bytecode/java_pointer_casts.h +++ b/src/java_bytecode/java_pointer_casts.h @@ -2,7 +2,7 @@ Module: JAVA Pointer Casts -Author: DiffBlue Ltd. +Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/select_pointer_type.cpp b/src/java_bytecode/select_pointer_type.cpp index 5858e54dc42..cd0c99505e5 100644 --- a/src/java_bytecode/select_pointer_type.cpp +++ b/src/java_bytecode/select_pointer_type.cpp @@ -2,7 +2,7 @@ Module: Java Bytecode Language Conversion - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/select_pointer_type.h b/src/java_bytecode/select_pointer_type.h index 972a14a32cb..7fc8d111a03 100644 --- a/src/java_bytecode/select_pointer_type.h +++ b/src/java_bytecode/select_pointer_type.h @@ -2,7 +2,7 @@ Module: Java Bytecode Language Conversion - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ #ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h index 66ac35d5312..b72bd02b1c4 100644 --- a/src/util/expr_iterator.h +++ b/src/util/expr_iterator.h @@ -2,7 +2,7 @@ Module: exprt iterator module - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/ai/ai_simplify_lhs.cpp b/unit/analyses/ai/ai_simplify_lhs.cpp index 0b55792b5e3..72da63050ae 100644 --- a/unit/analyses/ai/ai_simplify_lhs.cpp +++ b/unit/analyses/ai/ai_simplify_lhs.cpp @@ -2,7 +2,7 @@ Module: Unit tests for ai_domain_baset::ai_simplify_lhs - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_expr_lose_const.cpp b/unit/analyses/does_remove_const/does_expr_lose_const.cpp index 77b0537c308..84e8e89ceb1 100644 --- a/unit/analyses/does_remove_const/does_expr_lose_const.cpp +++ b/unit/analyses/does_remove_const/does_expr_lose_const.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_remove_const_util.h b/unit/analyses/does_remove_const/does_remove_const_util.h index 7a7d57e6811..7379983a8c2 100644 --- a/unit/analyses/does_remove_const/does_remove_const_util.h +++ b/unit/analyses/does_remove_const/does_remove_const_util.h @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp b/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp index 421340e2c9f..ed4996a988e 100644 --- a/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp +++ b/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp b/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp index 328930d51d3..47d44bec2d4 100644 --- a/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp +++ b/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp @@ -2,7 +2,7 @@ Module: Does Remove Const Unit Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/catch_example.cpp b/unit/catch_example.cpp index 4b074f96ce9..f8cd903d7b7 100644 --- a/unit/catch_example.cpp +++ b/unit/catch_example.cpp @@ -2,7 +2,7 @@ Module: Example Catch Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/goto-programs/goto_program_generics/generic_bases_test.cpp b/unit/goto-programs/goto_program_generics/generic_bases_test.cpp index f5f017e7aab..dd0e0deacb0 100644 --- a/unit/goto-programs/goto_program_generics/generic_bases_test.cpp +++ b/unit/goto-programs/goto_program_generics/generic_bases_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for instantiating generic superclasses and interfaces. - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ #include diff --git a/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp b/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp index 4317a0e6e99..4f65efcef46 100644 --- a/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp +++ b/unit/goto-programs/goto_program_generics/generic_parameters_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for instantiating generic classes. - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ #include diff --git a/unit/java_bytecode/expr2java.cpp b/unit/java_bytecode/expr2java.cpp index 886cba24e8d..c3f6bb10f18 100644 --- a/unit/java_bytecode/expr2java.cpp +++ b/unit/java_bytecode/expr2java.cpp @@ -2,7 +2,7 @@ Module: Unit tests for expr-to-java string conversion - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp b/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp index a64952a1fdb..1341c158176 100644 --- a/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp +++ b/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp @@ -2,7 +2,7 @@ Module: Unit tests for inherited static fields - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp b/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp index ac0c4c5960a..9f6aec433d1 100644 --- a/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp +++ b/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for converting abstract classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp index 8e78f4c85b4..16036dbe05f 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp index a328918560b..000c630415f 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp index 8704e345287..777b0d78d3d 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp index 437e9b82368..126454ad71d 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp index ee1640bec82..5717ff29f3a 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp index 0a8fc86b124..5c70107e5e7 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp index 9f334c6b797..6196edfe33c 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp index a9ae85d78e2..149f46bcee2 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp index b5a5e0901b7..ed3d7554b9a 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp index fa82ad12be5..fc2c645e440 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp @@ -4,7 +4,7 @@ with unsupported signatures, falling back to using the raw type descriptors - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp index 546ec1b593e..cf49e8a9ba6 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp index fd6c9f59f1b..76eac25d9c7 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp index caef71a3f00..c4ae15fbb22 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp b/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp index 3c390d88828..38cbf85a65e 100644 --- a/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp +++ b/unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp b/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp index e1105071f91..20c93c4da81 100644 --- a/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp +++ b/unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp b/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp index 0b3ccc3c322..f038a4e7642 100644 --- a/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp +++ b/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp @@ -3,7 +3,7 @@ Module: Java string library preprocess. Test for converting an expression to a string expression. - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_types/erase_type_arguments.cpp b/unit/java_bytecode/java_types/erase_type_arguments.cpp index 026ea45ab15..e1214350bcc 100644 --- a/unit/java_bytecode/java_types/erase_type_arguments.cpp +++ b/unit/java_bytecode/java_types/erase_type_arguments.cpp @@ -2,7 +2,7 @@ Module: Unit tests for java_types - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/java_bytecode/java_utils_test.cpp b/unit/java_bytecode/java_utils_test.cpp index b66fea87f40..ce0441c68cb 100644 --- a/unit/java_bytecode/java_utils_test.cpp +++ b/unit/java_bytecode/java_utils_test.cpp @@ -2,7 +2,7 @@ Module: Unit tests for parsing generic classes - Author: DiffBlue Ltd. + Author: Diffblue Ltd. Note: Created by fotis on 09/10/2017. diff --git a/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp b/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp index 0a07e21d163..dd19b115df8 100644 --- a/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp +++ b/unit/java_bytecode/java_virtual_functions/virtual_functions.cpp @@ -2,7 +2,7 @@ Module: Unit tests for java_types - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp index e36e27c6276..a3e6a012aeb 100644 --- a/unit/miniBDD_new.cpp +++ b/unit/miniBDD_new.cpp @@ -2,7 +2,7 @@ Module: Unit tests for miniBDD - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp index 91fa68bc878..9c592be29e4 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp @@ -3,7 +3,7 @@ Module: Unit tests for calculate_max_string_length in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp index 3a9f0925ac9..b80fe19c9dc 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp @@ -3,7 +3,7 @@ Module: Unit tests for get_numeric_value_from_character in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp index 2fe69847aed..26650ca9915 100644 --- a/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp +++ b/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp @@ -3,7 +3,7 @@ Module: Unit tests for is_digit_with_radix in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/concretize_array.cpp b/unit/solvers/refinement/string_refinement/concretize_array.cpp index 43eea614f34..a64303d2439 100644 --- a/unit/solvers/refinement/string_refinement/concretize_array.cpp +++ b/unit/solvers/refinement/string_refinement/concretize_array.cpp @@ -3,7 +3,7 @@ Module: Unit tests for concretize_array_expression in solvers/refinement/string_refinement.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/has_subtype.cpp b/unit/solvers/refinement/string_refinement/has_subtype.cpp index 23d2a7adbf2..b69a057e018 100644 --- a/unit/solvers/refinement/string_refinement/has_subtype.cpp +++ b/unit/solvers/refinement/string_refinement/has_subtype.cpp @@ -3,7 +3,7 @@ Module: Unit tests for has_subtype in solvers/refinement/string_refinement.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/sparse_array.cpp b/unit/solvers/refinement/string_refinement/sparse_array.cpp index 7a0d14426ad..9534d791466 100644 --- a/unit/solvers/refinement/string_refinement/sparse_array.cpp +++ b/unit/solvers/refinement/string_refinement/sparse_array.cpp @@ -3,7 +3,7 @@ Module: Unit tests for sparse arrays solvers/refinement/string_refinement.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp b/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp index 848ae23346d..e7b6eb22478 100644 --- a/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp +++ b/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp @@ -3,7 +3,7 @@ Module: Unit tests for string_identifiers_resolution_from_equations in solvers/refinement/string_refinement.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp index 176bd6b52f4..1cc9e08ca86 100644 --- a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp +++ b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp @@ -3,7 +3,7 @@ Module: Unit tests for get_numeric_value_from_character in solvers/refinement/string_constraint_generator_valueof.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/solvers/refinement/string_refinement/union_find_replace.cpp b/unit/solvers/refinement/string_refinement/union_find_replace.cpp index ac2651332e9..323161e75d7 100644 --- a/unit/solvers/refinement/string_refinement/union_find_replace.cpp +++ b/unit/solvers/refinement/string_refinement/union_find_replace.cpp @@ -3,7 +3,7 @@ Module: Unit tests for union_find_replacet in solvers/refinement/string_refinement.cpp - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/c_to_expr.cpp b/unit/testing-utils/c_to_expr.cpp index df57e0216b8..3c1dff6a7c2 100644 --- a/unit/testing-utils/c_to_expr.cpp +++ b/unit/testing-utils/c_to_expr.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/c_to_expr.h b/unit/testing-utils/c_to_expr.h index c17c6be3101..3c8a81c5bac 100644 --- a/unit/testing-utils/c_to_expr.h +++ b/unit/testing-utils/c_to_expr.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/load_java_class.cpp b/unit/testing-utils/load_java_class.cpp index 9589a398e60..38ef466e8f2 100644 --- a/unit/testing-utils/load_java_class.cpp +++ b/unit/testing-utils/load_java_class.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/load_java_class.h b/unit/testing-utils/load_java_class.h index 0639f96c1b0..01cd3bfda16 100644 --- a/unit/testing-utils/load_java_class.h +++ b/unit/testing-utils/load_java_class.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_expr.cpp b/unit/testing-utils/require_expr.cpp index 300ceb4879b..b4ad9d470c6 100644 --- a/unit/testing-utils/require_expr.cpp +++ b/unit/testing-utils/require_expr.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_expr.h b/unit/testing-utils/require_expr.h index 9401fb55d41..6e545e90a3a 100644 --- a/unit/testing-utils/require_expr.h +++ b/unit/testing-utils/require_expr.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_goto_statements.cpp b/unit/testing-utils/require_goto_statements.cpp index 0d8e5c1b5c5..7a2974bb827 100644 --- a/unit/testing-utils/require_goto_statements.cpp +++ b/unit/testing-utils/require_goto_statements.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_goto_statements.h b/unit/testing-utils/require_goto_statements.h index 8aff49468f2..f2767b73b55 100644 --- a/unit/testing-utils/require_goto_statements.h +++ b/unit/testing-utils/require_goto_statements.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_parse_tree.cpp b/unit/testing-utils/require_parse_tree.cpp index a8850dea4c4..0fd71261be3 100644 --- a/unit/testing-utils/require_parse_tree.cpp +++ b/unit/testing-utils/require_parse_tree.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_parse_tree.h b/unit/testing-utils/require_parse_tree.h index e92421104dd..c7fc17ec819 100644 --- a/unit/testing-utils/require_parse_tree.h +++ b/unit/testing-utils/require_parse_tree.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_type.cpp b/unit/testing-utils/require_type.cpp index 0af34b1c3ef..4bcb94aaecb 100644 --- a/unit/testing-utils/require_type.cpp +++ b/unit/testing-utils/require_type.cpp @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/testing-utils/require_type.h b/unit/testing-utils/require_type.h index 8cdef482526..ccf5db53315 100644 --- a/unit/testing-utils/require_type.h +++ b/unit/testing-utils/require_type.h @@ -2,7 +2,7 @@ Module: Unit test utilities - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/unit_tests.cpp b/unit/unit_tests.cpp index a6fa49b8ba2..d22f6d1f189 100644 --- a/unit/unit_tests.cpp +++ b/unit/unit_tests.cpp @@ -2,7 +2,7 @@ Module: Catch Tests - Author: DiffBlue Ltd. + Author: Diffblue Ltd. \*******************************************************************/