#1502 (Jul 13, 2021, 12:50:07 AM)

1. parse logical operators in the right order w.r.t. backtracking (detail / hgweb)
2. improved warning (detail / hgweb)
3. adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing) (detail / hgweb)
4. operations for symbolic computation of bit operations (detail / hgweb)
5. proper local context (detail / hgweb)

Started by an SCM change

This run spent:

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