SM implementation source code, 22 February 2008 version

This implementation can not be considered complete or having
production quality, but it can be used, if not always as well
as wanted.

To build, BNFC, flex, and GNU bison are needed. To build using
the makefile, common utilities such as sed are needed. Later,
a distribution requiring nothing of this might be put together.

It has been tested with GCC under Linux and MinGW under Windows.

Having built the library, it should be possible to use it 
using only it and the sm.h C API header file. However, glue code 
currently requires C++ and the C++ headers.

Except from the default target, 'make all' and 'make test'
might also be of interest. Currently, there's no automatic 
installation (no 'make install').

A note on memory management in the implementation. All things
have a single specific owner at all times. This is mostly done
with auto_ptr. However, when storing something in a container,
that is usually considered the owner. When not, this is usually
specified, yet care should be taken.

No documentation yet exists except that of the SM thesis report,
available at the web page.

See license.txt for copyright information.