-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: utwente-fmt/vercors-ide
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
37 adding backend to the options and make pinning universal
#38
by JaronLendering
was merged Apr 3, 2024
Loading…
33 set vercorspath and optionsmap to correct empty maps if null
#36
by JaronLendering
was closed Apr 2, 2024
Loading…
26 vs code keeping track of file configurations
#31
by JaronLendering
was closed Mar 19, 2024
Loading…
now .c files can be automaticly verified as well without having to sp…
#30
by BramOttenschot
was merged Mar 18, 2024
Loading…
spec language in c comments get highlighted now as well
#29
by BramOttenschot
was merged Mar 18, 2024
Loading…
14 vs code add a button to stop an analysis during run time
#17
by JaronLendering
was merged Mar 5, 2024
Loading…
ProTip!
Filter pull requests by the default branch with base:master.