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   Simple NIMBY analysis throws frozen exception ---- Defect Invalid ---- nels.bec...@gmail.com  
1   PLURAL: Warn user that they need frame permission to change state ---- Enhancement Accepted ---- ----  
0   Use ConsList where possible   Performance ---- Enhancement Verified ---- kevin.bi...@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   Check initializers of static fields ---- Enhancement Assigned ---- nels.bec...@gmail.com  
1   For immutable permissions, make state guarantees and stateInfo interchangable. ---- Enhancement Assigned ---- nels.bec...@gmail.com  
1   Handling of virtual permissions in constructors ---- Defect Fixed ---- kevin.bi...@gmail.com  
0   Lattice comparison and join issues ---- Defect Started ---- kevin.bi...@gmail.com  
0   releasedFrom attribute is ignored ---- Defect Assigned ---- kevin.bi...@gmail.com  
1   Unpacking does not purify invariants above root node ---- Defect Assigned ---- kevin.bi...@gmail.com  
2   Field read/assignment checks are not sufficient ---- Defect Assigned ---- kevin.bi...@gmail.com  
0   Re-enable state test checks after refactoring [r62] ---- Defect Fixed ---- kevin.bi...@gmail.com  
1   State invariant handling needs refactoring   Maintainability ---- Refactoring Verified ---- nels.bec...@gmail.com  
1   Default permissions for un-annotated fields and methods ---- Enhancement Assigned ---- nels.bec...@gmail.com  
1   Special treatment of borrowed objects   Usability Performance ---- Enhancement Fixed ---- kevin.bi...@gmail.com  
1   Better local alias analysis ---- Enhancement Started ---- kevin.bi...@gmail.com  
0   Linear connectives in method pre- and post-conditions, and in invariants ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   More flexible implication syntax, and support in invariants and methods   Usability ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Check @Param and @Release in method implementations; track parameters through invariants ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Check that marker states are indeed fixed through the object lifetime ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Default field values for not explicitly initialized fields ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
1   Access inherited fields and fields of other objects than the reciever   Usability ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
1   Reduce context fanout during packing / unpacking   Performance ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
1   Keep track of named fraction instantiations   Performance ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Fraction statisfiability speedups   Performance ---- Enhancement Started ---- kevin.bi...@gmail.com  
0   Implicit method parameters   Usability ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
1   Handling lists and arrays   Usability ---- Enhancement Assigned ---- nels.bec...@gmail.com  
0   Borrowing annotation for getter result   Usability ---- Enhancement Started ---- kevin.bi...@gmail.com  
1   Error reporting: Report available and needed permission to the user   Usability ---- Enhancement Verified ---- kevin.bi...@gmail.com  
1   Flagging impossible code and unnecessary tests   Usability ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
2   Array bounds checks and integer tracking ---- Enhancement Assigned ---- nels.bec...@gmail.com  
0   Default null checks (optional) ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Correlated ifs ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Use exceptions / regular returns (also null etc.) to indicate states or even permissions ---- Enhancement Assigned ---- kevin.bi...@gmail.com  
0   Reference equality invariants / method pre-/post-conditions ---- Enhancement Assigned ---- 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   dynamic state logic join too conservative ---- Defect New ---- nels.bec...@gmail.com  
1   Allow 'this' to be used in state invariants ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   I can't store a field access permission in an invariant ---- Defect Invalid ---- nels.bec...@gmail.com  
1   Pure & Share invariants with stateInfo should be disalowed. ---- Enhancement Verified ---- nels.bec...@gmail.com  
1   Check for assignment to fields of Pure/Immutable permissions ---- Defect Duplicate ---- nels.bec...@gmail.com  
1   Move utilities package into Crystal ---- Enhancement Fixed ---- nels.bec...@gmail.com  
1   Less conservative joins of existential fractions ---- Enhancement Verified ---- kevin.bi...@gmail.com  
1   Add state dimensions to GStateMachine model ---- Enhancement Verified Release1.0 Paul.S.R...@gmail.com  
1   Add state dimensions to view/edit part. ---- Enhancement Verified Release1.0 Paul.S.R...@gmail.com  
1   The view is a little jumpy when you select types/files ---- Defect Verified Release1.0 Paul.S.R...@gmail.com  
1   Remove "progress" dialog when drawing a state ---- Defect Verified Release1.0 Paul.S.R...@gmail.com  
1   Label transitions with method names ---- Enhancement Fixed Release1.0 Paul.S.R...@gmail.com  
1   Display transitions inherited from superclass ---- Enhancement Verified 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   Show the full method signature on hover ---- Enhancement Verified Release1.0 Paul.S.R...@gmail.com  
1   Plural should know that this != null ---- Defect Fixed ---- kevin.bi...@gmail.com  
1   Can we have some more color? ---- Enhancement Verified Release1.0 Paul.S.R...@gmail.com  
1   The arrows don't look so great... ---- Defect WontFix Release1.0 nels.bec...@gmail.com  
1   Multiple perms on precondition where one is DISP_FIELDS results in missing permission ---- Defect Verified ---- nels.bec...@gmail.com  
1   Implications with constraints aren't 'remembered' ---- Defect Verified ---- nels.bec...@gmail.com  
1   Sync-or-swim sometimes does not require unpacking when it should ---- Defect Verified ---- nels.bec...@gmail.com  
1   Fiddle: Dynamic State Tests are not illustrated ---- Defect Accepted ---- nels.bec...@gmail.com  
1   Fiddle: Constructors ---- Defect Verified ---- nels.bec...@gmail.com  
1   Misspelled permissions on @Params throw an exception, should be caught by the annotation checker ---- Defect Verified ---- nels.bec...@gmail.com  
2   Field permission is lost when method argument contains method call ---- Defect New ---- nels.bec...@gmail.com  
1   Sync: Unmapped Fields Get Warning ---- Defect Verified ---- nels.bec...@gmail.com  
1   Guarantee of sub state does not imply guarantee of super state ---- Defect Invalid ---- nels.bec...@gmail.com  
1   Infinite loop triggered in Plural/Crystal by defining an "alive" class state on an object ---- Defect New ---- ----  
1   Calling a method that defines Varargs with no arguments results in a run-time exception. ---- Defect New ---- nels.bec...@gmail.com  
1   Calling private methods from static methods does not work ---- Defect Accepted ---- nels.bec...@gmail.com  
CSV
  
Powered by Google Project Hosting