← Back to branch summary

~yrke/+junk/discrete

~yrke/+junk/discrete

Viewing all changes in revision 43.

Committer: Kenneth Yrke Joergensen
Date: 2011-05-03 23:18:28 UTC
Revision ID: kenneth@yrke.dk-20110503231828-0msrjz63ppe5n8tq

Error fixes and speed fixes

files modified:
bin/opaal_singlecore

opaal/model_parsers/pyuppaal/successor_generator.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/modelchecking_algorithms/reachability.py

opaal/passed_waiting_list/simple_pwlist.py

Older »