#776 (Oct 31, 2018, 12:57:26 AM)

1. merged (detail / hgweb)
2. tuned example; (detail / hgweb)
3. added GHC.read_source: read Haskell source text with antiquotations;
   added "cartouche" antiquotation for ML string expressions as Haskell string literals; (detail / hgweb)
4. tuned -- prefer GHC.print_codepoint; (detail / hgweb)
5. support for GHC: string literals; (detail / hgweb)
6. some support for UTF-8 (similar to Isabelle/Scala version); (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned name (detail / hgweb)
9. add reconstruction by veriT in method smt (detail / hgweb)
10. split SMT reconstruction into library (detail / hgweb)

Started by an SCM change

This run spent:

• 7 min 24 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 23 min total from scheduled to completion.