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
10 issues of 10 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...
1
Fixed
Need checkbox for turing on/off NIMBY
4
Fixed
Revise testing proceedure
8
Fixed
Can't get field permissions for unique receiver?
9
Fixed
Inner Classes: Not Really Supported, Throws Exceptions
10
Fixed
Tell user if there are parse errors in permission annotations!
14
Fixed
Handling of virtual permissions in constructors
19
Fixed
Re-enable state test checks after refactoring [r62]
46
Fixed
Allow 'this' to be used in state invariants
50
Fixed
Move utilities package into Crystal
61
Fixed
Plural should know that this != null
Powered by
Google Project Hosting