diff options
Diffstat (limited to 'proofs/lfsc_checker/COPYING')
-rw-r--r-- | proofs/lfsc_checker/COPYING | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/proofs/lfsc_checker/COPYING b/proofs/lfsc_checker/COPYING deleted file mode 100644 index b220a3147..000000000 --- a/proofs/lfsc_checker/COPYING +++ /dev/null @@ -1,17 +0,0 @@ -LFSC is copyright (C) 2012, 2013 The University of Iowa. -All rights reserved. - -LFSC is open-source; distribution is under the terms of the modified -BSD license. - -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT OWNERS 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 -OWNERS 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. |