Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / egri-nagy/pn2a issues and pull requests
#15 - Update Needed for Compatibility to gap 4.12
Issue -
State: closed - Opened by nehaniv almost 2 years ago
- 1 comment
#15 - Update Needed for Compatibility to gap 4.12
Issue -
State: closed - Opened by nehaniv almost 2 years ago
- 1 comment
#14 - Group states into components
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 4 comments
#14 - Group states into components
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 4 comments
#13 - Documentation
Pull Request -
State: closed - Opened by erickque over 5 years ago
#13 - Documentation
Pull Request -
State: closed - Opened by erickque over 5 years ago
#12 - Documentation is Needed
Issue -
State: closed - Opened by nehaniv over 5 years ago
#12 - Documentation is Needed
Issue -
State: closed - Opened by nehaniv over 5 years ago
#11 - Checks and warnings for petrinet.condition
Pull Request -
State: closed - Opened by erickque over 5 years ago
#10 - Generate descriptive petrinet state names
Pull Request -
State: closed - Opened by erickque over 5 years ago
#9 - Generate descriptive petrinet state names
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#9 - Generate descriptive petrinet state names
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#8 - Generate Descriptive Petrinet State Names
Issue -
State: closed - Opened by erickque over 5 years ago
Labels: enhancement
#7 - Add warnings and reasonable behaviour if Boolean condition isn't closed under transitions
Issue -
State: closed - Opened by nehaniv over 5 years ago
- 1 comment
#7 - Add warnings and reasonable behaviour if Boolean condition isn't closed under transitions
Issue -
State: closed - Opened by nehaniv over 5 years ago
- 1 comment
#6 - Enable capability to specify additional condition for reachable states
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#6 - Enable capability to specify additional condition for reachable states
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#5 - Add support for generating all markings satisfying a Boolean condition
Issue -
State: closed - Opened by nehaniv over 5 years ago
- 2 comments
Labels: enhancement
#5 - Add support for generating all markings satisfying a Boolean condition
Issue -
State: closed - Opened by nehaniv over 5 years ago
- 2 comments
Labels: enhancement
#4 - Fixes ReachableMarkingsOfPetriNet initial list not set error
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#4 - Fixes ReachableMarkingsOfPetriNet initial list not set error
Pull Request -
State: closed - Opened by erickque over 5 years ago
- 1 comment
#3 - ReachableMarkingsOfPetriNet initial list not set error
Issue -
State: closed - Opened by erickque over 5 years ago
Labels: bug
#3 - ReachableMarkingsOfPetriNet initial list not set error
Issue -
State: closed - Opened by erickque over 5 years ago
Labels: bug
#2 - Add files via upload - to get graphics WithNames
Pull Request -
State: closed - Opened by nehaniv almost 6 years ago
#2 - Add files via upload - to get graphics WithNames
Pull Request -
State: closed - Opened by nehaniv almost 6 years ago
#1 - pn2a relies on dust
Issue -
State: closed - Opened by nehaniv about 7 years ago
- 3 comments