aboutsummaryrefslogtreecommitdiff
path: root/LICENCE
diff options
context:
space:
mode:
authorPeter Sewell <Peter.Sewell@cl.cam.ac.uk>2019-02-14 18:59:23 +0000
committerPeter Sewell <Peter.Sewell@cl.cam.ac.uk>2019-02-14 18:59:23 +0000
commit89829353fd6864f178354fa24b66026d876591f2 (patch)
tree0f571596c64db036f811620ad4013613e86a7ef0 /LICENCE
parent257c33337332a7938513f4d86678aeb852faf72b (diff)
downloadsail-riscv-89829353fd6864f178354fa24b66026d876591f2.zip
sail-riscv-89829353fd6864f178354fa24b66026d876591f2.tar.gz
sail-riscv-89829353fd6864f178354fa24b66026d876591f2.tar.bz2
update LICENCE
Diffstat (limited to 'LICENCE')
-rw-r--r--LICENCE30
1 files changed, 15 insertions, 15 deletions
diff --git a/LICENCE b/LICENCE
index bd90931..0d0ff70 100644
--- a/LICENCE
+++ b/LICENCE
@@ -1,28 +1,28 @@
RISCV Sail Model
-The Sail architecture models here, comprising all files and
-directories are subject to the BSD two-clause licence
+This Sail RISC-V architecture model here, comprising all files and
+directories, is subject to the BSD two-clause licence
below.
-Copyright (c) 2013-2018
- Kathyrn Gray
- Shaked Flur
- Stephen Kell
- Gabriel Kerneis
+Copyright (c) 2017-2019
+ Prashanth Mundkur
+ Jon French
+ Brian Campbell
Robert Norton-Wright
- Christopher Pulte
- Peter Sewell
Alasdair Armstrong
- Brian Campbell
Thomas Bauereiss
- Anthony Fox
- Jon French
- Dominic Mulligan
- Stephen Kell
- Mark Wassell
+ Shaked Flur
+ Christopher Pulte
+ Peter Sewell
All rights reserved.
+This software was developed by SRI International and the University of
+Cambridge Computer Laboratory (Department of Computer Science and
+Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV"), and
+under DARPA contract HR0011-18-C-0016 ("ECATS") as part of the DARPA
+SSITH research programme.
+
This software was developed by the above within the Rigorous
Engineering of Mainstream Systems (REMS) project, partly funded by
EPSRC grant EP/K008528/1, at the Universities of Cambridge and