Copyright (c) 2000 by
David Blei blei@cs.berkeley.edu
Chris Harrelson chrishtr@cs.berkeley.edu
Ranjit Jhala jhala@cs.berkeley.edu
Rupak Majumdar rupak@cs.berkeley.edu
George C. Necula necula@cs.berkeley.edu
Shree P. Rahul sprahul@cs.berkeley.edu
Westley Weimer weimer@cs.berkeley.edu
Dror Weitz dror@cs.berkeley.edu
All rights reserved. Permission to use, copy, modify and
distribute
this software for research purposes only is
hereby granted,
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 name of the authors may not be
used to endorse or promote products derived from this software without specific
prior written permission.
THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``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 AUTHORS 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.