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
7 issues of 7 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
52
Verified
Add state dimensions to GStateMachine model
53
Verified
Add state dimensions to view/edit part.
56
Fixed
Label transitions with method names
57
Verified
Display transitions inherited from superclass
59
Fixed
Add states that are only introduced on transitions
Powered by
Google Project Hosting