Changes

Summary

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