Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/Tree.cbc @ 302:8e7926f3e271
fix CUDAWorker
author | ikkun |
---|---|
date | Mon, 13 Feb 2017 17:58:04 +0900 |
parents | 27bc962020de |
children | eec6553a2aa6 |
author | ikkun |
---|---|
date | Mon, 13 Feb 2017 17:58:04 +0900 |
parents | 27bc962020de |
children | eec6553a2aa6 |