Issues

• Bugle cannot handle libclc's vstore_half with rounding

  mc-imperial/gpuverify#29 · Filter by author jeroenk opened on Feb 25, 2018

• accessedOffsetInRangeCTimesLid and accessedOffsetInRangeCTimesGid invariant generation rules never trigger

  bug
  mc-imperial/gpuverify#23 · Filter by author jeroenk opened on Dec 17, 2017

• Enable array bounds checking by default

  enhancement
  mc-imperial/gpuverify#22 · Filter by author jeroenk opened on Dec 17, 2017

• Verification plan for invariant generation

  enhancement
  mc-imperial/gpuverify#21 · Filter by author jeroenk opened on Dec 17, 2017

• Access-by-access analysis

  enhancement
  mc-imperial/gpuverify#20 · Filter by author jeroenk opened on Dec 17, 2017

• Investigate incremental analysis

  enhancement
  mc-imperial/gpuverify#19 · Filter by author jeroenk opened on Dec 17, 2017

• Introduce program slicing

  enhancement
  mc-imperial/gpuverify#18 · Filter by author jeroenk opened on Dec 17, 2017

• Support the OpenCL C++ kernel language

  enhancement
  mc-imperial/gpuverify#16 · Filter by author jeroenk opened on Dec 17, 2017

• Support CUDA mixed host/device source files

  enhancement
  mc-imperial/gpuverify#15 · Filter by author jeroenk opened on Dec 17, 2017
  1

• Add support for OpenCL 2

  enhancement
  mc-imperial/gpuverify#14 · Filter by author jeroenk opened on Dec 17, 2017

• Add async_work_group_strided_copy translation

  enhancement
  mc-imperial/gpuverify#3 · Filter by author jeroenk opened on Apr 24, 2015

• Start using the axioms that carry array information

  enhancement
  mc-imperial/gpuverify#2 · Filter by author jeroenk opened on Apr 24, 2015