My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
ListGrid
   
Loading...
  ID Type  Status  Priority  Milestone  Owner    Summary + Labels ...
5 Defect Invalid Medium ---- nels.bec...@gmail.com   Simple NIMBY analysis throws frozen exception  
8 Defect Fixed Medium ---- nels.bec...@gmail.com   Can't get field permissions for unique receiver?  
9 Defect Fixed Medium ---- nels.bec...@gmail.com   Inner Classes: Not Really Supported, Throws Exceptions  
14 Defect Fixed Medium ---- kevin.bi...@gmail.com   Handling of virtual permissions in constructors  
15 Defect Started Medium ---- kevin.bi...@gmail.com   Lattice comparison and join issues  
16 Defect Assigned Medium ---- kevin.bi...@gmail.com   releasedFrom attribute is ignored  
17 Defect Assigned Medium ---- kevin.bi...@gmail.com   Unpacking does not purify invariants above root node  
18 Defect Assigned Medium ---- kevin.bi...@gmail.com   Field read/assignment checks are not sufficient  
19 Defect Fixed Medium ---- kevin.bi...@gmail.com   Re-enable state test checks after refactoring [r62]  
43 Defect Fixed High ---- kevin.bi...@gmail.com   Dead variable treatment problems  
45 Defect New Medium ---- nels.bec...@gmail.com   dynamic state logic join too conservative  
47 Defect Invalid Medium ---- nels.bec...@gmail.com   I can't store a field access permission in an invariant  
49 Defect Duplicate High ---- nels.bec...@gmail.com   Check for assignment to fields of Pure/Immutable permissions  
54 Defect Verified Low Release1.0 Paul.S.R...@gmail.com   The view is a little jumpy when you select types/files  
55 Defect Verified Low Release1.0 Paul.S.R...@gmail.com   Remove "progress" dialog when drawing a state  
61 Defect Fixed Medium ---- kevin.bi...@gmail.com   Plural should know that this != null  
63 Defect WontFix Medium Release1.0 nels.bec...@gmail.com   The arrows don't look so great...  
64 Defect Verified Medium ---- nels.bec...@gmail.com   Multiple perms on precondition where one is DISP_FIELDS results in missing permission  
65 Defect Verified Medium ---- nels.bec...@gmail.com   Implications with constraints aren't 'remembered'  
66 Defect Verified High ---- nels.bec...@gmail.com   Sync-or-swim sometimes does not require unpacking when it should  
67 Defect Accepted Medium ---- nels.bec...@gmail.com   Fiddle: Dynamic State Tests are not illustrated  
68 Defect Verified Medium ---- nels.bec...@gmail.com   Fiddle: Constructors  
69 Defect Verified Medium ---- nels.bec...@gmail.com   Misspelled permissions on @Params throw an exception, should be caught by the annotation checker  
70 Defect New High ---- nels.bec...@gmail.com   Field permission is lost when method argument contains method call  
71 Defect Verified Low ---- nels.bec...@gmail.com   Sync: Unmapped Fields Get Warning  
72 Defect Invalid Medium ---- nels.bec...@gmail.com   Guarantee of sub state does not imply guarantee of super state  
73 Defect New Medium ---- ----   Infinite loop triggered in Plural/Crystal by defining an "alive" class state on an object  
74 Defect New Low ---- nels.bec...@gmail.com   Calling a method that defines Varargs with no arguments results in a run-time exception.  
75 Defect Accepted Low ---- nels.bec...@gmail.com   Calling private methods from static methods does not work  
CSV
  
Powered by Google Project Hosting