Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| automaton/convert | ||
| automaton/determinize | ||
| automaton/generate | ||
| automaton/properties | ||
| automaton/run | ||
| automaton/simplify | ||
| automaton/transform | ||