true device-side caching of arrays #23
Description
Implement true device-side caching of arrays. That is, automatically allocating support buffers in GPU when host array is first used on-GPU, and deallocating them in case of memory shortage
{{ message }}