Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. disable taskset for now: performance impact is negative;
  2. allow specifying initial schedule;
  3. clarify use of num_threads vs. max_cpus;
  4. clarified host: pre-load max threads;
  5. clarified: more operations;
Changeset 79929:08b83f91a1b2 by fabian huch _huch@in.tum.de_:
disable taskset for now: performance impact is negative;
The file was modified src/Pure/System/host.scala
Changeset 79928:cdc87eed26c7 by fabian huch _huch@in.tum.de_:
allow specifying initial schedule;
The file was modified etc/options
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79927:4359257218ce by fabian huch _huch@in.tum.de_:
clarify use of num_threads vs. max_cpus;
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79926:dc4a387a6f02 by fabian huch _huch@in.tum.de_:
clarified host: pre-load max threads;
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79925:26b571c90808 by fabian huch _huch@in.tum.de_:
clarified: more operations;
The file was modified src/Pure/Build/build_schedule.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Remove stuff following Isabelle/d0205dde00bb and related changesets
  2. fixed broken definitions and proofs following Isabelle/8d153846f65f
  3. Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq.
Changeset 14118:15aad96054f8 by desharna:
Remove stuff following Isabelle/d0205dde00bb and related changesets
The file was modified thys/Simple_Clause_Learning/Initial_Literals_Generalize_Learned_Literals.thy
The file was modified thys/Simple_Clause_Learning/SCL_FOL.thy
The file was modified thys/Simple_Clause_Learning/Termination.thy
The file was modified thys/Simple_Clause_Learning/Wellfounded_Extra.thy
Changeset 14117:290c21126e86 by desharna:
fixed broken definitions and proofs following Isabelle/8d153846f65f
The file was modified thys/HRB-Slicing/Proc/Interpretation.thy
The file was modified thys/HRB-Slicing/Proc/ValidPaths.thy
The file was modified thys/HRB-Slicing/Proc/WellFormProgs.thy
The file was modified thys/HRB-Slicing/Proc/WellFormed.thy
Changeset 14116:ec670862e318 by Emin Karayel _me@eminkarayel.de_:
Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq.
The file was modified thys/Universal_Hash_Families/Pseudorandom_Objects_Hash_Families.thy