lightsighter/Weft
A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels
CudaApache-2.0
Issues
- 5
Issue with Example Kernels
#10 opened - 0
Validate multiple CTAs per kernel
#9 opened - 0
- 0
- 0
Dump files in modeling language
#6 opened - 0
- 0
Multi-Dimensional CTAs
#4 opened - 1
Shared Memory Dataflow
#3 opened - 1
Precise Warp-Synchronous Execution
#2 opened - 0
Multiple Kernels
#1 opened