Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated package;
  2. tuned;
  3. tuned
  4. dropped dead code
  5. ensure no duplicates after preprocessing
  6. reject polymorphic result types; formally generalized to multiple result types
  7. explicit a-priori detection of unsuitable terms for computations
Changeset 64949:09b872c58c32 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 64948:e655d965307c by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 64947:f6ad52152040 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)
Changeset 64946:03b5f4e7f4a6 by haftmann:
dropped dead code
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64945:4db1aa362c8c by haftmann:
ensure no duplicates after preprocessing
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64944:27b1ba3ef778 by haftmann:
reject polymorphic result types;<br>formally generalized to multiple result types
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64943:c5618df67c2a by haftmann:
explicit a-priori detection of unsuitable terms for computations
The file was modified src/Tools/Code/code_runtime.ML (diff)