VSCode extension has broken link to the repository for the language server

[banshee]

Not sure where to report this, since the problem is that the link to where I want to make the report is itself broken...

https://marketplace.visualstudio.com/items?itemName=Certora.evmspec-lsp

Links to https://github.com/Certora/CVL-LanguageServer as the repository. That link is 404.

[yoav-el-certora]

This is not a broken link.
The CVL-LanguageServer is a private repository.

Do you have any issue to report within the VSCode extension?

[banshee]

If it's a private link, I think you should take the repository section out of the submission and use the --allow-missing-repository flag. Right now, it shows up here in the Resources section, and since it's private it looks like a broken link to anyone not on the team:

[banshee]

This also means that when you use the VSCode builtin bug report (Help: Report Issue) it builds a URL like this, that also goes to github 404 page:

https://github.com/Certora/CVL-LanguageServer/issues/new?title=Gives%20error&body=%0AType%3A%20%3Cb%3EBug%3C%2Fb%3E%0A%0A%5BError%20-%208%3A48%3A54%20AM%5D%20Request%20textDocument%2Fformatting%20failed.%0A%20%20Message%3A%20error%20while%20formatting%20valid%20AST.%20got%3A%20java.lang.IllegalStateException%3A%20invariant%20broken%3A%20we%20do%20not%20visit%20the%20same%20node%20twice%20(got%20k%20%3D%20DispatchList(range%3Ddummy%20file%3A14%3A66%2C%20dispatcherList%3D%5BParams(sig%3DSimpleToken.allowance(UnnamedVMParam(IdLhs(range%3Ddummy%20file%3A14%3A114%2C%20id%3Daddress))%2C%20UnnamedVMParam(IdLhs(range%3Ddummy%20file%3A14%3A123%2C%20id%3Daddress))))%5D%2C%20default%3Dnull%2C%20flags%3DFlagList(parsedOptimistic%3Dtrue%2C%20parsedUseFallback%3Dnull)%2C%20summarizationMode%3Dnull)%2C%20v%20%3D%20dummy%20file%3A14%3A66%2C%20prev%20%3D%20dummy%20file%3A14%3A66%20aka%20DispatchList(range%3Ddummy%20file%3A14%3A66%2C%20dispatcherList%3D%5BParams(sig%3DSimpleToken.allowance(UnnamedVMParam(IdLhs(range%3Ddummy%20file%3A14%3A114%2C%20id%3Daddress))%2C%20UnnamedVMParam(IdLhs(range%3Ddummy%20file%3A14%3A123%2C%20id%3Daddress))))%5D%2C%20default%3Dnull%2C%20flags%3DFlagList(parsedOptimistic%3Dtrue%2C%20parsedUseFallback%3Dnull)%2C%20summarizationMode%3Dnull))%0A%0A%20%20Code%3A%20-32700%20%0A%0A%0AExtension%20version%3A%201.0.30%0AVS%20Code%20version%3A%20Code%201.107.1%20(Universal)%20(994fd12f8d3a5aa16f17d42c041e5809167e845a%2C%202025-12-17T14%3A15%3A14.850Z)%0AOS%20version%3A%20Darwin%20arm64%2025.2.0%0AModes%3A%0ARemote%20OS%20version%3A%20Linux%20x64%206.8.0-88-generic%0A%0A%3Cdetails%3E%0A%3Csummary%3ESystem%20Info%3C%2Fsummary%3E%0A%0A%7CItem%7CValue%7C%0A%7C---%7C---%7C%0A%7CCPUs%7CApple%20M2%20Pro%20(12%20x%202400)%7C%0A%7CGPU%20Status%7C2d_canvas%3A%20enabled%3Cbr%3Edirect_rendering_display_compositor%3A%20disabled_off_ok%3Cbr%3Egpu_compositing%3A%20enabled%3Cbr%3Emultiple_raster_threads%3A%20enabled_on%3Cbr%3Eopengl%3A%20enabled_on%3Cbr%3Erasterization%3A%20enabled%3Cbr%3Eraw_draw%3A%20disabled_off_ok%3Cbr%3Eskia_graphite%3A%20enabled_on%3Cbr%3Etrees_in_viz%3A%20disabled_off%3Cbr%3Evideo_decode%3A%20enabled%3Cbr%3Evideo_encode%3A%20enabled%3Cbr%3Ewebgl%3A%20enabled%3Cbr%3Ewebgl2%3A%20enabled%3Cbr%3Ewebgpu%3A%20enabled%3Cbr%3Ewebnn%3A%20disabled_off%7C%0A%7CLoad%20(avg)%7C2%2C%203%2C%203%7C%0A%7CMemory%20(System)%7C32.00GB%20(0.30GB%20free)%7C%0A%7CProcess%20Argv%7C--crash-reporter-id%20667ab5f8-fb87-4060-97bc-0030bb714d1a%7C%0A%7CScreen%20Reader%7Cno%7C%0A%7CVM%7C0%25%7C%0A%0A%7CItem%7CValue%7C%0A%7C---%7C---%7C%0A%7CRemote%7CSSH%3A%20ansible%7C%0A%7COS%7CLinux%20x64%206.8.0-88-generic%7C%0A%7CCPUs%7CQEMU%20Virtual%20CPU%20version%202.5%2B%20(12%20x%200)%7C%0A%7CMemory%20(System)%7C15.28GB%20(14.03GB%20free)%7C%0A%7CVM%7C0%25%7C%0A%3C%2Fdetails%3E%3Cdetails%3E%0A%3Csummary%3EA%2FB%20Experiments%3C%2Fsummary%3E%0A%0A%60%60%60%0Avsliv368%3A30146709%0Abinariesv615%3A30325510%0Anativeloc1%3A31344060%0Adwcopilot%3A31170013%0Adwoutputs%3A31242946%0Acopilot_t_ci%3A31333650%0Ae5gg6876%3A31282496%0Apythonrdcb7%3A31342333%0A6518g693%3A31436602%0Aaj953862%3A31281341%0Anes-set-on%3A31340697%0A6abeh943%3A31336334%0Acloudbuttont%3A31379625%0Atodos-1%3A31405332%0A3efgi100_wstrepl%3A31403338%0Atrigger-command-fix%3A31379601%0Ause-responses-api%3A31390855%0Adefaultusage%3A31403421%0Aje187915%3A31401254%0A2a0ce269%3A31428710%0Aec5jj548%3A31422691%0Ainception_model_enabled%3A31438876%0Aterminalsuggestenabled%3A31431119%0Acmp-ext-treat%3A31426748%0Acp_cls_c_966_ss%3A31435507%0Acopilot6169-t2000-control%3A31431385%0Ac0683394%3A31419495%0A478ah919%3A31426797%0Age8j1254_inline_auto_hint_haiku%3A31427726%0Aa5gib710%3A31434435%0A38bie571_auto%3A31426784%0Arequest_with_suggest%3A31435827%0Arename_enabled%3A31436409%0Anes-joint-1b%3A31438278%0A7a04d226_do_not_restore_last_panel_session%3A31438103%0Aanthropic_thinking_t%3A31432745%0A31c7i317_no_change%3A31434515%0Acp_cls_c_1081%3A31433293%0Acopilot-nes-callisto-trt%3A31434411%0A%0A%60%60%60%0A%0A%3C%2Fdetails%3E%0A%0A%3C!--%20generated%20by%20issue%20reporter%20--%3E

[banshee]

the bug that prompted this bug report: #54

[yoav-el-certora]

Thanks for reporting this issue.
Our team will take care of it, and address your issue on #54