Java Modeling Language (JML)

Tracker: Bugs

Addressing user bug reports is one of our primary concerns. If some bugs seem to remain unresolved, it is typically because we are unaware of any users impacted by the bugs. If one of the listed bugs makes the JML tools less useful to you, please email one of the project administrators or developers and we will elevate the priority of the bug and change it from self reported to user reported. Thank you! Note that you must be logged in to sourceforge to submit a bug on this project.

Options

RSS

Page: 1 2 3 ... 39 Next »

1 - 10 of 388 Results - Display

Search Results
ID	Summary	Status	Opened	Assignee	Submitter	Resolution	Priority
ID	Summary	Status	Opened	Assignee	Submitter	Resolution	Priority
Assignee: Status: Category: Group: Submitter: Keyword: Artifact ID: Permalink
2822469	\Exists problem	Open	2009-07-16	leavens	psyckic	None	5
2700667	JMLEqualsSet Intersection	Deleted	2009-03-21	nobody	bigoperm	None	5
2380160	Invariants for Model Fields Ignored	Open	2008-12-02	cheon	ericspod	None	5
2310659	Jmlc no longer prints much info about assertion violations	Open	2008-11-18	f_rioux	leavens	None	5
2184209	\forall over JMLObjectSequence generates bad code	Open	2008-10-21	cheon	neeraj_k	None	5
2035727	Pureness Checking Unexpected Behaviour	Open	2008-08-02	cheon	ericspod	None	5
2023962	void type is giving no error	Open	2008-07-21	cheon	amritamsarcar	None	5
1969985	Error reporting - wrong character location	Open	2008-05-22	cheon	g_karab	None	5
1961579	jmlc error, two versions of Object.hashCode() found	Open	2008-05-10	leavens	mandeepsingh	None	8
1909184	\same is translated improperly by jmlc	Open	2008-03-07	cheon	delara	None	6

Page: 1 2 3 ... 39 Next »

1 - 10 of 388 Results - Display

Java Modeling Language (JML)

Tracker: Bugs

About SourceForge

Find Software

Develop Software

Community

Help