Verifying the functional correctness of SYCL programs
Open
enhancement
help wanted
- Dominant language
- LLVM
- Stars
- 1.5k
- Forks
- 854
- Avg merge
- 3d 17h
- Merged PRs (30d)
- 137
Description
Would there be any interest to develop tools to verify the functional and memory correctness of SYCL programs, for instance, via the [Viper](https://www.pm.inf.ethz.ch/research/viper.html) framework?
Contributor guide
Assessment
This issue has not been assessed yet.