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
29 issues of 29 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
5
Invalid
Simple NIMBY analysis throws frozen exception
8
Fixed
Can't get field permissions for unique receiver?
9
Fixed
Inner Classes: Not Really Supported, Throws Exceptions
14
Fixed
Handling of virtual permissions in constructors
15
Started
Lattice comparison and join issues
16
Assigned
releasedFrom attribute is ignored
17
Assigned
Unpacking does not purify invariants above root node
18
Assigned
Field read/assignment checks are not sufficient
19
Fixed
Re-enable state test checks after refactoring [r62]
43
Fixed
Dead variable treatment problems
45
New
dynamic state logic join too conservative
47
Invalid
I can't store a field access permission in an invariant
49
Duplicate
Check for assignment to fields of Pure/Immutable permissions
54
Verified
The view is a little jumpy when you select types/files
55
Verified
Remove "progress" dialog when drawing a state
61
Fixed
Plural should know that this != null
63
WontFix
The arrows don't look so great...
64
Verified
Multiple perms on precondition where one is DISP_FIELDS results in missing permission
65
Verified
Implications with constraints aren't 'remembered'
66
Verified
Sync-or-swim sometimes does not require unpacking when it should
67
Accepted
Fiddle: Dynamic State Tests are not illustrated
68
Verified
Fiddle: Constructors
69
Verified
Misspelled permissions on @Params throw an exception, should be caught by the annotation checker
70
New
Field permission is lost when method argument contains method call
71
Verified
Sync: Unmapped Fields Get Warning
72
Invalid
Guarantee of sub state does not imply guarantee of super state
73
New
Infinite loop triggered in Plural/Crystal by defining an "alive" class state on an object
74
New
Calling a method that defines Varargs with no arguments results in a run-time exception.
75
Accepted
Calling private methods from static methods does not work
Powered by
Google Project Hosting