Giters
SoftwareFoundationGroupAtKyotoU
/
VeriCUDA
Deductive verifier for CUDA
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
12
Issues:
1
Forks:
1
SoftwareFoundationGroupAtKyotoU/VeriCUDA Issues
apply_complex_eqn が無限ループ
Updated
8 years ago