My favorites
▼
|
Sign in
pluralism
Modular object protocol checking for Java
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
List
Grid
8 issues of 8 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
22
Fixed
Special treatment of borrowed objects
25
Assigned
More flexible implication syntax, and support in invariants and methods
29
Assigned
Access inherited fields and fields of other objects than the reciever
33
Assigned
Implicit method parameters
34
Assigned
Handling lists and arrays
35
Started
Borrowing annotation for getter result
36
Verified
Error reporting: Report available and needed permission to the user
37
Assigned
Flagging impossible code and unnecessary tests
Powered by
Google Project Hosting