-
Notifications
You must be signed in to change notification settings - Fork 9
/
LICENCE.txt
117 lines (91 loc) · 6.13 KB
/
LICENCE.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
rmem tool
=========
LICENCE
-------
The rmem tool is licensed under the 2-Clause BSD Licence below, also
called the "Simplified BSD Licence" or the "FreeBSD Licence", except
the files listed under EXCEPTIONS below.
Copyright Peter Sewell, University of Cambridge 2011-2018
Copyright Shaked Flur, University of Cambridge 2014-2018
Copyright Christopher Pulte, University of Cambridge 2014-2018
Copyright Jon French, University of Cambridge 2015-2018
Copyright Kathy Gray, University of Cambridge (when this work was done) 2014-2017
Copyright Luc Maranget, INRIA, Paris, France 2011-2012, 2014-2018
Copyright Susmit Sarkar, University of St Andrews 2011-2016
Copyright Robert Norton-Wright, University of Cambridge 2016-2017
Copyright Pankaj Pawan, IIT Kanpur and INRIA (when this work was done) 2011-2012
Copyright Stephen Kell, University of Cambridge (when this work was done) 2014-2016
Copyright Ohad Kammar, University of Cambridge (when this work was done) 2013-2014
Copyright Sela Mador-Haim, University of Pennsylvania (when this work was done) 2011-2012
Copyright Linden Ralph, University of Cambridge (when this work was done) 2017-2017
Copyright Francesco Zappa Nardelli, INRIA, Paris, France 2011-2011
Copyright Gabriel Kerneis, University of Cambridge (when this work was done) 2014-2014
Copyright Jean Pichon-Pharabod, University of Cambridge 2013-2015
Copyright Kyndylan Nienhuis, University of Cambridge 2016-2016
Copyright Ali Sezgin, University of Cambridge (when this work was done) 2015-2016
Copyright Dominic Mulligan, University of Cambridge (when this work was done) 2013-2014
Copyright Victor Gomes, University of Cambridge 2018-2018
Copyright Mark Batty, University of Cambridge (when this work was done) 2015-2016
Copyright Richard Bornat, Middlesex University 2012-2012
Copyright Kayvan Memarian, University of Cambridge 2012-2012
Copyright Anthony Fox, University of Cambridge (when this work was done) 2017-2017
Copyright Alasdair Armstrong, University of Cambridge 2017-2017
rmem was developed as part of the REMS project
(https://www.cl.cam.ac.uk/~pes20/rems/), partly funded by ERC Advanced
grant "ELVER" (2018-2023, ERC AdG 789108), the EPSRC Programme Grant
"REMS: Rigorous Engineering for Mainstream Systems" (EP/K008528/1),
EPSRC grant "C3: Scalable & Verified Shared Memory via
Consistency-directed Cache Coherence" (EP/M027317/1), an ARM iCASE
award (Pulte), an EPSRC IAA KTF (Gray), EPSRC Leadership Fellowship
"Semantic Foundations for Real-World Systems" (EP/H005633/1,
2009-2014, Sewell), and EPSRC grant "Reasoning with Relaxed Memory
Models" (EP/F036345, 2008-2012).
======================================================================
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
======================================================================
EXCEPTIONS
----------
The files contained in src_top/herd_based are licensed under the
CeCILL-B licence in src_top/herd_based/LICENCE.txt.
The above licence also does not apply to the files contained in
src_web_interface/web_assets/lib. These files are in particular:
- clipboard.js, under an MIT licence. For copyright and licence
information see
https://github.com/lgarron/clipboard-polyfill/blob/0beca5ecccd7432b8fc7e25fec9c0dce0ac28abc/LICENSE.md
- CodeMirror (the files codemirror*), under an MIT licence. For
copyright and licence information see codemirror* files.
- es5-shim.min.js and es6-shim.min.js, under an MIT licence. For
copyright and licence information see these files.
- The Liberation Sans Font, under the SIL Open Font Licence. For
copyright and licence information see fonts/liberation/SIL Open Font
License.txt.
- jquery (the files jquery*), under an MIT licence. For copyright and
licence information see jquery* files.
- The Knockout JavaScript library (knockout-3.4.2.js and
knockout-3.4.2.debug.js), under an MIT licence. For copyright and
licence information see these files.
- Split.js. For copyright and licence information see
https://github.com/nathancahill/split/blob/master/packages/splitjs/LICENSE.txt
- string-format.js, under an MIT licence. For copyright and licence
information see
https://github.com/davidchambers/string-format/blob/master/MIT-LICENSE
- viz.js, under an MIT licence. For copyright and licence information
see this file.