diff --git a/src/analyses/does_remove_const.cpp b/src/analyses/does_remove_const.cpp index 98ebd1315a5..b012cef6167 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..5c54daec888 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..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 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..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 Limited. All rights reserved. +Author: Diffblue Ltd. \*******************************************************************/ 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/goto-programs/resolve_inherited_component.cpp b/src/goto-programs/resolve_inherited_component.cpp index 458bc5ffcdd..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 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..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 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..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 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..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 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..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 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..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 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..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 +Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/java_bytecode/select_pointer_type.cpp b/src/java_bytecode/select_pointer_type.cpp index cd20dcbbb79..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 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..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 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..b72bd02b1c4 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/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/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/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/analyses/ai/ai_simplify_lhs.cpp b/unit/analyses/ai/ai_simplify_lhs.cpp index c8ea9dae2d2..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 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..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 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..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 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..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 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..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 Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/catch_example.cpp b/unit/catch_example.cpp index 31cb9f605a5..f8cd903d7b7 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp index 14ae84e668e..a3e6a012aeb 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/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/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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 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..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 Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/unit/unit_tests.cpp b/unit/unit_tests.cpp index 0f4109d2f69..d22f6d1f189 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/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/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. \*******************************************************************/ 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