Skip to content

Enhancement/fix diffblue author #1919

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Mar 10, 2018
Merged

Enhancement/fix diffblue author #1919

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
631acab
Fix Diffblue author entries
Mar 9, 2018
d430ddc
Replace copyright notice with author entry
Mar 9, 2018
e2ca928
DiffBlue -> Diffblue
Mar 9, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/analyses/does_remove_const.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Analyses

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/analyses/does_remove_const.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Analyses

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/
/// \file
Expand Down
2 changes: 1 addition & 1 deletion src/ansi-c/c_nondet_symbol_factory.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: C Nondet Symbol Factory

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/ansi-c/c_nondet_symbol_factory.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: C Nondet Symbol Factory

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/goto-programs/lazy_goto_functions_map.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

/// \file
/// A lazy wrapper for goto_functionst.
Expand Down
2 changes: 1 addition & 1 deletion src/goto-programs/lazy_goto_model.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

/// \file
/// Model for lazy loading of functions
Expand Down
2 changes: 1 addition & 1 deletion src/goto-programs/lazy_goto_model.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

/// \file
/// Model for lazy loading of functions
Expand Down
2 changes: 1 addition & 1 deletion src/goto-programs/resolve_inherited_component.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: GOTO Program Utilities

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/goto-programs/resolve_inherited_component.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: GOTO Program Utilities

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/ci_lazy_methods.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Java Bytecode

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/
#include "ci_lazy_methods.h"
Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/ci_lazy_methods.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Java Bytecode

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/generic_parameter_specialization_map_keys.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
/// Author: DiffBlue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

#include "generic_parameter_specialization_map_keys.h"

Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/generic_parameter_specialization_map_keys.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/java_pointer_casts.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: JAVA Pointer Casts

Author: DiffBlue
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/select_pointer_type.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Java Bytecode Language Conversion

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/java_bytecode/select_pointer_type.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/util/expr_iterator.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: exprt iterator module

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
3 changes: 1 addition & 2 deletions src/util/journalling_symbol_table.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/util/optional.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/util/symbol_table.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

#include "symbol_table.h"

Expand Down
2 changes: 1 addition & 1 deletion src/util/symbol_table.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

/// \file
/// Symbol table
Expand Down
2 changes: 1 addition & 1 deletion src/util/symbol_table_base.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

#include "symbol_table_base.h"

Expand Down
2 changes: 1 addition & 1 deletion src/util/symbol_table_base.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
/// Author: Diffblue Ltd.

/// \file
/// Symbol table base class interface
Expand Down
2 changes: 1 addition & 1 deletion unit/analyses/ai/ai_simplify_lhs.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for ai_domain_baset::ai_simplify_lhs

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/analyses/does_remove_const/does_expr_lose_const.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Does Remove Const Unit Tests

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/analyses/does_remove_const/does_remove_const_util.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Does Remove Const Unit Tests

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Does Remove Const Unit Tests

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Does Remove Const Unit Tests

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/catch_example.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Example Catch Tests

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/goto-programs/class_hierarchy_graph.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for class_hierarchy_grapht

Author: Diffblue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/goto-programs/class_hierarchy_output.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for class_hierarchyt output functions

Author: Diffblue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/goto-programs/goto_program_generics/generic_bases_test.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for instantiating generic superclasses and interfaces.

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/
#include <testing-utils/catch.hpp>
Expand Down
2 changes: 1 addition & 1 deletion unit/goto-programs/goto_program_generics/generic_parameters_test.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for instantiating generic classes.

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/
#include <testing-utils/catch.hpp>
Expand Down
2 changes: 1 addition & 1 deletion unit/goto-programs/goto_trace_output.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for goto_trace_stept::output

Author: Diffblue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/expr2java.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for expr-to-java string conversion

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for inherited static fields

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for converting abstract classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion ..._bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Module: Unit tests for parsing generic classes

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion unit/java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
with unsupported signatures, falling back to using the raw type
descriptors

Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
Loading