-
Notifications
You must be signed in to change notification settings - Fork 146
/
COPYING
136 lines (111 loc) · 5.65 KB
/
COPYING
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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
Most files in this repository are copyright Bluespec Inc and licensed
under the BSD-3-Clause license, as indicated at the end of this file.
Individual files or directories may specify their own copyright and
license. The following are known to have other authors and licenses:
* STP - Constraint solver
* The files in src/vendor/stp/src/ are adapted from a snapshot of STP
* See LICENSES/LICENSE.stp and LICENSES/LICENSE.stp_components
* The source and license were obtained from the SVN repository [1]
at revision 1643 on 2012-04-18. A patch at [2] obtained on
2014-04-21 was also applied.
[1] https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp
[2] https://github.com/stp/stp/commit/ece1a55fb367bd905078baca38476e35b4df06c3
* The Yices SMT Solver
* The files in src/vendor/yices/ define a Haskell interface for using
the Yices library (via its C API); there is also code for a
stub library, if the real Yices library is not available
* See LICENSES/LICENSE.yices
* The license was obtained on 2020-01-31 from:
https://github.com/SRI-CSL/yices2
* yices-painless - Haskell package
* The foreign function declarations in src/vendor/yices/v2.6/HaskellIfc/
are adapted from Don Stewart's yices-painless package
* See LICENSES/LICENSE.yices-painless
* The source and license where obtained on 2012-01-27 from:
http://hackage.haskell.org/package/yices-painless
* GHC Haskell Libraries
* The file src/comp/Libs/MVarStrict.hs is adapted from the GHC MVar
library
* See LICENSES/LICENSE.ghc
* The source was obtained on 2012-02-06 from [1] and the license from [2]
[1] http://hackage.haskell.org
[2] http://www.haskell.org/ghc/license.html
* HBC Libraries
* Seven files in src/comp/Libs/ (as indicated in their header comments)
are adapted from Haskell libraries (from the HBC compiler) written
by Lennart Augustsson and Thomas Johnsson at Chalmers University
* See LICENSES/LICENSE.hbc
* Parsec
* Files in src/Parsec/ are adapted from Daan Leijen's Parsec
Haskell library
* See LICENSES/LICENSE.parsec
* Source and license obtained on 2004-01-28 from
http://www.cs.uu.nl/~daan/parsec.html
http://www.cs.uu.nl/~daan/download/parsec/parsec-2.0.zip
* Emacs utilities
* BH (Bluespec Haskell) emacs mode #1
* Files in util/emacs/bsc-mode-1/ are adapted from a Haskell mode
* See comments in the source files themselves
* BH emacs mode #2
* Files in util/emacs/bsc-mode-2/ are adapted from a Haskell mode
* See comments in the source files themselves
* BSV emacs mode
* Files in util/emacs/bsv-mode/ are adapted from Michael
McNamara's Verilog mode
* See comments in the source files themselves
* BSV snippets
* Files in util/emacs/bsv-snippets/ include code from other sources
* See comments in the source files themselves
* testsuite/bsc.bluetcl/hierarchy2/EHRReg.bsv
* Ephemeral History Register library
* Copyright (c) 2007 Alfred Man Cheuk Ng, [email protected]
* MIT license
* testsuite/bsc.bsv_examples/MacTestBench/{eth_*,timescale}.v
* Ethernet MAC, http://www.opencores.org/projects/ethmac/
* Variously copyright 2001, 2002
* Igor Mohor ([email protected])
* Novan Hartadi ([email protected])
* Mahmud Galela ([email protected])
* Bill Dittenhofer ([email protected])
* LGPL-2.1-or-later
* testsuite/bsc.bsv_examples/h264/*.bsv
* H.264 Decoder
* Copyright (c) 2006-2007 Massachusetts Institute of Technology
* MIT license
* testsuite/bsc.interra/OVL/std_ovl/
* Accellera Standard V2.8.1 Open Verification Library (OVL),
https://www.accellera.org/downloads/standards/ovl
* Copyright (c) 2015 Accellera Systems Initiative Inc. All rights reserved.
* Apache-2.0 license
* testsuite/bsc.bsv_examples/pong/kbscan.v
* Simple PS/2-port byte scancode reader
* [email protected] - http://members.tripod.com/~liaor (05/01/2001)
* GPL-2.0-or-later
We also wish to acknowledge everyone who has contributed to the open
source project: https://github.com/B-Lang-org/bsc/graphs/contributors
---------------------------------------------------------------------------
Copyright (c) 2020 Bluespec, Inc. All rights reserved.
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.
3. Neither the name of the copyright holder nor the names of its
contributors may be used to endorse or promote products derived
from this software without specific prior written permission.
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.
---------------------------------------------------------------------------