#1904 (Mar 2, 2023, 12:50:06 AM)

1. tweaked Sledgehammer interaction (detail / hgweb)
2. there won't be an E version 2.7 (detail / hgweb)
3. reverted 0506c3273814 -- the message is still useful (detail / hgweb)
4. compile (detail / hgweb)
5. adopt terminology suggested by Larry Paulson (detail / hgweb)
6. more robust E proof parsing (detail / hgweb)
7. avoid double 'Warning:' in Sledgehammer messages (detail / hgweb)
8. tweaked abduction in Sledgehammer (detail / hgweb)
9. slightly more documentation (detail / hgweb)
10. renamed new Sledgehammer option (detail / hgweb)
11. updated documentation (detail / hgweb)
12. improve ad hoc abduction in Sledgehammer (detail / hgweb)
13. tuning (detail / hgweb)
14. don't apply abduction and consistency checking to goals of the form 'False' (detail / hgweb)
15. implemented ad hoc abduction in Sledgehammer with E (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.