1: Version 1.1.3_rc4 of Felix 2: is free for any use, provided the authors 3: are not misrepresented in any way. 4: 5: Parts of this code, included in the file 6: 7: 8: lpsrc/flx_frontc.ipk 9: lpsrc/flx_cil.ipk 10: 11: are covered by a BSD Licence, here is the copyright notice: 12: (* 13: * 14: * Copyright (c) 2001 by 15: * George C. Necula necula@cs.berkeley.edu 16: * Scott McPeak smcpeak@cs.berkeley.edu 17: * Wes Weimer weimer@cs.berkeley.edu 18: * 19: * All rights reserved. Permission to use, copy, modify and distribute 20: * this software for research purposes only is hereby granted, 21: * provided that the following conditions are met: 22: * 1. Redistributions of source code must retain the above copyright notice, 23: * this list of conditions and the following disclaimer. 24: * 2. Redistributions in binary form must reproduce the above copyright notice, 25: * this list of conditions and the following disclaimer in the documentation 26: * and/or other materials provided with the distribution. 27: * 3. The name of the authors may not be used to endorse or promote products 28: * derived from this software without specific prior written permission. 29: * 30: * DISCLAIMER: 31: * THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR 32: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 33: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 34: * IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT, 35: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 36: * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS 37: * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 38: * ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 39: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 40: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 41: * 42: *) 43: 44: