Skip to content
GitLab
Explore
Sign in
Formal Methods and Tools
IntelliJML
Tags
1.1.1
1.1.1
a53c9553
·
Fixed bug where \result would have wrong type comparisons when it is an array type
·
Jan 26, 2022
Release:
IntelliJML 1.1.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar