eclipse-plugins
eclipse-plugins copied to clipboard
Added optimization option
Added new option for optimization level: optimize aggressively for size
Could you rename the option option.optimization.level.size.aggressive?
Please also add this option to the riscv.core plug-in.
It seems ok.
There is a small remaining detail, please make your patch against the develop branch, since I have to test it before making the final release.