← Back to branch summary

~yrke/opaal/timedart-vars+discrete

~yrke/opaal/timedart-vars+discrete

Viewing all changes in revision 38.

Committer: Kenneth Yrke Jørgensen
Date: 2011-05-17 08:07:38 UTC
mfrom: (37.1.19 timedart-vars)
Revision ID: mail@yrke.dk-20110517080738-y09sdczr3npky2af

Merged with vars

files added:
tests/discrete.xml

files modified:
bin/opaal_singlecore

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/state.py

opaal/modelchecking_algorithms/reachability.py

opaal/passed_waiting_list/simple_pwlist.py

Show diffs side-by-side

added added

removed removed

bin/opaal_singlecore

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/state.py

opaal/modelchecking_algorithms/reachability.py

opaal/passed_waiting_list/simple_pwlist.py

tests/discrete.xml

Older »