User Activity
-
Modified
a wiki page
on
Java Modeling Language (JML)
Home
-
Committed
[r9635]
on
Code
Typo
-
Committed
[r9634]
on
Code
Marking as obsolete
-
Modified
a blog post
on
Java Modeling Language (JML)
Migration to Github
-
Created
a blog post
on
Java Modeling Language (JML)
Migration to Github
-
Committed
[r9633]
on
Code
Documenting obsoleteness
-
Modified
a wiki page
on
Java Modeling Language (JML)
Home
-
Modified
ticket #411
on
Java Modeling Language (JML)
All Eclipse hover error messages turned into "Counterexample: no proof information available"
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:
-
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:
