log

age author description
Mon, 20 Apr 2015 23:59:49 +0200 Doug Simon reverted to more readable name for snippet metrics and counters
Mon, 20 Apr 2015 22:42:18 +0200 Thomas Wuerthinger Merge.
Mon, 20 Apr 2015 22:42:05 +0200 Thomas Wuerthinger Remove a wrong short-cut in the scheduler phase. The latest possible block can be above the earliest possible block for virtual states.