Build #390 (Jun 27, 2017 3:33:08 AM)

1. parse length-0 enums as well in Nunchaku (detail / hgweb)
2. extended and renamed Nunchaku's Kodkod bounds (detail / hgweb)
3. repaired Nunchaku cache handing (detail / hgweb)
4. added Kodkod-specific options to Nunchaku (detail / hgweb)
5. tuning (detail / hgweb)
6. better model parsing and display in Nunchaku (detail / hgweb)
7. properly parenthesize copy types in Nunchaku (detail / hgweb)
8. proper Bash escaping (detail / hgweb)
9. more precise output for Nunchaku (detail / hgweb)
10. added singular 'solver' option to Nunchaku (detail / hgweb)
11. got rid of unsound and needless beta-reduction in Nunchaku frontend (detail / hgweb)
12. tuned Nunchaku's output (detail / hgweb)
13. updated parser for Nunchaku irrelevant output (detail / hgweb)
14. use proper syntax with nunchaku tool (detail / hgweb)
15. 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:

• 5.2 sec waiting in the queue;
• 1 hr 36 min building on an executor;
• 1 hr 36 min total from scheduled to completion.