| Tue, 25 Feb 2025 17:44:20 +0100 | desharna | compute right timeout (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:44:06 +0100 | desharna | tentatively catch Interrupt_Breakdown in Sledgehammer (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:44:01 +0100 | desharna | more tactics in tactic hammer (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:43:53 +0100 | desharna | tuned time slicing (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:43:48 +0100 | desharna | tuning time slices in Sledgehammer (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:41:52 +0100 | desharna | rescale Sledgehammer slice factor (to allow smaller time slices for tactics like auto) (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:37:45 +0100 | desharna | take chained facts into consideration in tactic hammer (from Jasmin) | file | diff | annotate |
| Tue, 25 Feb 2025 17:37:41 +0100 | desharna | initial work on Magnushammer-inspured tactic hammer (from Jasmin) | file | diff | annotate |