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
13 issues of 13 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
1
Fixed
Need checkbox for turing on/off NIMBY
2
Fixed
NIMBY: Unpack within atomic check currently commented out!
3
Fixed
NIMBY: Currently only forgetting permissions on some of the node types
4
Fixed
Revise testing proceedure
10
Fixed
Tell user if there are parse errors in permission annotations!
11
Done
Allow for invariants based on object equality
22
Fixed
Special treatment of borrowed objects
44
Fixed
Check if fields mentioned in invariant annotations exist
46
Fixed
Allow 'this' to be used in state invariants
50
Fixed
Move utilities package into Crystal
56
Fixed
Label transitions with method names
58
Fixed
Multi-Dimension State Transitions
59
Fixed
Add states that are only introduced on transitions
Powered by
Google Project Hosting