| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | .gitlab-ci.yml | 23L |
| -rw-r--r-- | Cargo.lock | 286L |
| -rw-r--r-- | Cargo.toml | 52L |
| -rw-r--r-- | DFAs/dual_finals_interesting.dfa | 15L |
| -rw-r--r-- | DFAs/even_ones.dfa | 11L |
| -rw-r--r-- | DFAs/tests/dual_finals_interesting.dfa.expect | 31L |
| -rw-r--r-- | DFAs/tests/dual_finals_interesting.dfa.input | 31L |
| -rw-r--r-- | DFAs/tests/even_ones.dfa.expect | 76L |
| -rw-r--r-- | DFAs/tests/even_ones.dfa.input | 76L |
| -rw-r--r-- | ENFAs/comp1600_a3_q3.enfa | 14L |
| -rw-r--r-- | ENFAs/ending_with_01.enfa | 12L |
| -rw-r--r-- | ENFAs/even_0s_or_1s.enfa | 14L |
| -rw-r--r-- | ENFAs/every_0_followed_by_1.enfa | 12L |
| -rw-r--r-- | ENFAs/tests/comp1600_a3_q3.enfa.expect | 33L |
| -rw-r--r-- | ENFAs/tests/comp1600_a3_q3.enfa.input | 33L |
| -rw-r--r-- | ENFAs/tests/ending_with_01.enfa.expect | 38L |
| -rw-r--r-- | ENFAs/tests/ending_with_01.enfa.input | 38L |
| -rw-r--r-- | ENFAs/tests/even_0s_or_1s.enfa.expect | 59L |
| -rw-r--r-- | ENFAs/tests/even_0s_or_1s.enfa.input | 59L |
| -rw-r--r-- | ENFAs/tests/every_0_followed_by_1.enfa.expect | 43L |
| -rw-r--r-- | ENFAs/tests/every_0_followed_by_1.enfa.input | 43L |
| -rw-r--r-- | NFAs/ending_with_01.nfa | 12L |
| -rw-r--r-- | NFAs/even_ones.nfa | 11L |
| -rw-r--r-- | NFAs/tests/ending_with_01.nfa.expect | 38L |
| -rw-r--r-- | NFAs/tests/ending_with_01.nfa.input | 38L |
| -rw-r--r-- | NFAs/tests/even_ones.nfa.expect | 76L |
| -rw-r--r-- | NFAs/tests/even_ones.nfa.input | 76L |
| -rw-r--r-- | README | 70L |
| -rw-r--r-- | README.org | 52L |
| -rw-r--r-- | src/bin/dfa.rs | 49L |
| -rw-r--r-- | src/bin/enfa.rs | 58L |
| -rw-r--r-- | src/bin/nfa.rs | 58L |
| -rw-r--r-- | src/bin/regex.rs | 48L |
| -rw-r--r-- | src/lib/automaton.rs | 198L |
| -rw-r--r-- | src/lib/dfa.rs | 292L |
| -rw-r--r-- | src/lib/enfa.rs | 509L |
| -rw-r--r-- | src/lib/graph_enfa.rs | 428L |
| -rw-r--r-- | src/lib/nfa.rs | 451L |
| -rw-r--r-- | src/lib/regex.rs | 333L |
| -rw-r--r-- | src/lib/tests/dfa_tests.rs | 78L |
| -rw-r--r-- | src/lib/tests/enfa_tests.rs | 82L |
| -rw-r--r-- | src/lib/tests/nfa_tests.rs | 82L |
| -rw-r--r-- | src/lib/tests/regex_tests.rs | 195L |
| -rw-r--r-- | src/lib/tests/testlib/util.rs | 44L |
| -rw-r--r-- | src/lib/web_automaton.rs | 148L |
| -rw-r--r-- | web/.gitignore | 175L |
| -rw-r--r-- | web/build.ts | 19L |
| -rwxr-xr-x | web/bun.lockb | 10016B |
| -rw-r--r-- | web/index.html | 47L |
| -rw-r--r-- | web/package.json | 20L |
| -rw-r--r-- | web/pkg/automaton.d.ts | 101L |
| -rw-r--r-- | web/pkg/automaton.js | 484L |
| -rw-r--r-- | web/pkg/automaton_bg.wasm | 181736B |
| -rw-r--r-- | web/pkg/automaton_bg.wasm.d.ts | 20L |
| -rw-r--r-- | web/pkg/package.json | 14L |
| -rw-r--r-- | web/src/main.ts | 87L |
