Hi Gottfried,
Am 04.01.2013 um 14:09 schrieb Gottfried Barrow:
> So far I've managed to stay out of the development list, but this ties into
> what I saw in the past in my experiments with Sledgehammer, and how many ATPs
> it would launch at a time, which was a maximum of four even though an i7
On 01/04/2013 01:37 PM, Jasmin Blanchette wrote:
Hi Makarius,
Change cb5cdbb645cd ("clarified bootstrapping of Pure") altered the semantics of
Multithreading.max_threads_value ()
with Poly/ML. Namely, all of a sudden the function returns 1 instead of 4 on a 4-CPU machine, which seems
str
On 1/4/2013 6:37 AM, Jasmin Blanchette wrote:
Hi Makarius,
Change cb5cdbb645cd ("clarified bootstrapping of Pure") altered the semantics of
Multithreading.max_threads_value ()
with Poly/ML. Namely, all of a sudden the function returns 1 instead of 4 on a 4-CPU machine, which seems
strage
Hi Makarius,
Change cb5cdbb645cd ("clarified bootstrapping of Pure") altered the semantics of
Multithreading.max_threads_value ()
with Poly/ML. Namely, all of a sudden the function returns 1 instead of 4 on a
4-CPU machine, which seems strage as a default for a function called
"max_threads
