On Fri, May 13, 2022 at 7:47 PM Tsukasa OI wrote:
>
> Many properties for extension names are just in lowercase. On the other
> hand, following extension properties and "Counters" are capitalized.
>
> - Zifencei
> - Zicsr
> - Zfh
> - Zfhmin
> - Zve32f
> - Zve64f
>
> This commit choose
Many properties for extension names are just in lowercase. On the other
hand, following extension properties and "Counters" are capitalized.
- Zifencei
- Zicsr
- Zfh
- Zfhmin
- Zve32f
- Zve64f
This commit chooses lowercase as primary property names but keeps
capitalized names as alia