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  
4 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Revise testing proceedure  
5 Defect Invalid Medium ---- nels.bec...@gmail.com   Simple NIMBY analysis throws frozen exception  
7 Enhancement Verified Medium ---- kevin.bi...@gmail.com   Use ConsList where possible   Performance  
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  
10 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Tell user if there are parse errors in permission annotations!  
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]  
20 Refactoring Verified Medium ---- nels.bec...@gmail.com   State invariant handling needs refactoring   Maintainability  
23 Enhancement Started Medium ---- kevin.bi...@gmail.com   Better local alias analysis  
25 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   More flexible implication syntax, and support in invariants and methods   Usability  
26 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Check @Param and @Release in method implementations; track parameters through invariants  
30 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Reduce context fanout during packing / unpacking   Performance  
31 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Keep track of named fraction instantiations   Performance  
32 Enhancement Started Medium ---- kevin.bi...@gmail.com   Fraction statisfiability speedups   Performance  
33 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Implicit method parameters   Usability  
34 Enhancement Assigned Medium ---- nels.bec...@gmail.com   Handling lists and arrays   Usability  
35 Enhancement Started Medium ---- kevin.bi...@gmail.com   Borrowing annotation for getter result   Usability  
37 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Flagging impossible code and unnecessary tests   Usability  
45 Defect New Medium ---- nels.bec...@gmail.com   dynamic state logic join too conservative  
46 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Allow 'this' to be used in state invariants  
47 Defect Invalid Medium ---- nels.bec...@gmail.com   I can't store a field access permission in an invariant  
50 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Move utilities package into Crystal  
60 Enhancement Verified Medium Release1.0 Paul.S.R...@gmail.com   Show the full method signature on hover  
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'  
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  
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  
CSV
  
Powered by Google Project Hosting