Skip to content
Started 2 mo 25 days ago
Took 4 hr 26 min on workermtahpc

#4810 (Nov 29, 2023, 10:18:49 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. merged (detail / hgweb)
  2. more compact representation of theory_id -- via consecutive thread-local ids; (detail / hgweb)
  3. misc tuning and clarification; (detail / hgweb)
  4. more compact representation; (detail / hgweb)
  5. more compact representation; (detail / hgweb)
  6. tuned signature; (detail / hgweb)
  7. more compact representation of theory_id; (detail / hgweb)
  8. tuned signature; (detail / hgweb)
  9. compact representation of sets of integers; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 45 sec waiting;
  • 4 hr 26 min build duration;
  • 4 hr 29 min total from scheduled to completion.
Revision: 722937a213efddf9e871304d4fe956629e6f0a9b
Revision: 41e34fa525fe9361b8f9ba72caef335b0cb9b567