Skip to content

Commit 631acab

Browse files
author
Matthias Güdemann
committed
Fix Diffblue author entries
1 parent 6505e8c commit 631acab

File tree

75 files changed

+75
-75
lines changed

Some content is hidden

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

75 files changed

+75
-75
lines changed

‎src/analyses/does_remove_const.cpp

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

‎src/analyses/does_remove_const.h

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

‎src/ansi-c/c_nondet_symbol_factory.cpp

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

‎src/ansi-c/c_nondet_symbol_factory.h

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

‎src/goto-programs/resolve_inherited_component.cpp

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

‎src/goto-programs/resolve_inherited_component.h

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

‎src/java_bytecode/ci_lazy_methods.cpp

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

‎src/java_bytecode/ci_lazy_methods.h

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

‎src/java_bytecode/generic_parameter_specialization_map_keys.cpp

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

33
#include "generic_parameter_specialization_map_keys.h"
44

‎src/java_bytecode/generic_parameter_specialization_map_keys.h

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

33
#ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
44
#define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H

‎src/java_bytecode/java_pointer_casts.h

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

‎src/java_bytecode/select_pointer_type.cpp

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

‎src/java_bytecode/select_pointer_type.h

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

‎src/util/expr_iterator.h

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

‎src/util/optional.h

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

‎unit/analyses/ai/ai_simplify_lhs.cpp

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

‎unit/analyses/does_remove_const/does_expr_lose_const.cpp

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

‎unit/analyses/does_remove_const/does_remove_const_util.h

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

‎unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp

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

‎unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp

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

‎unit/catch_example.cpp

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

‎unit/goto-programs/class_hierarchy_graph.cpp

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

‎unit/goto-programs/class_hierarchy_output.cpp

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

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

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

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

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

‎unit/goto-programs/goto_trace_output.cpp

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

‎unit/java_bytecode/expr2java.cpp

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

‎unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp

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

‎unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_nested_generics.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp

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

‎unit/java_bytecode/java_bytecode_parse_generics/parse_signature_descriptor_mismatch.cpp

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

‎unit/java_bytecode/java_bytecode_parser/java_bytecode_parse_lambda_method_table.cpp

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

‎unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
Module: Java string library preprocess.
44
Test for converting an expression to a string expression.
55
6-
Author: DiffBlue Limited. All rights reserved.
6+
Author: DiffBlue Ltd.
77
88
\*******************************************************************/
99

0 commit comments

Comments
 (0)