|
|
2e33a9cda9
|
Define a hash url for each example automaton
|
2024-05-16 20:53:10 +02:00 |
|
|
|
5f780c751a
|
Keep controls table while editing
|
2024-05-15 22:10:55 +02:00 |
|
|
|
76decaf203
|
Pass all touch events to the graph editor
|
2024-03-26 19:34:17 +01:00 |
|
|
|
642eed0717
|
Disable focus when the graph is blurred
|
2024-03-26 19:16:01 +01:00 |
|
|
|
fc555efbc0
|
Don't try to use an undefined transition list
|
2024-03-25 21:12:30 +01:00 |
|
|
|
b4e06d05c5
|
Fix svg height on Blink based browsers
|
2024-03-25 21:06:12 +01:00 |
|
|
|
8ce8f2ca49
|
Move the graph visualization behind a button
|
2024-03-21 21:14:20 +01:00 |
|
|
|
57256c76ab
|
Make the editor use the remaining page height
|
2024-03-20 20:03:49 +01:00 |
|
|
|
d9cd098b61
|
Switch to ESLint flat configs
|
2024-03-20 19:35:31 +01:00 |
|
|
|
450e34d42c
|
Silent invalid states when building a graph
|
2024-03-05 21:30:58 +01:00 |
|
|
|
b0dd188d52
|
Simulate nondeterministic automatons
|
2024-03-05 21:28:53 +01:00 |
|
|
|
bc3cac2460
|
Add i18n support
|
2024-03-05 21:11:35 +01:00 |
|
|
|
24b38a2eac
|
Fix swapped label positions with bidirectional links
|
2024-02-09 20:43:28 +01:00 |
|
|
|
a4959680cd
|
Add node labels and tweak node colors
|
2024-02-08 17:19:31 +01:00 |
|
|
|
8a0afe5f88
|
Tweak some colors
|
2024-02-06 22:31:42 +01:00 |
|
|
|
1f24556a48
|
Recreate letters when the graph changes
|
2024-02-06 22:25:10 +01:00 |
|
|
|
ead7f09aad
|
Add back button
|
2024-02-06 22:24:56 +01:00 |
|
|
|
e2022b409d
|
Add a modal for controls
|
2024-02-06 22:14:53 +01:00 |
|
|
|
877b162eaa
|
Introduce the FSM editor
|
2024-02-06 21:20:02 +01:00 |
|
|
|
be1cd8b39f
|
Migrate to a D3-based graph renderer
|
2024-02-03 20:47:22 +01:00 |
|
|
|
b68f84bc98
|
Add a level selector
|
2024-01-10 07:19:17 +01:00 |
|
|
|
987388b714
|
Add style to initial and accepting states
|
2024-01-09 21:15:57 +01:00 |
|
|
|
947b539b1d
|
Add a clear button
|
2024-01-08 19:42:52 +01:00 |
|
|
|
6a5888640c
|
Disable capitalization and spellcheck
|
2023-12-23 21:17:04 +01:00 |
|
|
|
f80161ee22
|
Initial commit
|
2023-12-21 21:44:03 +01:00 |
|
