| 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)
|
