Commit graph

66 commits

Author SHA1 Message Date
Parker TenBroeck
28ca8731c3 Deploy 2026-01-10 12:13:24 -05:00
Parker TenBroeck
6e2206c6e9 Merge branch 'main' into gh-pages 2026-01-10 12:13:24 -05:00
Parker TenBroeck
51d5fb5213 customizable graph fonts, nodes fit to id length 2026-01-10 12:13:20 -05:00
Parker TenBroeck
a74a0ed149 Deploy 2026-01-10 11:48:25 -05:00
Parker TenBroeck
aad37e5b84 Merge branch 'main' into gh-pages 2026-01-10 11:48:24 -05:00
Parker TenBroeck
62733fc74a fixed style issue on hover for graph 2026-01-10 11:48:21 -05:00
Parker TenBroeck
95b8bcc0cb Deploy 2026-01-10 11:23:25 -05:00
Parker TenBroeck
2f36e9f85b Merge branch 'main' into gh-pages 2026-01-10 11:23:25 -05:00
Parker TenBroeck
0a7e2200dc updated share to use base 64 encoding 2026-01-10 11:23:21 -05:00
Parker TenBroeck
b46f0efa03 Deploy 2026-01-10 11:16:16 -05:00
Parker TenBroeck
401182bf72 Merge branch 'main' into gh-pages 2026-01-10 11:16:16 -05:00
Parker TenBroeck
2edc7aca3c added example selector, added share button, added saving to local storage, layout change 2026-01-10 11:16:11 -05:00
Parker TenBroeck
bfcd0405f3 Deploy 2026-01-09 23:24:04 -05:00
Parker TenBroeck
a304f9c3f4 Merge branch 'main' into gh-pages 2026-01-09 23:24:03 -05:00
Parker TenBroeck
9dcef68d82 fixed final state parsing for FA, made FA transitions more visually appealing, supported identifiers starting with a numeric character 2026-01-09 23:23:58 -05:00
Parker TenBroeck
bdba6d0f18 Deploy 2026-01-09 23:12:02 -05:00
Parker TenBroeck
c961fc0275 Merge branch 'main' into gh-pages 2026-01-09 23:12:01 -05:00
Parker TenBroeck
4b83fe4759 fixed log(0) error 2026-01-09 23:11:57 -05:00
Parker TenBroeck
42cda4e74a Deploy 2026-01-09 23:09:03 -05:00
Parker TenBroeck
bd8c341ae8 Merge branch 'main' into gh-pages 2026-01-09 23:09:03 -05:00
Parker TenBroeck
3f460f015f fixed issue with pda parsing 2026-01-09 23:08:58 -05:00
Parker TenBroeck
d5ca237455 Deploy 2026-01-09 22:55:46 -05:00
Parker TenBroeck
e99962f087 Merge branch 'main' into gh-pages 2026-01-09 22:55:45 -05:00
Parker TenBroeck
62cda62b31 loading machines visually now downs 2026-01-09 22:55:39 -05:00
Parker TenBroeck
c57a95b7b5 reorganized project 2026-01-09 21:18:25 -05:00
ParkerTenBroeck
34b20ec1fe changed how machines are parsed/represented 2026-01-09 20:13:09 -05:00
Parker TenBroeck
132380e777 sync 2026-01-09 14:20:42 -05:00
Parker TenBroeck
a113dc592e Deploy 2026-01-08 22:15:06 -05:00
Parker TenBroeck
1876ed3222 Merge branch 'main' into gh-pages 2026-01-08 22:15:05 -05:00
Parker TenBroeck
8a133bf407 show final and initial states properly 2026-01-08 22:15:01 -05:00
Parker TenBroeck
5444f49919 Deploy 2026-01-08 21:53:33 -05:00
Parker TenBroeck
6784b199bb Merge branch 'main' into gh-pages 2026-01-08 21:53:31 -05:00
ParkerTenBroeck
821c6a6aad organized graph style, added icon 2026-01-08 20:02:22 -05:00
ParkerTenBroeck
47d7482342 fixed npda crash on duplicate states/symbols, reduced font size for edges, fixed incorrect caret color, fixed edge label alignment 2026-01-08 19:00:14 -05:00
ParkerTenBroeck
13bcab9cd1 fixed small issue where main vertical splitter was causing overflow 2026-01-08 17:06:32 -05:00
Parker TenBroeck
f0897fede6 Deploy 2026-01-07 21:35:37 -05:00
Parker TenBroeck
04be736853 Deploy 2026-01-07 21:28:20 -05:00
Parker TenBroeck
31b554e776 Merge branch 'main' into gh-pages 2026-01-07 21:28:18 -05:00
Parker TenBroeck
7b1693e9d2 live graph updates from input 2026-01-07 21:28:14 -05:00
Parker TenBroeck
75ef0dc303 Deploy 2026-01-07 16:41:27 -05:00
Parker TenBroeck
11beb9cc1d Merge branch 'main' into gh-pages 2026-01-07 16:41:25 -05:00
Parker TenBroeck
268b1d80d1 deploy script.. 2026-01-07 16:40:29 -05:00
Parker TenBroeck
f341a880de deploy again... 2026-01-07 16:38:14 -05:00
Parker TenBroeck
6d43cc432f deploy script broke 2026-01-07 16:36:45 -05:00
Parker TenBroeck
34fe5f1b94 fixed another deploy script issue 2026-01-07 16:35:26 -05:00
Parker TenBroeck
620415c824 semi finalized theming 2026-01-07 16:32:28 -05:00
Parker TenBroeck
1a55e7eeb0 Deploy 2026-01-07 14:30:59 -05:00
Parker TenBroeck
c12f7b325f fixed yet again another issue in the script 2026-01-07 14:30:51 -05:00
Parker TenBroeck
942849a15c fixed another issue in script 2026-01-07 14:28:49 -05:00
Parker TenBroeck
1f5e5210ea fixed another issue with script 2026-01-07 14:22:39 -05:00