Skip to content

Commit 3fca4c8

Browse files
ptomsichptomsich
committed
apply_headers: regenerate copyright headers
1 parent 80b4eaf commit 3fca4c8

91 files changed

Lines changed: 1075 additions & 79 deletions

File tree

Some content is hidden

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

‎handwritten_support/mem_metadata.lem‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎handwritten_support/mem_metadata.v‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎handwritten_support/riscv_extras.lem‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎handwritten_support/riscv_extras.v‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎handwritten_support/riscv_extras_fdext.lem‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎handwritten_support/riscv_extras_sequential.lem‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(* in the prover_snapshots directory (which include copies of their *)
77
(* licences), is subject to the BSD two-clause licence below. *)
88
(* *)
9-
(* Copyright (c) 2017-2021 *)
9+
(* Copyright (c) 2017-2023 *)
1010
(* Prashanth Mundkur *)
1111
(* Rishiyur S. Nikhil and Bluespec, Inc. *)
1212
(* Jon French *)
@@ -23,6 +23,8 @@
2323
(* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *)
2424
(* Peter Rugg *)
2525
(* Aril Computer Corp., for contributions by Scott Johnson *)
26+
(* Philipp Tomsich *)
27+
(* VRULL GmbH, for contributions by its employees *)
2628
(* *)
2729
(* All rights reserved. *)
2830
(* *)

‎model/main.sail‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
/* in the prover_snapshots directory (which include copies of their */
77
/* licences), is subject to the BSD two-clause licence below. */
88
/* */
9-
/* Copyright (c) 2017-2021 */
9+
/* Copyright (c) 2017-2023 */
1010
/* Prashanth Mundkur */
1111
/* Rishiyur S. Nikhil and Bluespec, Inc. */
1212
/* Jon French */
@@ -23,6 +23,8 @@
2323
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
2424
/* Peter Rugg */
2525
/* Aril Computer Corp., for contributions by Scott Johnson */
26+
/* Philipp Tomsich */
27+
/* VRULL GmbH, for contributions by its employees */
2628
/* */
2729
/* All rights reserved. */
2830
/* */

‎model/prelude.sail‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
/* in the prover_snapshots directory (which include copies of their */
77
/* licences), is subject to the BSD two-clause licence below. */
88
/* */
9-
/* Copyright (c) 2017-2021 */
9+
/* Copyright (c) 2017-2023 */
1010
/* Prashanth Mundkur */
1111
/* Rishiyur S. Nikhil and Bluespec, Inc. */
1212
/* Jon French */
@@ -23,6 +23,8 @@
2323
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
2424
/* Peter Rugg */
2525
/* Aril Computer Corp., for contributions by Scott Johnson */
26+
/* Philipp Tomsich */
27+
/* VRULL GmbH, for contributions by its employees */
2628
/* */
2729
/* All rights reserved. */
2830
/* */

‎model/prelude_mapping.sail‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
/* in the prover_snapshots directory (which include copies of their */
77
/* licences), is subject to the BSD two-clause licence below. */
88
/* */
9-
/* Copyright (c) 2017-2021 */
9+
/* Copyright (c) 2017-2023 */
1010
/* Prashanth Mundkur */
1111
/* Rishiyur S. Nikhil and Bluespec, Inc. */
1212
/* Jon French */
@@ -23,6 +23,8 @@
2323
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
2424
/* Peter Rugg */
2525
/* Aril Computer Corp., for contributions by Scott Johnson */
26+
/* Philipp Tomsich */
27+
/* VRULL GmbH, for contributions by its employees */
2628
/* */
2729
/* All rights reserved. */
2830
/* */

‎model/prelude_mem.sail‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
/* in the prover_snapshots directory (which include copies of their */
77
/* licences), is subject to the BSD two-clause licence below. */
88
/* */
9-
/* Copyright (c) 2017-2021 */
9+
/* Copyright (c) 2017-2023 */
1010
/* Prashanth Mundkur */
1111
/* Rishiyur S. Nikhil and Bluespec, Inc. */
1212
/* Jon French */
@@ -23,6 +23,8 @@
2323
/* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo */
2424
/* Peter Rugg */
2525
/* Aril Computer Corp., for contributions by Scott Johnson */
26+
/* Philipp Tomsich */
27+
/* VRULL GmbH, for contributions by its employees */
2628
/* */
2729
/* All rights reserved. */
2830
/* */

0 commit comments

Comments
 (0)