#1549 (Sep 14, 2021, 12:50:11 AM)

1. explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell) (detail / hgweb)
2. more latex macros; (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 2 hr 6 min build duration;
• 2 hr 6 min total from scheduled to completion.