| Fri, 28 Mar 2025 16:37:58 +0100 |
desharna |
tuned
|
file |
diff |
annotate
|
| Fri, 28 Mar 2025 16:20:48 +0100 |
desharna |
removed debug commands
|
file |
diff |
annotate
|
| Fri, 28 Mar 2025 16:11:05 +0100 |
desharna |
refactored tactic-based provers in sledgehammer to use Try0 module
|
file |
diff |
annotate
|
| 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
|