diff options
author | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-05-29 21:11:07 +0200 |
---|---|---|
committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-05-29 23:18:47 +0200 |
commit | 3fca4c87b98ebac2c1ecb174e22b4f57c3b1d4ee (patch) | |
tree | 686cd88aa17626b1f4c7ab8baaa11879121787ed /model/riscv_reg_type.sail | |
parent | 80b4eaf40f67f87bfd719ea08dfae37a657478e7 (diff) | |
download | sail-riscv-3fca4c87b98ebac2c1ecb174e22b4f57c3b1d4ee.zip sail-riscv-3fca4c87b98ebac2c1ecb174e22b4f57c3b1d4ee.tar.gz sail-riscv-3fca4c87b98ebac2c1ecb174e22b4f57c3b1d4ee.tar.bz2 |
apply_headers: regenerate copyright headersupdate-copyright-headers
Diffstat (limited to 'model/riscv_reg_type.sail')
-rw-r--r-- | model/riscv_reg_type.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/model/riscv_reg_type.sail b/model/riscv_reg_type.sail index dcc278b..5428587 100644 --- a/model/riscv_reg_type.sail +++ b/model/riscv_reg_type.sail @@ -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. */ /* */ |