-------------------- Copster 1.0. --------------------------------

Copster stands for COmpiling Program Semantics into TErm Rewriting

------------------------------------------------------------------


includes:
---------

- Ocaml sources of Copster in src directory
- Compiling rules for a subset of Java bytecode for single threaded (see
  rules/monothread/rules.rex) and multi-threaded (see
  rules/multithread/rules.rex) programs
- a version of Javalib 

Documentation of Copster can be found in copster_manual.pdf.

-------------------------------------------------------------------
Copster: Copyright (C) 2009 Nicolas Barré and Thomas Genet

Javalib: Copyright (C) 2005-2009, Etienne André, Frédéric Besson, 
	 Nicolas Canasse, Laurent Hubert, Tiphaine Turpin.
-------------------------------------------------------------------

Copster is LGPL and Javalib is GPL
----------------------------------

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU Library General Public License version 2, as
published by the Free Software Foundation.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Those programs are distributed under the GNU LGPL. 
See the enclosed file COPYING and LGPL


COMPILATION
-----------

1) In the 'src' directory do a make
2) After the compilation, the copster binary should be in the 'build' directory.


USE
--- 

A typical usage of Copster is (from the copster directory):

./build/copster -rules ./rules/monothread/rules.rex -stubs ./rules/stubclasses.jstub -classpath ./tests/ -javaclass Ex1 -aterms result.aterms -maude result.maude 


(see copster_manual.pdf for details)