Build #380 (Sep 24, 2020 1:03:11 PM)

1. add reconstruction for the SMT solver veriT (detail / hgweb)
2. tuned (detail / hgweb)
3. more thorough treatment of division, particularly signed division on int and word (detail / hgweb)
4. canonical enum instance for word (detail / hgweb)
5. merged (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. proper ml_source: avoid duplicate Bash.string; (detail / hgweb)
8. misc tuning and clarification: prefer functions over data; (detail / hgweb)
9. tuned; (detail / hgweb)
10. misc tuning and clarification; (detail / hgweb)
11. tuned messages; (detail / hgweb)
12. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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