#1412 (Mar 6, 2021, 12:50:06 AM)

1. obsolete (see f3378101f555); (detail / hgweb)
2. merged (detail / hgweb)
3. more direct unlimited smt_timeout;
   update of certificates: generated command-line options are part of input / digest; (detail / hgweb)
4. clarified smt: support Timeout.ignored and Timeout.scale_time; (detail / hgweb)
5. clarified timeouts in Isabelle/ML; (detail / hgweb)
6. tuned --- more elementary Time operations; (detail / hgweb)
7. removed unused/pointless operation: Time.start is the load/init time of this Scala module; (detail / hgweb)
8. obsolete; (detail / hgweb)
9. clarified signature --- augment existing structure Time; (detail / hgweb)
10. rebuild SMT certificates from scratch; (detail / hgweb)
11. added lemmas (sublist|prefix|suffix)_list_all (detail / hgweb)
12. added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While (detail / hgweb)
13. added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI (detail / hgweb)
14. typo (detail / hgweb)
15. merged (detail / hgweb)
16. added upper bound on monomorphisation duplicate instances (detail / hgweb)
17. tuned best_slices in atp_config (detail / hgweb)
18. tuned exec field in atp_config (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.