diff options
| author | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2021-07-29 09:38:38 +0100 |
|---|---|---|
| committer | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2021-07-29 09:38:38 +0100 |
| commit | d09307935cd8830765523ef2a34818a32897116b (patch) | |
| tree | 627b1df0cdd189545e10c5a158cb0c8dba6356e5 /LICENCE | |
| parent | 168c3238034d3eaab1154ad808540318203cab84 (diff) | |
| download | sail-riscv-d09307935cd8830765523ef2a34818a32897116b.zip sail-riscv-d09307935cd8830765523ef2a34818a32897116b.tar.gz sail-riscv-d09307935cd8830765523ef2a34818a32897116b.tar.bz2 | |
update LICENCE and README with other UCam and MS authors (headers need update to match)
Diffstat (limited to 'LICENCE')
| -rw-r--r-- | LICENCE | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -16,6 +16,11 @@ Copyright (c) 2017-2021 Shaked Flur Christopher Pulte Peter Sewell + Alexander Richardson + Hesham Almatary + Jessica Clarke + Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo + Peter Rugg Aril Computer Corp., for contributions by Scott Johnson All rights reserved. |