From 89829353fd6864f178354fa24b66026d876591f2 Mon Sep 17 00:00:00 2001 From: Peter Sewell Date: Thu, 14 Feb 2019 18:59:23 +0000 Subject: update LICENCE --- LICENCE | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'LICENCE') 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 -- cgit v1.1