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