Skip to content

Pull requests: utwente-fmt/vercors-ide

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Comments shortkey and brackets
#54 by sakehl was merged Apr 26, 2024 Loading…
Backend file base arguments
#53 by Drufearr was merged Apr 26, 2024 Loading…
39 end to end testing
#52 by JaronLendering was merged Apr 24, 2024 Loading…
Add java autocomplete
#50 by pandasansgains was merged Apr 17, 2024 Loading…
webview interface
#49 by JaronLendering was merged Apr 17, 2024 Loading…
select VerCors by file instead of folder
#48 by PascalNB was merged Apr 17, 2024 Loading…
Pin checkbox icons
#47 by Drufearr was merged Apr 16, 2024 Loading…
Custom flags option
#43 by Drufearr was merged Apr 16, 2024 Loading…
Progress bar
#40 by PascalNB was merged Apr 8, 2024 Loading…
Adding error parsing from other branch
#35 by BramOttenschot was merged Mar 25, 2024 Loading…
26 vs code keeping track of file configurations
#32 by Drufearr was merged Mar 22, 2024 Loading…
Clean syntax highlighting
#28 by JaronLendering was merged Mar 15, 2024 Loading…
Java syntax highlighting injection
#24 by BramOttenschot was merged Mar 15, 2024 Loading…
CLI flags as options in UI
#21 by Drufearr was merged Mar 14, 2024 Loading…
2
2
Vercors version selection
#20 by PascalNB was merged Mar 13, 2024 Loading…
path input validation and error messages
#18 by PascalNB was merged Mar 11, 2024 Loading…
Command path fix
#11 by PascalNB was merged Feb 13, 2024 Loading…
ProTip! Filter pull requests by the default branch with base:master.