-
Notifications
You must be signed in to change notification settings - Fork 3
Open
Description
README.md says
We had to patch the IntersectionAutomaton, UnionAutomata and ProductLanguage from the Automata pkg (version 1.13) to improve performance testing. The patched functions are located in lib/automata.* .
Are you really patching functions? I see no trace for that; rather it seems you provide alternative functions with different name?
either way: would it make sense to contribute these changes back to the automata package, which is also hosted here on GitHub
Metadata
Metadata
Assignees
Labels
No labels