log

age author description
Thu, 02 Apr 2015 11:18:02 +0200 Josef Eisl BenchmarkCounters: add DynamicCountersHumanReadable option and computer readable dumper (non-default).
Wed, 01 Apr 2015 19:30:25 +0200 Thomas Wuerthinger Merge.
Wed, 01 Apr 2015 19:30:14 +0200 Thomas Wuerthinger Fixes after introducing TypeCheckNode.