desharna [Fri, 28 Feb 2025 14:18:50 +0100] rev 82217
tuned code and signature of try0
desharna [Fri, 28 Feb 2025 12:46:25 +0100] rev 82216
tuned: restricted visibility of definitions
desharna [Fri, 28 Feb 2025 11:36:59 +0100] rev 82215
tuned signature
desharna [Fri, 28 Feb 2025 11:13:13 +0100] rev 82214
added type names and type annotations
desharna [Fri, 28 Feb 2025 10:42:40 +0100] rev 82213
tuned to use stronger type Time.time
desharna [Tue, 25 Feb 2025 17:44:20 +0100] rev 82212
compute right timeout (from Jasmin)
desharna [Tue, 25 Feb 2025 17:44:11 +0100] rev 82211
clarify inteaction of tactic hammer and suggest_of=smart (from Jasmin)
desharna [Tue, 25 Feb 2025 17:44:06 +0100] rev 82210
tentatively catch Interrupt_Breakdown in Sledgehammer (from Jasmin)
desharna [Tue, 25 Feb 2025 17:44:01 +0100] rev 82209
more tactics in tactic hammer (from Jasmin)
desharna [Tue, 25 Feb 2025 17:43:58 +0100] rev 82208
tactic hammer documentation (from Jasmin)