Parent Categories/Forums: Java Modeling Language (JML)

jmlspecs-developers

This forum is an archive for the mailing list: jmlspecs-developers@lists.sourceforge.net (mailing list options). Messages posted here will be sent to this mailing list.

Mailing list archive for jmlspecs-developers

Child Forums (0): None

To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more

Post New Message :: Alert me of new posts :: Rating Filter:

« Newest ‹ Newer — Threads 1-35 — Older ›

Thread (505 Threads)

Rating

Replies

Last Message

[jmlspecs] #52: Inner model classes not given proper scope in OpenJML by SourceForge.net

by SourceForge.net

[jmlspecs] #51: Out of memory error in OpenJML by SourceForge.net

by SourceForge.net

[jmlspecs] #50: NPE from OpenJML during checking of AbstractQueue.jml by SourceForge.net

by SourceForge.net

JmlEclipse, JIR and OpenJML by Patrice Chalin-3

by Patrice Chalin-3

[jmlspecs] #46: Implement Push Down refactoring for method base specs by SourceForge.net

by SourceForge.net

checking out openjml for development by Joseph Kiniry

by Joseph Kiniry

Re: [jmlspecs] #3: Make build mechanism platform independent by SourceForge.net

by SourceForge.net

Re: [jmlspecs] #2: abstract out Eclipse project locations in the local file system in a way that they are easily available to tests and scripts by SourceForge.net

by SourceForge.net

Re: [jmlspecs] #24: Fix tests containing absolute user dependant paths by SourceForge.net

by SourceForge.net

Re: [jmlspecs] #49: Introduce Models for dependants of refactored code by SourceForge.net

by SourceForge.net

[jmlspecs] #41: Replace keywords \oper with JML.$oper() by SourceForge.net

by Gary T. Leavens-2

[jmlspecs] #48: Ensure all code used by a Java Contracts is available in the destination class by SourceForge.net

by SourceForge.net

[jmlspecs] #45: Remove JDT Ast objects from the Refactoring Jml Ast object by SourceForge.net

by SourceForge.net

[jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net

by SourceForge.net

[jmlspecs] #47: Implement Pre/Post condition refactoring by SourceForge.net

by SourceForge.net

[jmlspecs] #34: Implement the Pull up Invariant refactoring by SourceForge.net

by SourceForge.net

[jmlspecs] #33: Create a Jml Java Contract AST by SourceForge.net

by SourceForge.net

[jmlspecs] #31: Recognise Pre/Post Conditions in java classes by SourceForge.net

by SourceForge.net

[jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature. by SourceForge.net

by SourceForge.net

OpenJML setup issues on Mac by Patrice Chalin-3

by Patrice Chalin-3

Re: [jmlspecs] #28: Move org.jmlspecs.jir to SVN top-level by SourceForge.net

by SourceForge.net

Re: [jmlspecs] #28: Move org.jmlspecs.jir to SVN top-level by SourceForge.net

by SourceForge.net

[jmlspecs] #43: Assess whether \TYPE, \bigint and \real be primitive types by SourceForge.net

by SourceForge.net

[jmlspecs] #40: Functional represents clause only can be written with =, <- is deprecated by SourceForge.net

by SourceForge.net

[jmlspecs] #37: Report bugs in TreeCopier by SourceForge.net

by SourceForge.net

Re: [Jmlspecs-commits] SF.net SVN: jmlspecs:[1787] OpenJML/trunk/OpenJML by Patrice Chalin-3

by Patrice Chalin-3

[ jmlspecs-Things to Do-2801797 ] Parse level 0 heavyweight spec cases by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801847 ] Create abstract syntax for level 0 heavyweight spec cases by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801849 ] Create abstract syntax for level 0 JML expressions by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801865 ] Create abstract syntax for level 0 JML statements by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801800 ] Parse level 0 JML statements by SourceForge.net

by SourceForge.net

[ jmlspecs-Things to Do-2801791 ] Parse level 0 initially clauses by SourceForge.net

by SourceForge.net

Post New Message :: Alert me of new posts ::

« Newest ‹ Newer — Threads 1-35 — Older ›