← Back to branch summary

~srba/verifytapn/trunk

~srba/verifytapn/trunk

Viewing all changes in revision 140.

Committer: Morten Jacobsen
Date: 2011-07-15 18:00:28 UTC
Revision ID: morten.jacobsen.2k@gmail.com-20110715180028-nngo342wg5ponnxz

https://launchpad.net/bugs/809860

- Fixed bug #809860
- Changed version number to 1.0.1

files modified:
src/Core/ArgsParser.hpp

src/Core/SymbolicMarking/AbstractMarking.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/SymbolicMarking/DBMMarking.hpp

src/Core/SymbolicMarking/DiscreteMarking.hpp

src/Core/SymbolicMarking/SymbolicMarking.hpp

src/ReachabilityChecker/SuccessorGenerator.cpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.hpp

src/Core/SymbolicMarking/AbstractMarking.hpp

src/Core/SymbolicMarking/DBMMarking.cpp

src/Core/SymbolicMarking/DBMMarking.hpp

src/Core/SymbolicMarking/DiscreteMarking.hpp

src/Core/SymbolicMarking/SymbolicMarking.hpp

src/ReachabilityChecker/SuccessorGenerator.cpp

Older »