cogumbreiro / faial-tutorial Star 4 Code Issues Pull requests A tutorial on how to use `faial`. static-analysis ocaml cuda static-analyzer data-race-freedom data-race-detector Updated Apr 15, 2024 Cuda