Viewing all changes in revision 294.
- Committer: Jiri Srba
- Date: 2014-02-17 21:41:47 UTC
- mfrom: (293.1.6 NoLivenessGCD)
- Revision ID: srba@cs.aau.dk-20140217214147-eac48bco70i2uqqx
merged in branch disabeling GCD for AF, EG queries and for deadlock
- files modified:
- src/DiscreteVerification/DiscreteVerification.cpp
expand all
collapse all
added
removed
