← Back to branch summary

~verifydtapn-contributers/verifydtapn/BDDPassedList

~verifydtapn-contributers/verifydtapn/BDDPassedList

Viewing all changes in revision 291.

Committer: Peter Gjoel Jensen
Date: 2013-09-13 15:42:51 UTC
Revision ID: peter.gjoel@gmail.com-20130913154251-fscbs6r6epd0lo7m

seemingly working implementation of the BDD

files modified:
src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/PTrie.h

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/compile-linux-32-64.sh

src/compile-mac-32-64.sh

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/PTrie.h

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/compile-linux-32-64.sh

src/compile-mac-32-64.sh

Older »