#1156 (Sep 8, 2017, 4:16:38 AM)

1. removed obsolete session (detail / hgweb)
2. more robust backend identification (detail / hgweb)
3. correctly locate SMBC from Nunchaku (detail / hgweb)
4. added/updated components (detail / hgweb)
5. tuned whitespace in Nunchaku output (detail / hgweb)
6. eliminate artifact of translation in printed Nunchaku model (detail / hgweb)
7. nicer numeral output for nats and ints in Nunchaku (detail / hgweb)
8. rephrased error (detail / hgweb)
9. tweaked Nunchaku bounds (detail / hgweb)
10. speed up proofs slightly (detail / hgweb)
11. use right attribute separator in Nunchaku (detail / hgweb)
12. parse length-0 enums as well in Nunchaku (detail / hgweb)
13. extended and renamed Nunchaku's Kodkod bounds (detail / hgweb)
14. repaired Nunchaku cache handing (detail / hgweb)
15. added Kodkod-specific options to Nunchaku (detail / hgweb)
16. tuning (detail / hgweb)
17. better model parsing and display in Nunchaku (detail / hgweb)
18. properly parenthesize copy types in Nunchaku (detail / hgweb)
19. proper Bash escaping (detail / hgweb)
20. more precise output for Nunchaku (detail / hgweb)
21. added singular 'solver' option to Nunchaku (detail / hgweb)
22. got rid of unsound and needless beta-reduction in Nunchaku frontend (detail / hgweb)
23. tuned Nunchaku's output (detail / hgweb)
24. updated parser for Nunchaku irrelevant output (detail / hgweb)
25. use proper syntax with nunchaku tool (detail / hgweb)
26. moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 35 min waiting;
• 5 hr 1 min build duration;
• 6 hr 36 min total from scheduled to completion.