Skip to content
GitLab
Explore
Sign in
Formal Methods and Tools
IntelliJML
Merge requests
!4
Added support for 2023.* IntelliJ SDK versions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hulter, J.G. (Jelle, Student M-CS)
requested to merge
s2240122/intellijml:master
into
master
Oct 10, 2023
Overview
0
Commits
4
Pipelines
0
Changes
6
Expand
Merge request reports