merge trunk
merge trunk
remove unused code
[Bug 3601804]: platformCPUID segmentation fault on Darwin
[Bug 3601804]: platformCPUID segmentation fault on Darwin
[Bug 3601804]: platformCPUID segmentation fault on Darwin
merge trunk
Slightly better compilation of some [array] cases.
More extensive use of the techniques to improve other edge cases in ensemble compilation.
Improve code generation for some ensemble subcommands in cases where full
compilation is impossible yet full ensemble invoking is unnecessary.
Also fix a few minor doc formatting bugs.
merge trunk