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, 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. ---------------------------------------------------------------------------