Viewing all changes in revision 293.
- Committer: Jiri Srba
- Date: 2014-02-16 18:30:40 UTC
- mfrom: (291.2.8 WorkflowOptimizations)
- Revision ID: srba@cs.aau.dk-20140216183040-chwffgabh9s2maal
merged in branch with minor memory optimizations and fixing memory leaks in workflow analaysis
- files modified:
- src/DiscreteVerification/DataStructures/NonStrictMarking.hpp
expand all
collapse all
added
removed
