DiffBlue -> Diffblue

Matthias Güdemann · Matthias Güdemann · commit e2ca9283bef8 · 2018-03-09T16:02:12.000+01:00
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -2,7 +2,7 @@
 
  Module: Unit tests for instantiating generic superclasses and interfaces.
 
- Author: DiffBlue Ltd.
+ Author: Diffblue Ltd.
 
 \*******************************************************************/
 #include <testing-utils/catch.hpp>
diff --git 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 <testing-utils/catch.hpp>
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
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
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
diff --git a/unit/solvers/refinement/string_refinement/concretize_array.cpp b/unit/solvers/refinement/string_refinement/concretize_array.cpp
diff --git a/unit/solvers/refinement/string_refinement/has_subtype.cpp b/unit/solvers/refinement/string_refinement/has_subtype.cpp
diff --git a/unit/solvers/refinement/string_refinement/sparse_array.cpp b/unit/solvers/refinement/string_refinement/sparse_array.cpp
diff --git a/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp b/unit/solvers/refinement/string_refinement/string_symbol_resolution.cpp
diff --git a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp
diff --git a/unit/solvers/refinement/string_refinement/union_find_replace.cpp b/unit/solvers/refinement/string_refinement/union_find_replace.cpp
diff --git a/unit/testing-utils/c_to_expr.cpp b/unit/testing-utils/c_to_expr.cpp
diff --git a/unit/testing-utils/c_to_expr.h b/unit/testing-utils/c_to_expr.h
diff --git a/unit/testing-utils/load_java_class.cpp b/unit/testing-utils/load_java_class.cpp
diff --git a/unit/testing-utils/load_java_class.h b/unit/testing-utils/load_java_class.h
diff --git a/unit/testing-utils/require_expr.cpp b/unit/testing-utils/require_expr.cpp
diff --git a/unit/testing-utils/require_expr.h b/unit/testing-utils/require_expr.h
diff --git a/unit/testing-utils/require_goto_statements.cpp b/unit/testing-utils/require_goto_statements.cpp
diff --git a/unit/testing-utils/require_goto_statements.h b/unit/testing-utils/require_goto_statements.h
diff --git a/unit/testing-utils/require_parse_tree.cpp b/unit/testing-utils/require_parse_tree.cpp
diff --git a/unit/testing-utils/require_parse_tree.h b/unit/testing-utils/require_parse_tree.h
diff --git a/unit/testing-utils/require_type.cpp b/unit/testing-utils/require_type.cpp
diff --git a/unit/testing-utils/require_type.h b/unit/testing-utils/require_type.h
diff --git a/unit/unit_tests.cpp b/unit/unit_tests.cpp

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-/// Author: DiffBlue Ltd.`
	`1`	`+/// Author: Diffblue Ltd.`
`2`	`2`
`3`	`3`	`#include "generic_parameter_specialization_map_keys.h"`
`4`	`4`