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

* 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

* GHC and other Haskell Libraries
  * BSC tools are compiled with the Glasgow Haskell Compiler (GHC) [1]
    and using various libraries available from Hackage [2].  See the
    PACKAGES variable in src/comp/Makefile for the complete list.
  * These files are not in the BSC source repo, but any binary
    distribution will need to include their license information.
      [1] http://hackage.haskell.org
      [2] http://www.haskell.org/ghc/license.html

* 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, mcn02@mit.edu
  * MIT license

* testsuite/bsc.bsv_examples/MacTestBench/{eth_*,timescale}.v
  * Ethernet MAC, http://www.opencores.org/projects/ethmac/
  * Variously copyright 2001, 2002
    * Igor Mohor (igorM@opencores.org)
    * Novan Hartadi (novan@vlsi.itb.ac.id)
    * Mahmud Galela (mgalela@vlsi.itb.ac.id)
    * Bill Dittenhofer (billditt@aol.com)
  * 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
  * liaor@iname.com - 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.

---------------------------------------------------------------------------
