Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more compact representation of theory_id -- via consecutive thread-local ids;
  3. misc tuning and clarification;
  4. more compact representation;
  5. more compact representation;
  6. tuned signature;
  7. more compact representation of theory_id;
  8. tuned signature;
  9. compact representation of sets of integers;
  10. generated build schedule explicitly (e.g., for further analysis);
Changeset 79082:722937a213ef by wenzelm:
merged
Changeset 79081:9d6359b71264 by wenzelm:
more compact representation of theory_id -- via consecutive thread-local ids;
The file was modified src/Pure/context.ML (diff)
Changeset 79080:2c457c4cd486 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/General/bitset.ML (diff)
Changeset 79079:01f9128ec655 by wenzelm:
more compact representation;
The file was modified src/Pure/General/bitset.ML (diff)
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 79078:238c4acdf984 by wenzelm:
more compact representation;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 79077:6b071d4041d5 by wenzelm:
tuned signature;
The file was modified src/Pure/General/bitset.ML (diff)
Changeset 79076:a1b5357b5473 by wenzelm:
more compact representation of theory_id;
The file was modified src/Pure/context.ML (diff)
Changeset 79075:e671abce8f8e by wenzelm:
tuned signature;
The file was modified src/Pure/General/bitset.ML (diff)
Changeset 79074:7f24c5be57bd by wenzelm:
compact representation of sets of integers;
The file was addedsrc/Pure/General/bitset.ML
The file was modified src/Pure/ROOT.ML (diff)
Changeset 79073:b3fee0dafd72 by fabian huch _huch@in.tum.de_:
generated build schedule explicitly (e.g., for further analysis);
The file was modified src/Pure/Tools/build_schedule.scala (diff)