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...
  Stars    Summary + Labels Addons  Type  Status  Milestone  Owner  ...
1   Need checkbox for turing on/off NIMBY ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   NIMBY: Unpack within atomic check currently commented out! ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   NIMBY: Currently only forgetting permissions on some of the node types ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Revise testing proceedure ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Can't get field permissions for unique receiver? ---- Defect Fixed ---- nels.bec...@gmail.com  
1   Inner Classes: Not Really Supported, Throws Exceptions ---- Defect Fixed ---- nels.bec...@gmail.com  
1   Tell user if there are parse errors in permission annotations! ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Allow for invariants based on object equality ---- Enhancement Done ---- nels.bec...@gmail.com  
1   Handling of virtual permissions in constructors ---- Defect Fixed ---- kevin.bi...@gmail.com  
0   Re-enable state test checks after refactoring [r62] ---- Defect Fixed ---- kevin.bi...@gmail.com  
1   Special treatment of borrowed objects   Usability Performance ---- Enhancement Fixed ---- kevin.bi...@gmail.com  
0   Dead variable treatment problems ---- Defect Fixed ---- kevin.bi...@gmail.com  
1   Check if fields mentioned in invariant annotations exist ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Allow 'this' to be used in state invariants ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Move utilities package into Crystal ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Label transitions with method names ---- Enhancement Fixed Release1.0 Paul.S.R...@gmail.com  
1   Multi-Dimension State Transitions ---- Enhancement Fixed Release1.0 Paul.S.R...@gmail.com  
1   Add states that are only introduced on transitions ---- Enhancement Fixed Release1.0 Paul.S.R...@gmail.com  
1   Plural should know that this != null ---- Defect Fixed ---- kevin.bi...@gmail.com  
CSV
  
Powered by Google Project Hosting