Welcome, Guest! Log In | Create Account

Tracker: Feature Requests

These are feature requests for JML and associated tools. Features requests should be for things that are user-visible. Suggestions for cleaning up the code, or to make development better are not considered feature requests, and should be put under "Things to Do" instead.

Advanced
Options  
RSS
Page: 1 2 3 ... 15 Next »
1 - 10 of 148 Results - Display 
Search Results
ID Summary Status Opened Assignee Submitter Priority
ID Summary Status Opened Assignee Submitter Priority
Assignee: Status: Category: Group: Submitter: Keyword: Artifact ID: Permalink
2122537 Reload JML2 resources Open 2008-09-22 wdietl wdietl 5
2025749 add progress bar to help make JML tools a better backend Open 2008-07-23 wdietl kinirySourceForge.net DonorAccepting Donations 5
1911162 jmlc doesn't implement measured _by clause Open 2008-03-10 nobody leavensSourceForge.net DonorProject Admin 5
1911161 jmlc doesn't handle quantifiers in in-line assertions Open 2008-03-10 chalinProject Admin leavensSourceForge.net DonorProject Admin 5
1911155 jmlc should check specifications of model methods Open 2008-03-10 nobody leavensSourceForge.net DonorProject Admin 5
1801110 Import JML4 source into SVN Closed 2007-09-24 chalinProject Admin chalinProject Admin 9
1792352 Import JML4 source into CVS Closed 2007-09-11 chalinProject Admin chalinProject Admin 9
1582369 Allowing JML specs in Java5 annotations Open 2006-10-22 kboysen raboofjeSourceForge.net DonorAccepting Donations 3
1376700 Disallow overrides of nullable args with non_null ones Closed 2005-12-08 chalinProject Admin leavensSourceForge.net DonorProject Admin 5
1368585 Jmlc should not inherit code specification cases Open 2005-11-28 nobody leavensSourceForge.net DonorProject Admin 9
Page: 1 2 3 ... 15 Next »
1 - 10 of 148 Results - Display 

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use