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   PLURAL: Warn user that they need frame permission to change state ---- Enhancement Accepted ---- ----  
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  
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  
1   Default permissions for un-annotated fields and methods ---- Enhancement Assigned ---- nels.bec...@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   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  
1   dynamic state logic join too conservative ---- Defect New ---- nels.bec...@gmail.com  
1   Fiddle: Dynamic State Tests are not illustrated ---- Defect Accepted ---- nels.bec...@gmail.com  
2   Field permission is lost when method argument contains method call ---- Defect New ---- 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