Project: StateCharts cOmPilEr (SCOPE) Release: scope-0-09-2 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.