← Back to branch summary

~opaal-developers/opaal/opaal-gensuccgen-refactor

~opaal-developers/opaal/opaal-gensuccgen-refactor

Viewing all changes in revision 86.

Committer: Mads Chr. Olesen
Date: 2014-05-07 13:34:51 UTC
Revision ID: launchpad@shiyee.dk-20140507133451-49xm90fhfih19a17

Use CodeGen for update statements and invariants. Get rid of a lot of old util code.

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

opaal/model_parsers/pyuppaal/gensuccgen.py

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/pyuppaal/util.py

tests/test_codegen.py

tests/test_gensuccgen.py

tests/test_pyuppaal_succgen.py

Show diffs side-by-side

added added

removed removed

opaal/model_parsers/pyuppaal/codegen.py

opaal/model_parsers/pyuppaal/gensuccgen.py

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/pyuppaal/util.py

tests/test_codegen.py

tests/test_gensuccgen.py

tests/test_pyuppaal_succgen.py

Older »