pteracuda

Code pulled with git from git://github.com/kevsmith/pteracuda.git with the last commit being 61a6180

These are Intersection warnings for pteracuda.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists ebin
pteracuda_bench.erl:12: The call pteracuda_bench:bench_cuda(B::any(),N::[integer()],10,[]) will never return since it differs in the 3rd and/or 4th argument from the success typing arguments: (any(),any(),0,[any(),...])

Applications