#1439 (Mar 6, 2018, 5:23:10 PM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. tuned (detail / hgweb)
4. Using plain Data.Array instead of DiffArray for Haskell Code Generation (detail / hgweb)
5. Using auto instead of simp;clarsimp;simp to discharge side conditions (detail / hgweb)
6. merged (detail / hgweb)
7. Fixes (detail / hgweb)
8. Fixed session deps (detail / hgweb)
9. merged (detail / hgweb)
10. Added examples from JAR paper to Containers and Collections (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 45 min build duration;
• 45 min total from scheduled to completion.