#172 (Oct 17, 2016, 12:50:10 AM)

1. isabelle build -N; (detail / hgweb)
2. support for Non-Uniform Memory Access of separate CPU nodes; (detail / hgweb)
3. proper result; (detail / hgweb)
4. merged (detail / hgweb)
5. merged (detail / hgweb)
6. more thorough cleanup; (detail / hgweb)
7. tuned; (detail / hgweb)
8. removed useless operation -- would require bash_process wrapper; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. simplified SSH.Session: sftp channel is always open and its operations provided by the main interface; (detail / hgweb)
11. more robust; (detail / hgweb)
12. sftp.mkdirs according to 2a5dbad75355; (detail / hgweb)
13. more compression for big log files; (detail / hgweb)
14. clarified setup_repository: more uniform pull vs. clone, without update; (detail / hgweb)
15. proper setup of fresh repository; (detail / hgweb)
16. clarified prover-specific rules (detail / hgweb)
17. dropped potentially explosive rule for groebner simpset, with no observable effect on examples (detail / hgweb)
18. simplified fact references (detail / hgweb)
19. avoid effectively subsumed rules;
    simplified fact reference (detail / hgweb)
20. eliminated irregular aliasses (detail / hgweb)
21. avoid references to lemmas designed for prover tools (detail / hgweb)
22. clarified theorem names (detail / hgweb)
23. eliminated irregular aliasses (detail / hgweb)
24. more standardized theorem names for facts involving the div and mod identity (detail / hgweb)
25. transfer rules for divides relation on integer and natural (detail / hgweb)
26. more standardized names (detail / hgweb)
27. added lemma (detail / hgweb)
28. de-orphanized declaration (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.