feat: add diagnostics#8

Merged

roife merged 12 commits into

pascal-lab:masterfrom

hongjr03:feat/diagnostic

Apr 14, 2026

Commits on Apr 14, 2026

feat: wire up Slang diagnostics FFI

hongjr03
authored and
roife
committed
feat: expose parse diagnostics

hongjr03
authored and
roife
committed
feat(lsp): publish parse diagnostics

hongjr03
authored and
roife
committed
feat(ide): surface semantic diagnostics

hongjr03
authored and
roife
committed
feat(lsp): support document diagnostic pull

hongjr03
authored and
roife
committed
feat(lsp): include diagnostics with code actions

hongjr03
authored and
roife
committed
feat(lsp): add workspace diagnostics pull

hongjr03
authored and
roife
committed
feat(lsp): request workspace diagnostic refresh

hongjr03
authored and
roife
committed
feat(lsp): flag missing port fixes as quick fixes

hongjr03
authored and
roife
committed
feat(lsp): complete pull diagnostics support
roife
committed
feat(config): allow disabling semantic diagnostics
roife
committed
fix(base-db): clean rebase artifact
roife
committed