Viewing all changes in revision 311.
- Committer: Jiri Srba
- Date: 2014-07-08 19:16:58 UTC
- mfrom: (310.1.1 DestinationPropagation)
- Revision ID: srba@cs.aau.dk-20140708191658-j93v7rjs4xczkgyy
merged in branch fixing deadlock detection for transport arcs that have invariant in its target
- files modified:
- src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp
expand all
collapse all
added
removed
