Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reduced heap hierarchy, for potentially improved performance;
  2. deactivated old tests;
  3. avoid slow proofs due to simp rules from 960509bfd47e;
Changeset 66932:149025fecca0 by wenzelm:
reduced heap hierarchy, for potentially improved performance;
The file was modified src/HOL/ROOT (diff)
Changeset 66931:4ff031d249b2 by wenzelm:
deactivated old tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66930:d4f7c6f14fa2 by wenzelm:
avoid slow proofs due to simp rules from 960509bfd47e;
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/Round.thy (diff)