← Back to branch summary

~tapaal-dist-ctl/verifypn/SeqCTLCompression

~tapaal-dist-ctl/verifypn/SeqCTLCompression

Viewing all changes in revision 252.

Committer: Tobias Skovgaard Jepsen
Date: 2016-03-31 15:47:35 UTC
Revision ID: tobiasj1991@gmail.com-20160331154735-fzipqyj7zi9z6wlt

Fixed namespace issue

files modified:
CTL/Memory/BinaryWrapper.cpp

CTL/Memory/BinaryWrapper.h

CTL/Memory/Encoder.cpp

CTL/Memory/Encoder.h

CTL/Memory/State.h

CTL/marking.h

Show diffs side-by-side

added added

removed removed

CTL/Memory/BinaryWrapper.cpp

CTL/Memory/BinaryWrapper.h

CTL/Memory/Encoder.cpp

CTL/Memory/Encoder.h

CTL/Memory/State.h

Older »