faial.js
Data-race analysis of a CUDA kernel, entirely in the page: clang’s frontend and Z3 as WebAssembly, faial as JavaScript.
Assumptions
What the analysis may take for granted. Leave these alone to get faial's standard answer.
loading…
Data-race analysis of a CUDA kernel, entirely in the page: clang’s frontend and Z3 as WebAssembly, faial as JavaScript.
What the analysis may take for granted. Leave these alone to get faial's standard answer.