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  
2 Enhancement Fixed Critical ---- nels.bec...@gmail.com   NIMBY: Unpack within atomic check currently commented out!  
3 Enhancement Fixed Critical ---- nels.bec...@gmail.com   NIMBY: Currently only forgetting permissions on some of the node types  
4 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Revise testing proceedure  
6 Enhancement Accepted Low ---- ----   PLURAL: Warn user that they need frame permission to change state  
7 Enhancement Verified Medium ---- kevin.bi...@gmail.com   Use ConsList where possible   Performance  
10 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Tell user if there are parse errors in permission annotations!  
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  
22 Enhancement Fixed High ---- kevin.bi...@gmail.com   Special treatment of borrowed objects   Usability Performance  
23 Enhancement Started Medium ---- kevin.bi...@gmail.com   Better local alias analysis  
24 Enhancement Assigned Low ---- kevin.bi...@gmail.com   Linear connectives in method pre- and post-conditions, and in invariants  
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  
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  
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  
36 Enhancement Verified High ---- kevin.bi...@gmail.com   Error reporting: Report available and needed permission to the user   Usability  
37 Enhancement Assigned Medium ---- kevin.bi...@gmail.com   Flagging impossible code and unnecessary tests   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  
46 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Allow 'this' to be used in state invariants  
48 Enhancement Verified Low ---- nels.bec...@gmail.com   Pure & Share invariants with stateInfo should be disalowed.  
50 Enhancement Fixed Medium ---- nels.bec...@gmail.com   Move utilities package into Crystal  
51 Enhancement Verified High ---- kevin.bi...@gmail.com   Less conservative joins of existential fractions  
52 Enhancement Verified Critical Release1.0 Paul.S.R...@gmail.com   Add state dimensions to GStateMachine model  
53 Enhancement Verified Critical Release1.0 Paul.S.R...@gmail.com   Add state dimensions to view/edit part.  
56 Enhancement Fixed Critical Release1.0 Paul.S.R...@gmail.com   Label transitions with method names  
57 Enhancement Verified Critical Release1.0 Paul.S.R...@gmail.com   Display transitions inherited from superclass  
58 Enhancement Fixed High Release1.0 Paul.S.R...@gmail.com   Multi-Dimension State Transitions  
59 Enhancement Fixed Critical Release1.0 Paul.S.R...@gmail.com   Add states that are only introduced on transitions  
60 Enhancement Verified Medium Release1.0 Paul.S.R...@gmail.com   Show the full method signature on hover  
62 Enhancement Verified Low Release1.0 Paul.S.R...@gmail.com   Can we have some more color?  
CSV
  
Powered by Google Project Hosting