Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merged
  2. tuned document
  3. split AVL_Set.thy
  4. avoid passing chained facts twice to preplay in Sledgehammer
  5. tweaked Vampire's options + tuning
  6. more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError);
  7. back to more modest (but uniform) Java stack, see 97fc4f657bda;
  8. more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob;
  9. added lemmas
Changeset 71797:54d4bfa48025 by nipkow:
merged
Changeset 71796:641f4c8ffec8 by nipkow:
tuned document
The file was modified src/HOL/Data_Structures/Tree2.thy (diff)
Changeset 71795:8ad9b2d3dd81 by nipkow:
split AVL_Set.thy
The file was addedsrc/HOL/Data_Structures/AVL_Set_Code.thy
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 71794:ac28714b7478 by blanchet:
avoid passing chained facts twice to preplay in Sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
Changeset 71793:e771b8157fc7 by blanchet:
tweaked Vampire's options + tuning
The file was modified src/HOL/ATP.thy (diff)
The file was modified src/HOL/Sledgehammer.thy (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 71792:936718dede80 by wenzelm:
more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError);
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71791:bb72e75cec61 by wenzelm:
back to more modest (but uniform) Java stack, see 97fc4f657bda;
The file was modified etc/settings (diff)
The file was modified src/Tools/jEdit/etc/settings (diff)
Changeset 71790:97fc4f657bda by wenzelm:
more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob;
The file was modified etc/settings (diff)
The file was modified src/Tools/jEdit/etc/settings (diff)
Changeset 71789:3b6547bdf6e2 by nipkow:
added lemmas
The file was modified src/HOL/Library/Sublist.thy (diff)
The file was modified src/HOL/List.thy (diff)