Skip to content
Started 2 mo 13 days ago
Took 1 hr 1 min on workerls21cluster

#581 (Dec 11, 2023, 9:48:05 AM)

Changes

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

  1. more zproofs; (detail)
  2. minor performance tuning: more direct abstraction level; (detail)
  3. more general Logic.incr_indexes_operation;
    more special Logic.incr_indexes; (detail)
  4. tuned; (detail)
  5. tuned; (detail)
  6. clarified modules; (detail)
  7. clarified ML; (detail)
  8. clarified signature;
    minor performance tuning; (detail)
  9. tuned signature; (detail)
  10. avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292); (detail)
  11. tuned; (detail)
  12. more robust: proper Proofterm.get_proofs_level with bound check; (detail)
  13. tuned; (detail)
  14. clarified signature: fewer tuples; (detail)
  15. clarified signature: fewer tuples; (detail)
  16. clarified signature: more explicit get_proofs_level with bounds check; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. adapted to Isabelle/99bc2dd45111; (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 1 hr 1 min build duration;
  • 1 hr 3 min total from scheduled to completion.
Revision: 4a1a25bdf81d4bce03c02f11203eb9ad6a5ad478
Revision: 3366535204367baafd304b505cefbc7dd21b38e3