Skip to content

Pull requests: usethesource/rascal-language-servers

New pull request New
11 Open 219 Closed
11 Open 219 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Improve handling of qualified names when renaming
#531 opened Nov 26, 2024 by toinehartman • Draft
4 tasks done
@toinehartman
1
fixed out-of-date message on typechecker and removed hard version number references to rascal project
#522 opened Nov 18, 2024 by jurgenvinju Loading…
2
added automatic wrapping of command results and removed the manual wrappers from the demo code
#514 opened Nov 8, 2024 by jurgenvinju Loading…
3
Implemented error recovery support in parametric language servers
#511 opened Nov 8, 2024 by PieterOlivier Loading…
10
Error recovery for Rascal
#490 opened Oct 24, 2024 by sungshik • Draft
4
testing rascal without the lib scheme
#454 opened Sep 24, 2024 by jurgenvinju • Draft
3 of 5 tasks
Update license 2024 documentation Improvements or additions to documentation
#419 opened Aug 5, 2024 by toinehartman Loading…
@toinehartman
4
Trying to make sure java classes can be used in VS Code projects
#401 opened Jul 2, 2024 by DavyLandman Loading…
5
Add command to create rascal location from selection enhancement New feature or request
#283 opened Aug 21, 2023 by linuswagner • Draft
28
Adding support for Rascal Project creation PR-redo enhancement New feature or request
#248 opened Apr 19, 2023 by DavyLandman Loading…
11
added basic scaffolding that should implement log and show message but it does not work yet.
#186 opened Oct 3, 2022 by jurgenvinju • Draft
3
ProTip! Updated in the last three days: updated:>2024-11-29.