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.
Mon, 20 Apr 2015 19:54:09 +0200 Andreas Woess IGV: construct ArrayList<LabelWidget> with exact size (usually 1)
Mon, 20 Apr 2015 15:03:19 +0200 Andreas Woess IGV: improve text contrast for partially visible nodes
Mon, 20 Apr 2015 14:22:01 +0200 Andreas Woess Truffle: simplify getProperty; minor cleanup
Mon, 20 Apr 2015 11:02:30 -0700 Tom Rodriguez Merge