Project: StateCharts cOmPilEr (SCOPE)
Release: scope-0-10
     
     
     Copyright (C) 2001-2002 Andrzej Wasowski
     
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
     the Free Software Foundation; either version 2 of the License, or
     (at your option) any later version.
     
     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.  See the
     GNU General Public License for more details.
     
     You should have received a copy of the GNU General Public License
     along with this program; if not, write to the Free Software
     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

release-0-09.txt,v 1.2 2002/10/26 17:27:54 wasowski Exp




See MANUAL for installation, usage instructions and credits.
See LICENSE for usage license.

RELEASE NOTES

	This is a first ever release of SCOPE made available for the public on
	the web.  Forgive me deficiences of documentation. I promise to
	improve it slightly with each release. If you are missing anything in
	manuals or the project do not hesitate to email me about it (wasowski
	at it-c dot dk). I may reply ;). 

MAIN BUG FIXES AND NEW FEATURES

	None. There is no previous release to compare with.

LIST OF KNOWN PROBLEMS

	1. Only models containing a single system are supported (no multi-system
        models at the moment).
        
        2. Internal rules are ignored (not even a warning is issued) 

	3. Similarly Do reactions are ignored (Termination transition causes a
	parse error).
        
        4. Types with absolute values longer than 31 bits are not handled
        (VS_UINT32, VS_INT64, VS_UINT64).

	5. Variable ranges are not checked at runtime (even in debug version
	code).

	6. Transition conflicts are not resolved (the model is assumed to be
	conflict-less which you can verify with original visualSTATE
	verifier).

	7. Signals (aka internal events) may not have parameters.

