-
Notifications
You must be signed in to change notification settings - Fork 3
Patches for automata package? #24
Copy link
Copy link
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
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels