Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: sail Upstream-Contact: Sail Devs Source: https://github.com/rems-project/sail Files-Excluded: aarch64 aarch64_small doc editors etc lib/isabelle/manual.pdf snapshots test/*.elf test/cheri Files: * Copyright: Copyright (c) 2013-2021 Kathyrn Gray Shaked Flur Stephen Kell Gabriel Kerneis Robert Norton-Wright Christopher Pulte Peter Sewell Alasdair Armstrong Brian Campbell Thomas Bauereiss Anthony Fox Jon French Dominic Mulligan Stephen Kell Mark Wassell Alastair Reid (Arm Ltd) License: BSD-2-Clause Files: lib/cJSON.c lib/cJSON.h Copyright: 2009-2017 Dave Gamble and cJSON contributors License: Expat Files: lib/float/*.sail test/float/*.sail Copyright: 2024 Pan Li Intel Corporation License: BSD-2-Clause Files: lib/nostd/sail_spinlock.h Copyright: 2018 The Hafnium Authors License: Apache-2.0 Files: old/power/power_regfp.sail old/power/power.sail Copyright: 2015-2017 Gabriel Kerneis, Susmit Sarkar, Kathyrn Gray 2015-2017 Peter Sewell License: BSD-2-Clause Files: src/lib/util.ml src/lib/reporting.ml Copyright: 2010-2013, Dominic Mulligan, University of Cambridge 2010-2013, Francesco Zappa Nardelli, INRIA Paris-Rocquencourt 2010-2013, Gabriel Kerneis, University of Cambridge 2010-2013, Kathy Gray, University of Cambridge 2010-2013, Peter Boehm, University of Cambridge (while working on Lem) 2010-2013, Peter Sewell, University of Cambridge 2010-2013, Scott Owens, University of Kent 2010-2013, Thomas Tuerk, University of Cambridge License: BSD-3-Clause Files: src/lib/visitor.ml src/lib/jib_visitor.ml Copyright: 2001-2003, George C. Necula 2001-2003, Scott McPeak 2001-2003, Wes Weimer 2001-2003, Ben Liblit License: BSD-3-Clause Files: src/sail_sv_backend/generate_primop2.ml Copyright: 2023, Alasdair Armstrong License: BSD-2-Clause Files: src/sail_lean_backend/Sail/BitVec.lean Copyright: 2023 Amazon.com, Inc. or its affiliates License: Apache-2.0 Files: test/lean/riscv_duopod.sail Copyright: 2017-2021, Prashanth Mundkur 2017,2021, Rishiyur S. Nikhil and Bluespec, Inc. 2017-2021, Jon French 2017-2021, Brian Campbell 2017-2021, Robert Norton-Wright 2017-2021, Alasdair Armstrong 2017,2021, Thomas Bauereiss 2017-2021, Shaked Flur 2017-2021, Christopher Pulte 2017-2021, Peter Sewell 2017-2021, Alexander Richardson 2017-2021, Hesham Almatary 2017-2021, Jessica Clarke 2017-2021, Robert Norton-Wright(Microsoft) 2017-2021, Nathaniel Wesley Filardo(Microsoft) 2017-2021, Peter Rugg 2017-2021, Scott Johnson(Aril Computer) License: BSD-2-Clause Files: debian/* Copyright: 2025 Bo YU License: BSD-2-Clause License: BSD-2-Clause This software was developed by the University of Cambridge Computer Laboratory as part of the Rigorous Engineering of Mainstream Systems (REMS) project, funded by EPSRC grant EP/K008528/1. . 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 AUTHOR 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 AUTHOR 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. License: Apache-2.0 Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at . https://www.apache.org/licenses/LICENSE-2.0 . Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. . On Debian systems, the complete text of the Apache License Version 2.0 can be found in `/usr/share/common-licenses/Apache-2.0'. License: BSD-3-Clause 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. The names of the contributors may not 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 OWNER 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. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.