#2128 (Feb 17, 2024, 12:50:11 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. more robust: check subclasses as well; (detail / hgweb)
4. more robust; (detail / hgweb)
5. support for alternative user home, e.g. to avoid slow NFS shares; (detail / hgweb)
6. support explicit USER_HOME within SSH session; (detail / hgweb)
7. tuned; (detail / hgweb)
8. merged (detail / hgweb)
9. Further adjustments to the syntax for Lebesgue integration (detail / hgweb)
10. tuned comments; (detail / hgweb)
11. more robust: always close, despite failure; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. tuned comments; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.