#1261 (Oct 31, 2017, 10:28:05 PM)

1. removed unused option, which is potentially expensive; (detail / hgweb)
2. allow to augment session context via explicit session infos;
   more compact required_session interface; (detail / hgweb)
3. synthesize session with all required theories from other session imports; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified signature: global_theories is always required; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. clarified modules; (detail / hgweb)
12. minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; (detail / hgweb)
13. more permissive: db could be empty after hard crash; (detail / hgweb)
14. no censorship (in contrast to 2c828c830ad7); (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 2 hr 15 min build duration;
• 2 hr 20 min total from scheduled to completion.