monitors4codegen
monitors4codegen copied to clipboard
microsoft
Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to bu...
This fixes #17 , i.e. add support Java and Rust LSPs on macOS.
Sorry for opening an issue for such a supporting problem. I'm running the tests of this project using pytest on macOS with Apple Silicon, but I got any error saying...
Bumps [transformers](https://github.com/huggingface/transformers) from 4.30.0 to 4.36.0. Release notes Sourced from transformers's releases. v4.36: Mixtral, Llava/BakLlava, SeamlessM4T v2, AMD ROCm, F.sdpa wide-spread support New model additions Mixtral Mixtral is the new...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [torch](https://github.com/pytorch/pytorch) from 1.12.0+cu113 to 1.13.1. Release notes Sourced from torch's releases. PyTorch 1.13.1 Release, small bug fix release This release is meant to fix the following issues (regressions /...
The issue was reported by @rgrunber at https://github.com/eclipse-jdtls/eclipse.jdt.ls/pull/2943#issuecomment-1809230292. The same issue is noted in the JDT.LS unit test for references at https://github.com/microsoft/monitors4codegen/blob/main/tests/multilspy/test_multilspy_java.py#L46. This issue is seen specifically in Windows, but...
Use the configuration from [https://github.com/pappasam/jedi-language-server#configuration](https://github.com/pappasam/jedi-language-server#configuration) to update the configuration for launching jed-language-server in [src/monitors4codegen/multilspy/language_servers/jedi_language_server](https://github.com/microsoft/monitors4codegen/tree/main/src/monitors4codegen/multilspy/language_servers/jedi_language_server)