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
4 issues of 4 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...
2
Fixed
NIMBY: Unpack within atomic check currently commented out!
3
Fixed
NIMBY: Currently only forgetting permissions on some of the node types
56
Fixed
Label transitions with method names
59
Fixed
Add states that are only introduced on transitions
Powered by
Google Project Hosting