#1523 (Aug 5, 2021, 3:44:33 AM)

1. prefer persistent hash code for cachable items (see also 72b13af7f266); (detail / hgweb)
2. merged (detail / hgweb)
3. more operations: record overall exported entities; (detail / hgweb)
4. merged (detail / hgweb)
5. added dummy_fof prover to Sledgehammer (detail / hgweb)
6. fixed malconfigured option output_dir in mirabelle (detail / hgweb)
7. merged (detail / hgweb)
8. clarified export of formal entities: name space info is always present, but content depends on option "export_theory"; (detail / hgweb)
9. proper name space "kind": this is a formal name, not comment; (detail / hgweb)
10. more uniform signatures in ML and Scala; (detail / hgweb)
11. merged (detail / hgweb)
12. fixed typo (detail / hgweb)
13. added dummy_thf prover to Sledgehammer (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 54 min waiting;
• 1 hr 30 min build duration;
• 4 hr 24 min total from scheduled to completion.