User Activity

  • Modified ticket #411 on Java Modeling Language (JML)

    All Eclipse hover error messages turned into "Counterexample: no proof information available"

  • Posted a comment on ticket #411 on Java Modeling Language (JML)

    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)

  • Committed [r17]

    Protecting against make errors

  • Committed [r10]

    Fixes to jmldocs

  • Committed [r9]

    Slight changes to Makefiles for platform independence and documentation

  • Committed [r41]

    javadocs/jmldocs now work from any subdirectory

  • Committed [r45]

    Updating TODO

  • Committed [r44]

    Testing cross-platform issues for jmldocs

View All

Personal Data

Username:
davidcok
Joined:
2002-08-15 19:16:11

Projects

This is a list of open source software projects that David Cok is associated with:

  • Project Logo Java Modeling Language (JML)   Last Updated:
  • MultiJava   Last Updated:
  • SMTCOMP Tools and documentation of the annual SMT competition Last Updated:
  • jSMTLIB Java API for checking, manipulating and translating SMTLIB Last Updated:

Personal Tools