Parent Categories/Forums: Java Modeling Language (JML)
Edit this Forum

jmlspecs-developers

Search:
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 to jmlspecs-developers 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
0
by SourceForge.net

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

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

JmlEclipse, JIR and OpenJML by Patrice Chalin-3
4
by Patrice Chalin-3

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

checking out openjml for development by Joseph Kiniry
0
by Joseph Kiniry

Re: [jmlspecs] #3: Make build mechanism platform independent by SourceForge.net
0
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
0
by SourceForge.net

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

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

[jmlspecs] #41: Replace keywords \oper with JML.$oper() by SourceForge.net
3
by Gary T. Leavens-2

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

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

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

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

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

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

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

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

OpenJML setup issues on Mac by Patrice Chalin-3
4
by Patrice Chalin-3

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[ jmlspecs-Things to Do-2801791 ] Parse level 0 initially clauses by SourceForge.net
0
by SourceForge.net
Post to jmlspecs-developers Post New Message  ::  Alert me of new posts  ::  Atom feed for jmlspecs-developers
« Newest  ‹ Newer  —  Threads 1-35  —  Older