changeset | 08b83f91a1b2 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Fabian Huch <huch@in.tum.de> |
description | disable taskset for now: performance impact is negative; |
files | src/Pure/System/host.scala |
changeset | cdc87eed26c7 |
---|---|
branch | |
bookmark | |
tag | |
user | Fabian Huch <huch@in.tum.de> |
description | allow specifying initial schedule; |
files | etc/options src/Pure/Build/build_schedule.scala |
changeset | 4359257218ce |
---|---|
branch | |
bookmark | |
tag | |
user | Fabian Huch <huch@in.tum.de> |
description | clarify use of num_threads vs. max_cpus; |
files | src/Pure/Build/build_schedule.scala |
changeset | dc4a387a6f02 |
---|---|
branch | |
bookmark | |
tag | |
user | Fabian Huch <huch@in.tum.de> |
description | clarified host: pre-load max threads; |
files | src/Pure/Build/build_schedule.scala |
changeset | 26b571c90808 |
---|---|
branch | |
bookmark | |
tag | |
user | Fabian Huch <huch@in.tum.de> |
description | clarified: more operations; |
files | src/Pure/Build/build_schedule.scala |
changeset | 8d153846f65f |
---|---|
branch | |
bookmark | |
tag | |
user | desharna |
description | added alias wfp for wfP |
files | NEWS src/HOL/Wellfounded.thy |
changeset | 6fc9c4344df4 |
---|---|
branch | |
bookmark | |
tag | |
user | desharna |
description | merged |
files |
changeset | caa9dbffd712 |
---|---|
branch | |
bookmark | |
tag | |
user | desharna |
description | added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset |
files | NEWS src/HOL/Wellfounded.thy |
changeset | 1966578feff8 |
---|---|
branch | |
bookmark | |
tag | |
user | Fabian Huch <huch@in.tum.de> |
description | start scheduled jobs earlier, if possible; |
files | src/Pure/Build/build_schedule.scala |
changeset | 91b7695c92cf |
---|---|
branch | |
bookmark | |
tag | |
user | desharna |
description | tuned proofs |
files | src/HOL/Wellfounded.thy |