diff options
| author |  Rasmus Larsen <rmlarsen@google.com> | 2019-02-26 20:37:26 +0000 |
|---|---|---|
| committer | Rasmus Larsen <rmlarsen@google.com> | 2019-02-26 20:37:26 +0000 |
| commit | 9558f4c25f6f8dc3d5fce9379f435d23d6b79f3d (patch) | |
| tree | 271ffdb34a2505a14e7960d43a46829a8042629d /blas | |
| parent | 2ca1e732398ea2c506427e9031212d63e9253b96 (diff) | |
| parent | 6560692c670bcf34fc922474bf37f3c18b8768af (diff) | |
Merged in rmlarsen/eigen_threadpool (pull request PR-596)
Improve EventCount used by the non-blocking threadpool.
Approved-by: Gael Guennebaud <g.gael@free.fr>
Diffstat (limited to 'blas')
0 files changed, 0 insertions, 0 deletions