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 ...
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  
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  
67 Defect Accepted Medium ---- nels.bec...@gmail.com   Fiddle: Dynamic State Tests are not illustrated  
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