tree f40274dee526239e4ba1fe3b60274e37372a190d
parent 80574f317770a090416f4d4b9eac59231699d500
author Jiakai Zhang <jiakaiz@google.com> 1673515956 +0800
committer Jiakai Zhang <jiakaiz@google.com> 1673574564 +0000

Consistently use the term "dexopt".

Terminology:
- "dexopt":
  - n. DEX optimization
  - v. to perform DEX optimization
- "dexopted": past tense and past participle of "dexopt"
- "dexopting": present participle of "dexopt"
- "dexoptable": can be dexopted

Bug: 265248684
Test: Presubmit
Ignore-AOSP-First: ART Services.
Change-Id: I35b2843cc357fee4aaf4845fb069a955b063f744