Skip to content

Conversation

@alexvbrdn
Copy link
Member

Fix #5: Performance issue on intersection
Fix #6: Execution timeout not respected on intersection and generate_strings

Fix #6: Execution timeout not respected on intersection and generate_strings
@alexvbrdn alexvbrdn self-assigned this Nov 16, 2024
@alexvbrdn alexvbrdn merged commit 8e465c7 into main Nov 16, 2024
1 check passed
@alexvbrdn alexvbrdn deleted the fix-issues-#5-#6 branch November 16, 2024 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Timeout not respected when computing intersection or generating strings Performance issue with intersection algorithm on complex automata

2 participants