Giters
firetto
/
Walnut
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
1
Issues:
6
Forks:
2
firetto/Walnut Issues
Bug with `eval` on automata with two inputs over `{0, 1} {0, 1}`
Closed
a year ago
Comments count
3
Mysterious errors for integration tests
Closed
a year ago
Comments count
1
minimizing non msd_k automata adds a dead state which should be removed after
Closed
a year ago
transducers do not need an output per state to be specified
Closed
2 years ago
expandWildcard should be in UtilityMethods or ParseMethods
Updated
2 years ago
Expand documentation for Walnut developers
Updated
2 years ago