zrho/afp — pull request #162 by jvoigtlaender (2014-04-06 05:37:57+00:00)
Title: increased laziness

... potentially short-cutting time calculations in non-movable mode
(where exact times are irrelevant anyway, since there is no opacity)