an extension that adds a device side abort function#808

Open

pjaaskel wants to merge 3 commits intoKhronosGroup:mainfrom pjaaskel:abort

+766

Commits on Apr 8, 2022

cl_pocl_device_side_abort rev 1
pjaaskel
committed

Commits on Apr 25, 2022

Device side abort updates and clarifications
pjaaskel
committed

Commits on May 14, 2022

Change the device side abort to 'ext' extension
pjaaskel
committed