My favorites
▼
|
Sign in
pluralism
Modular object protocol checking for Java
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
List
Grid
17 issues of 17 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
15
Started
Lattice comparison and join issues
16
Assigned
releasedFrom attribute is ignored
17
Assigned
Unpacking does not purify invariants above root node
18
Assigned
Field read/assignment checks are not sufficient
23
Started
Better local alias analysis
25
Assigned
More flexible implication syntax, and support in invariants and methods
26
Assigned
Check @Param and @Release in method implementations; track parameters through invariants
30
Assigned
Reduce context fanout during packing / unpacking
31
Assigned
Keep track of named fraction instantiations
32
Started
Fraction statisfiability speedups
33
Assigned
Implicit method parameters
34
Assigned
Handling lists and arrays
35
Started
Borrowing annotation for getter result
37
Assigned
Flagging impossible code and unnecessary tests
45
New
dynamic state logic join too conservative
67
Accepted
Fiddle: Dynamic State Tests are not illustrated
73
New
Infinite loop triggered in Plural/Crystal by defining an "alive" class state on an object
Powered by
Google Project Hosting