Started 9 hr 6 min ago
Took 1 hr 36 min on workermtahpc

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

Changes
  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.
Revision: 1d805c5e906da4ddc0c5229029f79642705940b3