Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 45ae633

Browse files
lembergerthlembergerth
committed
Always add Dirk Beyer as additional copyright holder of XCSP tasks
1 parent 5d704bd commit 45ae633

File tree

121 files changed

+121
-120
lines changed

Some content is hidden

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

121 files changed

+121
-120
lines changed

‎c/xcsp/AllInterval-005.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-006.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-007.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-008.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-009.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-010.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-011.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-012.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-013.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-014.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5-
// SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
66
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
77
//
88
// SPDX-License-Identifier: MIT

0 commit comments

Comments
 (0)