#1190 (Oct 1, 2017, 3:25:03 PM)

1. updated SMT certificates and added one test (detail / hgweb)
2. updated NEWS (detail / hgweb)
3. properly take quantifiers into account (cf. my Ph.D. thesis, Section 6.4.1) and offer three modes of completeness (for experiments mostly) (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 51 min total from scheduled to completion.