Pietro Fezzardi 2f692127f9 OpaqueType: model verification and name import ...

Teach Clift's verify-against-model and ImportDescriptiveInfo
visitors about types whose handle has the OpaqueType rank: the
verifier rejects non-struct types with such handles, and the name
importer fills in the type's mutable name with
NameBuilder::opaqueTypeName based on the wrapped byte size.

2026-05-08 11:37:10 +02:00

..

CMakeLists.txt

model-verify-clift -> verify-against-model

2026-04-22 08:19:30 +00:00

ImportDescriptiveInfo.cpp

OpaqueType: model verification and name import

2026-05-08 11:37:10 +02:00

ImportTypes.cpp

Pass MLIRContext by address

2026-04-30 15:09:16 +03:00

Verify.cpp

OpaqueType: model verification and name import

2026-05-08 11:37:10 +02:00