diff options
Diffstat (limited to 'handwritten_support/riscv_extras.v')
-rw-r--r-- | handwritten_support/riscv_extras.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/handwritten_support/riscv_extras.v b/handwritten_support/riscv_extras.v index bf3e7bc..ca1c555 100644 --- a/handwritten_support/riscv_extras.v +++ b/handwritten_support/riscv_extras.v @@ -6,7 +6,7 @@ (* in the prover_snapshots directory (which include copies of their *) (* licences), is subject to the BSD two-clause licence below. *) (* *) -(* Copyright (c) 2017-2021 *) +(* Copyright (c) 2017-2023 *) (* Prashanth Mundkur *) (* Rishiyur S. Nikhil and Bluespec, Inc. *) (* Jon French *) @@ -23,6 +23,8 @@ (* Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo *) (* Peter Rugg *) (* Aril Computer Corp., for contributions by Scott Johnson *) +(* Philipp Tomsich *) +(* VRULL GmbH, for contributions by its employees *) (* *) (* All rights reserved. *) (* *) |