Add type checking features and UI - #62

Open

Josverl wants to merge 57 commits into

vshymanskyy:mainfrom

Josverl:feat/type_checking

Commits on Sep 1, 2026

build(typechecking): bundle pinned browser analysis dependencies

Josverl
and
Copilot
committed
a996262
feat(typechecking): add browser analysis service

Josverl
and
Copilot
committed
d7f6dc0
feat(typechecking): add settings and diagnostics UI

Josverl
and
Copilot
committed
8ff81b6
feat(typechecking): integrate editor and workspace lifecycle

Josverl
and
Copilot
committed
9a293ce
feat(typechecking): update worker version to v0.2.5
Josverl
committed
b35c679
Remove sizeOf method from fs_cache.js

vshymanskyy
authored and
Josverl
committed
9e5d529
feat(typechecking): Set mpy-cross as diagnostic source.
Josverl
committed
b8c9f04
feat(diagnostics): Rename diagnostics tab to Problems.
Josverl
committed
cb9dd00
feat(typechecking): Include ExceptionClass for mpy-cross diagnostics.
Josverl
committed
f943811
refactor: group typechecking modules
Josverl
committed
74a16d8
fix: quiet typechecking components by default
Josverl
committed
6622991
fix: default typechecking to opened files
Josverl
committed
5c4bd40
fix: trigger dotted completions reliably
Josverl
committed
1fa64fe
fixup: Formatting tests
Josverl
committed
321dad6
fix: improve layout and responsiveness of diagnostic items and terminal tabs
Josverl
committed
482c2bd
refactor: Switch to @mp-codemirror/ packages.
Josverl
committed
e331458
fix(typechecking): select the MicroPython stdlib stubs
Josverl
committed
65c636b
update @mp-codemirror/lsp-client and @mp-codemirror/pyright-worker
Josverl
committed
20f0dc2
Hide install from PyPI outside Advanced mode
Josverl
committed
3f88e7f
feat(typechecking): enhance stub package management and localization
Josverl
committed
617ae4c
feat(diagnostics): refactor layout of diagnostic items.
Josverl
committed
d583e4b
feat(typechecking): Add autodetect/select for type stubs.
Josverl
committed
7788da0
feat(deployment): add GitHub Actions workflow for deploying beta to Pages
Josverl
committed
e9f0602
Add Beta badge
Josverl
committed
46fd914
CI: Avoid competing for pages.
Josverl
committed
b60a9fd
feat(repl): Allow specifying name for BLEUART initialization.
Josverl
committed
5775c35
feat(css): Set max-width for CodeMirror tooltips to prevent resize feedback loop.
Josverl
committed
0eea434
fix(typechecking): finish Problems terminology rename
Josverl
committed
71bc939
deps: update @mp-codemirror/pyright-worker to version ^0.4.3
Josverl
committed
0c28571
deps: Update @micropython/micropython-webassembly-pyscript v1.29.0
Josverl
committed
ac660af
feat(build): Include build identifier in WASM URL for cache management
Josverl
committed
48fffe1
feat(local-build): Add support for local CodeMirror packages and enhance build scripts
Josverl
committed
5b38c1b
feat: select verified type-checking runtimes

Josverl
and
Copilot
committed
522392c
fix: await type-checking shutdown
Josverl
committed
a228e8d
deps: update pyright worker to 0.4.4

Josverl
and
Copilot
committed
676621d
fix(mcp): include password in connect_device call for serial connection
Josverl
committed
008558b

Commits on Sep 3, 2026

style: reformat build.py
Josverl
committed
500561e
fix(typechecking): report ready only after the runtime settles
Josverl
committed
eafc6e9
test: baseline browser test migration
Josverl
committed
02cf386
test: add Playwright browser tooling
Josverl
committed
a90423b
test: add shared Playwright helpers
Josverl
committed
f24b839
chore: add results/playwright to .gitignore
Josverl
committed
7db8630
test: convert browser suite to Playwright
Josverl
committed
cda0ea3
test: wire browser scripts to Playwright
Josverl
committed
d28c8f0
test: retire pytest browser stack
Josverl
committed
2765378
fix(typechecking): allow graceful worker shutdown
Josverl
committed
c1dbeca
ci: run Playwright browser tests
Josverl
committed
f9fdbdd
fix(typechecking): preserve integration after upstream rebase
Josverl
committed
ad206d5
fix(ci): provision browser test toolchain
Josverl
committed
44cb1dc
refactor(typechecking): adopt @mp-typing packages
Josverl
committed
89bc21e
feat(typechecking): integrate Viper tools stubs support
Josverl
committed
ffadf2c
feat(typechecking): Add documentation for type-checking integration.
Josverl
committed
96fed40
feat(typechecking): preserve editor extensions during runtime restarts
Josverl
committed
2ad3a30
fix(rawmode): improve ID formatting in board information output
Josverl
committed
40c6d5c
feat(docs): update README and Advanced Mode documentation with new type checking resources
Josverl
committed
e2a105e
feat: implement reusable input dialog for user prompts
Josverl
committed
083e06f
feat(typechecking): Improve stub package installation and caching behavior
Josverl
committed
ccc9495