Add Support for OpenCL Alignment Decoration#12

Closed

tonghaining wants to merge 10 commits intodevelopmentfrom

opencl-alignment

Commits on May 16, 2025

Do not print empty/true filters (#888)

hernanponcedeleon
and
hernan-poncedeleon
authored
Improve C litmus grammar (#887)

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on May 17, 2025

Add warnings for empty pointer sets in FieldSensitiveAndersen and AndersenAliasAnalysis. (#890)
xeren
authored

Commits on May 20, 2025

Fixes to cat grammar (#891)

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on May 22, 2025

SCCP across threads and better allocation of thread-local variables (#892)
ThomasHaas
authored

Commits on May 23, 2025

Generic LKMM Intrinsics (#889)

xeren
and
ThomasHaas
authored

Commits on May 26, 2025

Remove unnecessary includes in cat models (#895)

hernanponcedeleon
and
hernan-poncedeleon
authored

Commits on May 30, 2025

Add batch execution mode (#894)

hernanponcedeleon
and
hernan-poncedeleon
authored
Add Supports for OpenCL Alignment Decoration

tonghaining
authored and
hernanponcedeleon
committed
SPIR-V Alignment and ArrayStride

natgavrilenko
authored and
hernanponcedeleon
committed