Runtime OpenCL device selection, allow seed=0 and fix allow-undefined user_header bug#954
Conversation
…time-opencl-device-selection
| endif | ||
|
|
||
| ifneq ($(findstring allow_undefined,$(STANCFLAGS)),) | ||
| ifneq ($(findstring allow_undefined,$(STANCFLAGS))$(findstring allow-undefined,$(STANCFLAGS)),) |
| } | ||
|
|
||
| bool is_valid(int value) { return value > 0 || value == _default_value; } | ||
| bool is_valid(int value) { return value >= 0 || value == _default_value; } |
Jenkins Console Log Machine informationProductName: Mac OS X ProductVersion: 10.11.6 BuildVersion: 15G22010CPU: G++: Clang: |
Jenkins Console Log Machine informationProductName: Mac OS X ProductVersion: 10.11.6 BuildVersion: 15G22010CPU: G++: Clang: |
Summary:
Fixes one part of #825
Fixes #941
Fixes #953
The main part of this PR is allowing runtime selection of OpenCL devices.
Specifying only platform or only device IDs will print
Using opencl args when the model was not compiled with STAN_OPENCL will print
Copyright and Licensing
Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company): Rok Češnovar
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses: