← Back to branch summary

~verifytapn/verifytapn/1.0

~verifytapn/verifytapn/1.0

Viewing all changes in revision 61.

Committer: Lasse Jacobsen
Date: 2010-12-08 15:08:52 UTC
Revision ID: lassejac@lassejac-laptop-20101208150852-23199n367rkamcuh

- added switch for DFS or BFS search
- added bubble sort for symmetry reduction

files modified:
src/Core/SymMarking.cpp

src/Core/SymMarking.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/Verification/PWList.cpp

src/Verification/SearchStrategy.cpp

Show diffs side-by-side

added added

removed removed

src/Core/SymMarking.cpp

src/Core/SymMarking.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/Verification/PWList.cpp

src/Verification/SearchStrategy.cpp

Older »