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 ...
6 Enhancement Accepted Low ---- ----   PLURAL: Warn user that they need frame permission to change state  
11 Enhancement Done Low ---- nels.bec...@gmail.com   Allow for invariants based on object equality  
12 Enhancement Assigned Low ---- nels.bec...@gmail.com   Check initializers of static fields  
13 Enhancement Assigned Low ---- nels.bec...@gmail.com   For immutable permissions, make state guarantees and stateInfo interchangable.  
21 Enhancement Assigned Low ---- nels.bec...@gmail.com   Default permissions for un-annotated fields and methods  
24 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Linear connectives in method pre- and post-conditions, and in invariants  
27 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Check that marker states are indeed fixed through the object lifetime  
28 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Default field values for not explicitly initialized fields  
29 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Access inherited fields and fields of other objects than the reciever   Usability  
38 Enhancement Assigned Low ---- nels.bec...@gmail.com   Array bounds checks and integer tracking  
39 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Default null checks (optional)  
40 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Correlated ifs  
41 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Use exceptions / regular returns (also null etc.) to indicate states or even permissions  
42 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Reference equality invariants / method pre-/post-conditions  
44 Enhancement Fixed Low ---- nels.bec...@gmail.com   Check if fields mentioned in invariant annotations exist  
48 Enhancement Verified Low ---- nels.bec...@gmail.com   Pure & Share invariants with stateInfo should be disalowed.  
54 Defect Verified Low Release1.0 Paul.S.R...@gmail.com   The view is a little jumpy when you select types/files  
55 Defect Verified Low Release1.0 Paul.S.R...@gmail.com   Remove "progress" dialog when drawing a state  
62 Enhancement Verified Low Release1.0 Paul.S.R...@gmail.com   Can we have some more color?  
71 Defect Verified Low ---- nels.bec...@gmail.com   Sync: Unmapped Fields Get Warning  
74 Defect New Low ---- nels.bec...@gmail.com   Calling a method that defines Varargs with no arguments results in a run-time exception.  
75 Defect Accepted Low ---- nels.bec...@gmail.com   Calling private methods from static methods does not work  
CSV
  
Powered by Google Project Hosting