Activity for Java Modeling Language (JML)
-
Java Modeling Language (JML) released /0.17.0-alpha-15/openjml-macos-10.15-0.17.0-alpha-15.zip
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Gary T. Leavens committed [r9632]
Adding Community Choice award badge from sf.net
-
Adding link to the new reference manual
-
updating
-
updating
-
updating
-
updating
-
updating
-
updating
-
updating
-
Fixing capitalization
-
Fixing XHTML (syntax)
-
Fixing XHTML (syntax)
-
Fixing XHTML (syntax)
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
updated
-
updated
-
updating
-
formatting OpenJML logo
-
updating with move to github
-
Moving from sourceforge to github and updating
-
moving from sourceforge to github
-
moving from sourceforge to github
-
-
-
-
-
-
-
Tweaking the semantics of generalized quantifiers
-
Adjusting goals for generalized quantifiers
-
Adding generalized-quantifiers.txt
-
-
-
updates for PHP server
-
-
-
-
-
-
-
-
-
David Cok modified ticket #411
All Eclipse hover error messages turned into "Counterexample: no proof information available"
-
Yes - this problem is fixed in current OpenJML (0.8.51). Note that you do have to be running Java 1.8. It appears that Eclipse downloads in 2020ff presume Java 11, causing problems also. I'm successful with Eclipse 2019-12, and am workiung to upgrade OpenJML to currnet Java (instead of Java 8)
-
-
-
-
-
Davide Basile modified a comment on ticket #411
just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environment to 1.8 and run a TypeCheck JML
-
just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environement to 1.8 and run a TypeCheck JML
-
just installed OpenJML plugin on Eclipse Version: 2018-09 (4.9.0) Build id: 20180917-1800 and I confirm this problem is present
-
updated
-
-
-
-
-
-
-
-
-
-
-
-
-
Henrique Rebêlo committed [r9601]
to make the use of JML within javadoc easier and JML specific semantics distraction free, we are rule out the privacy checking when using javadoc like tags style of DbC
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
-
loading inner types reflectively in the right way using $ sign
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
1 >