Wed, 08 Jun 2011 17:42:07 +0200 |
Thomas Wuerthinger |
Made boolean options more robust to also allow -G:Time or -G:Meter.
|
Wed, 08 Jun 2011 17:27:31 +0200 |
Thomas Wuerthinger |
Merge fix. Enable inlining by default.
|
Wed, 08 Jun 2011 17:26:49 +0200 |
Thomas Wuerthinger |
Merge.
|
Wed, 08 Jun 2011 17:26:22 +0200 |
Thomas Wuerthinger |
Measure nodes created and nodes deleted for nodes. New option -G:+Meter.
|
Wed, 08 Jun 2011 17:07:06 +0200 |
Thomas Wuerthinger |
Ensure that only one phase timer is running at one time.
|
Wed, 08 Jun 2011 17:01:16 +0200 |
Thomas Wuerthinger |
Added time measurement for phases.
|
Wed, 08 Jun 2011 15:43:43 +0200 |
Gilles Duboscq |
Merge
|