Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / colomoto/colomoto-docker issues and pull requests
#35 - the X (next) operator does not work in temporal logic
Issue -
State: closed - Opened by xhajnal over 6 years ago
- 1 comment
#34 - Editing the Ginsim/NuSMV model
Issue -
State: closed - Opened by xhajnal over 6 years ago
- 10 comments
Labels: enhancement
#33 - Win 7, error (subprocess File not found)
Issue -
State: closed - Opened by xhajnal over 6 years ago
- 2 comments
#32 - tmpnb: switch to JupyterHub
Issue -
State: closed - Opened by pauleve almost 7 years ago
#31 - New tool: CellNOpt
Issue -
State: open - Opened by aurelien-naldi about 7 years ago
- 5 comments
Labels: tool request
#30 - New tool: BNS
Issue -
State: closed - Opened by aurelien-naldi about 7 years ago
- 6 comments
Labels: tool request, tool
#29 - Test on Windows 10 professional
Issue -
State: closed - Opened by pauleve about 7 years ago
- 1 comment
Labels: QA
#28 - Test on recent macOS
Issue -
State: closed - Opened by pauleve about 7 years ago
Labels: help wanted, QA
#26 - Fix SnakeMake case study
Issue -
State: closed - Opened by pauleve about 7 years ago
- 2 comments
Labels: bug
#20 - Use a new random container name at each SnakeMake workflow execution
Issue -
State: closed - Opened by chernan over 7 years ago
- 4 comments
Labels: enhancement
#15 - New tool: Boolnet
Issue -
State: closed - Opened by pauleve over 7 years ago
- 6 comments
Labels: tool request
#14 - New tool: BoolSim
Issue -
State: closed - Opened by pauleve over 7 years ago
- 13 comments
Labels: tool request
#13 - New tool: PyBoolNet
Issue -
State: closed - Opened by pauleve over 7 years ago
- 14 comments
Labels: tool request
#11 - IFB request
Issue -
State: closed - Opened by pauleve over 7 years ago
Labels: enhancement
#4 - Use case: Stable states and model checking
Issue -
State: closed - Opened by chernan over 7 years ago
- 9 comments
#1 - Handle separate Dockerfile per tool
Issue -
State: closed - Opened by pauleve over 7 years ago
- 1 comment
Labels: help wanted, architecture