diff options
| author | Peter Sewell <Peter.Sewell@cl.cam.ac.uk> | 2019-02-14 18:59:23 +0000 |
|---|---|---|
| committer | Peter Sewell <Peter.Sewell@cl.cam.ac.uk> | 2019-02-14 18:59:23 +0000 |
| commit | 89829353fd6864f178354fa24b66026d876591f2 (patch) | |
| tree | 0f571596c64db036f811620ad4013613e86a7ef0 /LICENCE | |
| parent | 257c33337332a7938513f4d86678aeb852faf72b (diff) | |
| download | sail-riscv-89829353fd6864f178354fa24b66026d876591f2.zip sail-riscv-89829353fd6864f178354fa24b66026d876591f2.tar.gz sail-riscv-89829353fd6864f178354fa24b66026d876591f2.tar.bz2 | |
update LICENCE
Diffstat (limited to 'LICENCE')
| -rw-r--r-- | LICENCE | 30 |
1 files changed, 15 insertions, 15 deletions
@@ -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 |