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 microsoft/multilspy#28 , 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)
If I want to use `ruff server` as a user and know the command to use and the specific initialization parameters/runtime dependencies it might require, it doesn't seem like it...
The repository contains the dataset, the evaluation scripts, and the source code for monitors, but no script to allow easy reproduction of results in the paper. Could you please add...
