aniva/Pantograph

Timeout for tactics #102

New issue

Closed

opened 2024-09-09 23:49:44 -07:00 by aniva · 2 comments

aniva commented

2024-09-09 23:49:44 -07:00

Owner

Can we have timeout for tactics? if a tactic takes too long to run it could be shut down

Can we have timeout for tactics? if a tactic takes too long to run it could be shut down

aniva added the

labels

2024-09-09 23:49:44 -07:00

aniva self-assigned this

2024-09-09 23:49:44 -07:00

aniva commented

2024-12-11 01:16:38 -08:00

Author

Owner

https://github.com/leanprover/lean4/issues/3812

https://github.com/leanprover/lean4/issues/3812

aniva referenced this issue

2025-03-28 19:07:45 -07:00

feat: Tactic with timeout #179

aniva added a new dependency

2025-03-28 19:07:53 -07:00

#179 feat: Tactic with timeout

aniva added this to the v0.3 milestone

2025-03-28 19:08:16 -07:00

aniva commented

2025-03-28 21:32:05 -07:00

Author

Owner

Done #179

Done #179

aniva closed this issue

2025-03-28 21:32:05 -07:00

Sign in to join this conversation.

No labels

part/Environment

pending-measurement

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Depends on

#179 feat: Tactic with timeout

aniva/Pantograph

Reference: aniva/Pantograph#102

No description provided.