Viewing all changes in revision 50.
- Committer: Kenneth Yrke Jørgensen
- Date: 2011-05-15 19:53:32 UTC
- Revision ID: mail@yrke.dk-20110515195332-775qhh3vbd0uwbr3
Added sync eliminator, support non sync yet
- files modified:
- opaal/model_parsers/pyuppaal/successor_generator.py
expand all
collapse all
added
removed
