halide/Halide — pull request #376 by abadams (2014-07-15 22:43:04+00:00)
Title: Gpu device selection

Makes it possible to set gpu device selection vars programmatically, and have them depend on user_context.