More mode awareness
Open
- Dominant language
- F*
- Stars
- 14
- Forks
- 0
- Avg merge
- 9h 19m
- Merged PRs (30d)
- 49
Description
It would be nice to make pulse more aware of the `__device__` and `__global__` CUDA modes, and error quickly if the calls are wrong. Otherwise, we have to verify, extract, run karamel, and then nvcc to find the problem.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.