← Back to branch summary

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

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

Viewing all changes in revision 91.

Committer: Mads Chr. Olesen
Date: 2015-10-26 15:27:55 UTC
Revision ID: launchpad@shiyee.dk-20151026152755-xftegt9ije279sd2

Integer clattices, MaxInteger + MinInteger

files added:
opaal/clattices/integer_lattice.py

tests/intlattice1.xml

tests/intlattice2.xml

files modified:
opaal/clattices/apron.py

opaal/model_parsers/pyuppaal/gensuccgen.py

tests/test_gensuccgen_lattice.py

Show diffs side-by-side

added added

removed removed

opaal/clattices/apron.py

opaal/clattices/integer_lattice.py

opaal/model_parsers/pyuppaal/gensuccgen.py

tests/intlattice1.xml

tests/intlattice2.xml

tests/test_gensuccgen_lattice.py

Older »