Skip to content

Commit 2eb3e3d

Browse files
Timmmmbillmcspadden-riscv
Timmmm
authored and
billmcspadden-riscv
committed
Shorten copyright notice at the top of each file
This script was used to do the modification: ``` from pathlib import Path import re RE_LINE = r"/\*={50,150}\*/\n" RE_MIDDLE = r"/\*.*\*/\n" NEW_TEXT = """/*=======================================================================================*/ /* This Sail RISC-V architecture model, comprising all files and */ /* directories except where otherwise noted is subject the BSD */ /* two-clause license in the LICENSE file. */ /* */ /* SPDX-License-Identifier: BSD-2-Clause */ /*=======================================================================================*/ """ REPLACEMENT = re.compile(rf"^{RE_LINE}(?:{RE_MIDDLE}){{10,100}}{RE_LINE}") def main(): for file in Path("model").glob("**/*.sail"): text = file.read_text(encoding="utf-8") text = REPLACEMENT.sub(NEW_TEXT, text, 1) file.write_text(text, encoding="utf-8") if __name__ == "__main__": main() ```
1 parent 4de2bff commit 2eb3e3d

File tree

97 files changed

+380
-5924
lines changed

Some content is hidden

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

97 files changed

+380
-5924
lines changed

‎LICENCE‎

Lines changed: 44 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -5,25 +5,49 @@ directories except for the snapshots of the Lem and Sail libraries
55
in the prover_snapshots directory (which include copies of their
66
licences), is subject to the BSD two-clause licence below.
77

8-
Copyright (c) 2017-2023
9-
Prashanth Mundkur
10-
Rishiyur S. Nikhil and Bluespec, Inc.
11-
Jon French
12-
Brian Campbell
13-
Robert Norton-Wright
14-
Alasdair Armstrong
15-
Thomas Bauereiss
16-
Shaked Flur
17-
Christopher Pulte
18-
Peter Sewell
19-
Alexander Richardson
20-
Hesham Almatary
21-
Jessica Clarke
22-
Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo
23-
Peter Rugg
24-
Aril Computer Corp., for contributions by Scott Johnson
25-
Philipp Tomsich
26-
VRULL GmbH, for contributions by its employees
8+
Copyright (c) 2017-2024
9+
ahadali5000
10+
Alasdair Armstrong
11+
Alexander Richardson
12+
Aril Computer Corp., for contributions by Scott Johnson
13+
Ben Marshall
14+
Bicheng Yang
15+
Bilal Sakhawat
16+
Brian Campbell
17+
Chris Casinghino
18+
Christopher Pulte
19+
Codasip, for contributions by Tim Hutt
20+
dylux
21+
eroom1966
22+
Google LLC, for contributions by its employees
23+
Hesham Almatary
24+
Jan Henrik Weinstock
25+
Jessica Clarke
26+
Jon French
27+
Martin Berger
28+
Michael Sammler
29+
Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo
30+
Muhammad Bilal Sakhawat
31+
Nathaniel Wesley Filardo
32+
Paul A. Clarke
33+
Peter Rugg
34+
Peter Sewell
35+
Philipp Tomsich
36+
Prashanth Mundkur
37+
Rafael Sene
38+
Rishiyur S. Nikhil (Bluespec, Inc.)
39+
Robert Norton-Wright
40+
Scott Johnson (Aril Inc.)
41+
Shaked Flur
42+
Thibaut Pérami
43+
Thomas Bauereiss
44+
VRULL GmbH, for contributions by its employees
45+
William McSpaddden
46+
Xinlai Wan
47+
48+
For a complete list of authors run this command:
49+
50+
git shortlog --summary --numbered --email
2751

2852
All rights reserved.
2953

@@ -42,6 +66,7 @@ This project has received funding from the European Research Council
4266
(ERC) under the European Union’s Horizon 2020 research and innovation
4367
programme (grant agreement 789108, ELVER).
4468

69+
------------------------------------------------------------------
4570

4671
Redistribution and use in source and binary forms, with or without
4772
modification, are permitted provided that the following conditions

‎model/main.sail‎

