Fri, 23 Jan 2015 15:51:35 +0100 |
Paul Woegerer |
Various adjustments to simplify future merges
|
Mon, 15 Dec 2014 13:01:47 -0800 |
Christian Wimmer |
Add code missing in initial value handling for options
|
Mon, 15 Dec 2014 11:32:59 -0800 |
Christian Wimmer |
Store initial value (the value set in source code) of an option
|
Wed, 20 Aug 2014 16:43:05 +0200 |
Roland Schatz |
Recompute phase suites when options are changed.
|
Wed, 09 Apr 2014 19:08:53 +0200 |
Josef Eisl |
Fix most raw type references.
|
Mon, 31 Mar 2014 20:51:09 +0200 |
Bernhard Urban |
javadoc fixes
|
Wed, 26 Mar 2014 14:34:08 +0100 |
Doug Simon |
transition to JDK8
|
Tue, 25 Feb 2014 13:04:25 -0800 |
Tom Rodriguez |
ThreadLocals should be final
|
Sat, 09 Nov 2013 12:04:24 +0100 |
Doug Simon |
modified OptionValue.toString() to use the current, possibly overriding value; added OptionValue.getValues()
|
Tue, 05 Nov 2013 19:02:50 +0100 |
Doug Simon |
added a histogram to OptionValue (enabled by -Dgraal.showOptionValueReadsHistogram=true) to see which options are most frequently read
|
Tue, 05 Nov 2013 13:56:00 +0100 |
Doug Simon |
don't try and get override for StableOptionValues
|
Tue, 05 Nov 2013 12:48:21 +0100 |
Doug Simon |
added support for scoped overriding of OptionValues (GRAAL-27)
|
Tue, 05 Nov 2013 11:14:42 +0100 |
Doug Simon |
record an OptionDescriptor in an OptionValue so that it can be queried for a name
|
Thu, 06 Jun 2013 23:16:45 +0200 |
Doug Simon |
options are grouped per top level class/interface when accessed via the service mechanism
|
Thu, 06 Jun 2013 17:29:08 +0200 |
Doug Simon |
cleaner implementation of stable options
|
Thu, 06 Jun 2013 15:35:52 +0200 |
Doug Simon |
added support for stable options
|
Tue, 04 Jun 2013 15:42:42 +0200 |
Doug Simon |
option values are either initialized upon creation or they must provide a lazily initialized value
|
Mon, 03 Jun 2013 21:59:44 +0200 |
Doug Simon |
extensible option system (GRAAL-27)
|