[llvm-branch-commits] [mlir] [mlir][Properties] Shorten "Property" to "Prop" in most places (PR #120368)

[Krzysztof Drewniak via llvm-branch-commits]

krzysz00 wrote:

So as to note upcoming plans:
- EnumProp probably wants to move to `EnumAttr` and grow a real predicate.
- `IndexProp` and `APIntProp` (name subject to debate) should exist
- Once the infrastructure feels like it's in a solid shape, I intend to go on a rampage through the upstream dialects where things that could reasonably be properties (ex. integer scalars) get turned into properties

https://github.com/llvm/llvm-project/pull/120368