← Back to branch summary

~yrke/opaal/timedart-vars+discrete

~yrke/opaal/timedart-vars+discrete

Viewing all changes in revision 30.

Committer: Mads Chr. Olesen
Date: 2010-09-21 14:14:32 UTC
Revision ID: launchpad@shiyee.dk-20100921141432-igx0x2b4vol0foss

Support for channel arrays

files added:
tests/test_channel_array.xml

files modified:
opaal/model_parsers/pyuppaal/simplify.py

opaal/model_parsers/pyuppaal/successor_generator.py

tests/test_pyuppaal_succgen.py

Show diffs side-by-side

added added

removed removed

opaal/model_parsers/pyuppaal/simplify.py

opaal/model_parsers/pyuppaal/successor_generator.py

tests/test_channel_array.xml

tests/test_pyuppaal_succgen.py

Older »