	MOPS release 1.0

This is MOPS, a tool for checking source programs for security bugs.
See the user manual in doc/manual.ps for a full description of MOPS.

The copyright notice in the COPYRIGHT file in this directory applies
to all parts of MOPS except the rc directory and lib/java-getopt-1.0.9.jar.
rc is distributed under the GNU General Public License contained in
rc/COPYING; java-getopt-1.0.9.jar is distributed under the GNU Library
General Public License contained in gnu/getopt/COPYING.LIB in that
archive. See these files for more details.

To compile:

make

To test:

cd test; make

We welcome feedback.  Please send them to mops@mozart.cs.berkeley.edu.
Thanks for using MOPS!

Hao Chen (hchen@cs.berkeley.edu)
David Wagner (daw@cs.berkeley.edu)
David Schultz
Geoff Morrison
