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

Commit 320bf68

Browse files
lembergerthlembergerth
committed
Add copyright of Dirk Beyer to his script and tasks created by it
1 parent 8b7254e commit 320bf68

File tree

120 files changed

+120
-0
lines changed

Some content is hidden

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

120 files changed

+120
-0
lines changed

‎c/xcsp/AllInterval-005.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-006.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-007.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-008.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-009.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-010.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-011.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-012.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-013.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

‎c/xcsp/AllInterval-014.c‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// https://github.com/sosy-lab/sv-benchmarks
33
//
44
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>
56
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
67
//
78
// SPDX-License-Identifier: MIT

0 commit comments

Comments
 (0)