Lines changed: 3 additions & 65 deletions
Original file line numberDiff line numberDiff line change
@@ -1,71 +1,9 @@
11
/*=======================================================================================*/
2-
/* RISCV Sail Model */
3-
/* */
42
/* This Sail RISC-V architecture model, comprising all files and */
5-
/* directories except for the snapshots of the Lem and Sail libraries */
6-
/* in the prover_snapshots directory (which include copies of their */
7-
/* licences), is subject to the BSD two-clause licence below. */
8-
/* */
9-
/* Copyright (c) 2017-2023 */
10-
/* Prashanth Mundkur */
11-
/* Rishiyur S. Nikhil and Bluespec, Inc. */
12-
/* Jon French */
13-
/* Brian Campbell */
14-
/* Robert Norton-Wright */
15-
/* Alasdair Armstrong */
16-
/* Thomas Bauereiss */
17-
/* Shaked Flur */
18-
/* Christopher Pulte */
19-
/* Peter Sewell */
20-
/* Alexander Richardson */
21-
/* Hesham Almatary */
22-
/* Jessica Clarke */
23-
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
24-
/* Peter Rugg */
25-
/* Aril Computer Corp., for contributions by Scott Johnson */
26-
/* Philipp Tomsich */
27-
/* VRULL GmbH, for contributions by its employees */
28-
/* */
29-
/* All rights reserved. */
30-
/* */
31-
/* This software was developed by the above within the Rigorous */
32-
/* Engineering of Mainstream Systems (REMS) project, partly funded by */
33-
/* EPSRC grant EP/K008528/1, at the Universities of Cambridge and */
34-
/* Edinburgh. */
35-
/* */
36-
/* This software was developed by SRI International and the University of */
37-
/* Cambridge Computer Laboratory (Department of Computer Science and */
38-
/* Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV"), and */
39-
/* under DARPA contract HR0011-18-C-0016 ("ECATS") as part of the DARPA */
40-
/* SSITH research programme. */
41-
/* */
42-
/* This project has received funding from the European Research Council */
43-
/* (ERC) under the European Union’s Horizon 2020 research and innovation */
44-
/* programme (grant agreement 789108, ELVER). */
45-
/* */
46-
/* */
47-
/* Redistribution and use in source and binary forms, with or without */
48-
/* modification, are permitted provided that the following conditions */
49-
/* are met: */
50-
/* 1. Redistributions of source code must retain the above copyright */
51-
/* notice, this list of conditions and the following disclaimer. */
52-
/* 2. Redistributions in binary form must reproduce the above copyright */
53-
/* notice, this list of conditions and the following disclaimer in */
54-
/* the documentation and/or other materials provided with the */
55-
/* distribution. */
3+
/* directories except where otherwise noted is subject the BSD */
4+
/* two-clause license in the LICENSE file. */
565
/* */
57-
/* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' */
58-
/* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED */
59-
/* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A */
60-
/* PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR */
61-
/* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, */
62-
/* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT */
63-
/* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF */
64-
/* USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND */
65-
/* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, */
66-
/* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT */
67-
/* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF */
68-
/* SUCH DAMAGE. */
6+
/* SPDX-License-Identifier: BSD-2-Clause */
697
/*=======================================================================================*/
708

719
function main () : unit -> unit = {

‎model/prelude.sail‎

Lines changed: 3 additions & 65 deletions
Original file line numberDiff line numberDiff line change
@@ -1,71 +1,9 @@
11
/*=======================================================================================*/
2-
/* RISCV Sail Model */
3-
/* */
42
/* This Sail RISC-V architecture model, comprising all files and */
5-
/* directories except for the snapshots of the Lem and Sail libraries */
6-
/* in the prover_snapshots directory (which include copies of their */
7-
/* licences), is subject to the BSD two-clause licence below. */
8-
/* */
9-
/* Copyright (c) 2017-2023 */
10-
/* Prashanth Mundkur */
11-
/* Rishiyur S. Nikhil and Bluespec, Inc. */
12-
/* Jon French */
13-
/* Brian Campbell */
14-
/* Robert Norton-Wright */
15-
/* Alasdair Armstrong */
16-
/* Thomas Bauereiss */
17-
/* Shaked Flur */
18-
/* Christopher Pulte */
19-
/* Peter Sewell */
20-
/* Alexander Richardson */
21-
/* Hesham Almatary */
22-
/* Jessica Clarke */
23-
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
24-
/* Peter Rugg */
25-
/* Aril Computer Corp., for contributions by Scott Johnson */
26-
/* Philipp Tomsich */
27-
/* VRULL GmbH, for contributions by its employees */
28-
/* */
29-
/* All rights reserved. */
30-
/* */
31-
/* This software was developed by the above within the Rigorous */
32-
/* Engineering of Mainstream Systems (REMS) project, partly funded by */
33-
/* EPSRC grant EP/K008528/1, at the Universities of Cambridge and */
34-
/* Edinburgh. */
35-
/* */
36-
/* This software was developed by SRI International and the University of */
37-
/* Cambridge Computer Laboratory (Department of Computer Science and */
38-
/* Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV"), and */
39-
/* under DARPA contract HR0011-18-C-0016 ("ECATS") as part of the DARPA */
40-
/* SSITH research programme. */
41-
/* */
42-
/* This project has received funding from the European Research Council */
43-
/* (ERC) under the European Union’s Horizon 2020 research and innovation */
44-
/* programme (grant agreement 789108, ELVER). */
45-
/* */
46-
/* */
47-
/* Redistribution and use in source and binary forms, with or without */
48-
/* modification, are permitted provided that the following conditions */
49-
/* are met: */
50-
/* 1. Redistributions of source code must retain the above copyright */
51-
/* notice, this list of conditions and the following disclaimer. */
52-
/* 2. Redistributions in binary form must reproduce the above copyright */
53-
/* notice, this list of conditions and the following disclaimer in */
54-
/* the documentation and/or other materials provided with the */
55-
/* distribution. */
3+
/* directories except where otherwise noted is subject the BSD */
4+
/* two-clause license in the LICENSE file. */
565
/* */
57-
/* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' */
58-
/* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED */
59-
/* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A */
60-
/* PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR */
61-
/* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, */
62-
/* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT */
63-
/* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF */
64-
/* USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND */
65-
/* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, */
66-
/* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT */
67-
/* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF */
68-
/* SUCH DAMAGE. */
6+
/* SPDX-License-Identifier: BSD-2-Clause */
697
/*=======================================================================================*/
708

719
default Order dec

0 commit comments

Comments
 (0)