Build #70 (Sep 19, 2021, 12:14:00 AM)

1. clarified operations: follow Isabelle/ML more closely; (detail)
2. provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche; (detail)
3. obsolete; (detail)
4. tuned; (detail)
5. clarified name and options for old vampire-4.2.2; (detail)
6. clarified signature; (detail)
7. explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell) (detail)
8. more latex macros; (detail)
9. tuned; (detail)
10. clarified signature; (detail)
11. more antiquotations; (detail)
12. more antiquotations; (detail)
13. more antiquotations; (detail)
14. more antiquotations;
    more formal use of consts; (detail)
15. more antiquotations;
    more formal use of consts; (detail)
16. clarified antiquotations; (detail)
17. more antiquotations; (detail)
18. more antiquotations; (detail)
19. more antiquotations; (detail)
20. clarified antiquotation; (detail)
21. more antiquotations; (detail)
22. more antiquotations; (detail)
23. more antiquotations; (detail)
24. tuned; (detail)
25. ML antiquotations for type constructors and term constants; (detail)
26. more antiquotations; (detail)

1. explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell) (detail)
2. tuned signature, according to Isabelle/28a582aa25dd; (detail)

Started by timer

This run spent:

• 54 ms waiting;
• 1 day 6 hr build duration;
• 1 day 6 hr total from scheduled to completion.

Timeout has been exceeded