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
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)