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 ...
1 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Need checkbox for turing on/off NIMBY  
2 Enhancement Fixed Critical ---- nels.bec...@gmail.com   NIMBY: Unpack within atomic check currently commented out!  
3 Enhancement Fixed Critical ---- nels.bec...@gmail.com   NIMBY: Currently only forgetting permissions on some of the node types  
4 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Revise testing proceedure  
10 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Tell user if there are parse errors in permission annotations!  
11 Enhancement Done Low ---- nels.bec...@gmail.com   Allow for invariants based on object equality  
22 Enhancement Fixed High ---- kevin.bi...@gmail.com   Special treatment of borrowed objects   Usability Performance  
44 Enhancement Fixed Low ---- nels.bec...@gmail.com   Check if fields mentioned in invariant annotations exist  
46 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Allow 'this' to be used in state invariants  
50 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Move utilities package into Crystal  
56 Enhancement Fixed Critical Release1.0 Paul.S.R...@gmail.com   Label transitions with method names  
58 Enhancement Fixed High Release1.0 Paul.S.R...@gmail.com   Multi-Dimension State Transitions  
59 Enhancement Fixed Critical Release1.0 Paul.S.R...@gmail.com   Add states that are only introduced on transitions  
CSV
  
Powered by Google Project Hosting