Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. tuned structure and terminology
  3. tuned scope of lazy computation
  4. tuned data structure
  5. dropped dead code
  6. tuned name
  7. removed unclear clause; slower but clearer
  8. removed contribution by Daniel Stuewe, too detailed.
Changeset 64958:85b87da722ab by haftmann:
tuned
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64957:3faa9b31ff78 by haftmann:
tuned structure and terminology
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 64956:de7ce0fad5bc by haftmann:
tuned scope of lazy computation
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64955:25281bee02ac by haftmann:
tuned data structure
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64954:e5f535f90d61 by haftmann:
dropped dead code
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 64953:f9cfb10761ff by nipkow:
tuned name
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)
Changeset 64952:f11e974b47e0 by nipkow:
removed unclear clause; slower but clearer
The file was modified src/HOL/Data_Structures/RBT.thy (diff)
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)
Changeset 64951:140addd19343 by nipkow:
removed contribution by Daniel Stuewe, too detailed.
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)