Viewing all changes in revision 267.
- Committer: Jiri Srba
- Date: 2012-07-13 19:00:44 UTC
- mfrom: (266.1.1 livenessAlgorithmErrorFix)
- Revision ID: srba@cs.aau.dk-20120713190044-le748e1b9a5rr0gm
merged a branch fixing a problem with liveness checking (marking on waiting list are now still considered during the search).
expand all
collapse all
added
removed
