3 ms·
We did start out with a miniKanren type inferencer and region inferencer, but I replaced it a couple months back with a unified type and region inferencer. Regi
by eholk 13y ago
We did start out with a miniKanren type inferencer and region inferencer, but I replaced it a couple months back with a unified type and region inferencer. Region inference is definitely an interesting challenge for miniKanren, since a lot of the constraints it introduces are soft. There are many legal region assignments, but deciding the best one requires some heuristics.
- swannodette 13y agoI see, thanks for the update! :)
- octo_t 13y agoHave you looked at GPUVerify[1] from Imperial College to verify the correctness of code produced? [1] - http://multicore.doc.ic.ac.uk/tools/GPUVerify/ http://multicore.doc.ic.ac.uk/tools/GPUVerify/