Search results

Bugle cannot handle libclc's vstore_half with rounding

Status: Open.

#29 In mc-imperial/gpuverify;

· jeroenk opened on Feb 25, 2018

accessedOffsetInRangeCTimesLid and accessedOffsetInRangeCTimesGid invariant generation rules never trigger

bug

Status: Open.

#23 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Enable array bounds checking by default

enhancement

Status: Open.

#22 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Verification plan for invariant generation

enhancement

Status: Open.

#21 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Access-by-access analysis

enhancement

Status: Open.

#20 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Investigate incremental analysis

enhancement

Status: Open.

#19 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Introduce program slicing

enhancement

Status: Open.

#18 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Support the OpenCL C++ kernel language

enhancement

Status: Open.

#16 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Support CUDA mixed host/device source files

enhancement

Status: Open.

#15 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Add support for OpenCL 2

enhancement

Status: Open.

#14 In mc-imperial/gpuverify;

· jeroenk opened on Dec 17, 2017

Add async_work_group_strided_copy translation

enhancement

Status: Open.

#3 In mc-imperial/gpuverify;

· jeroenk opened on Apr 24, 2015

Start using the axioms that carry array information

enhancement

Status: Open.

#2 In mc-imperial/gpuverify;

· jeroenk opened on Apr 24, 2015