Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / crestdsl/CREST issues and pull requests

#21 - Problem when declaring variables with same name in different scopes (e.g. two if/else branches)

Issue - State: open - Opened by stklik over 5 years ago - 1 comment
Labels: bug, enhancement

#20 - Move this repo to crestdsl organization

Issue - State: open - Opened by stklik over 5 years ago - 2 comments
Labels: enhancement, todo

#19 - Add a convenient unit system

Issue - State: open - Opened by stklik over 5 years ago
Labels: enhancement

#18 - Boolean plot "1" instead of "True"

Issue - State: closed - Opened by gmarthe over 5 years ago

#17 - Port position issue in graphs

Issue - State: open - Opened by gmarthe over 5 years ago - 1 comment

#16 - z3-variable Creation Issue

Issue - State: open - Opened by gmarthe over 5 years ago

#15 - Problem when overriding already connected subentity in __init__

Issue - State: closed - Opened by gmarthe over 5 years ago - 2 comments

#14 - inherited states not supported in Transitions

Issue - State: open - Opened by stklik over 5 years ago
Labels: bug

#13 - Remove docker from travis build & testing

Issue - State: open - Opened by stklik over 5 years ago
Labels: enhancement

#12 - Verification: Improve performance of model checking

Issue - State: open - Opened by stklik over 5 years ago

#11 - Extract Model Checking from CREST into own package

Issue - State: open - Opened by stklik over 5 years ago - 1 comment
Labels: enhancement, help wanted

#10 - Verification: use pointwise if all intervals are [0, inf)

Issue - State: open - Opened by stklik over 5 years ago
Labels: enhancement

#9 - Simulation: Performance improvement ideas

Issue - State: open - Opened by stklik over 5 years ago - 1 comment
Labels: enhancement

#8 - Create crestlogo.svg

Pull Request - State: closed - Opened by stklik over 6 years ago

#7 - Binder

Pull Request - State: closed - Opened by stklik over 6 years ago

#6 - small fixes & nicer demo

Pull Request - State: closed - Opened by stklik almost 7 years ago

#5 - update the demo

Pull Request - State: closed - Opened by stklik almost 7 years ago

#4 - add type resolving

Issue - State: closed - Opened by stklik almost 7 years ago

#3 - add DySyEx for trace generation

Issue - State: closed - Opened by stklik almost 7 years ago
Labels: todo

#2 - add list type support

Issue - State: closed - Opened by stklik almost 7 years ago
Labels: todo

#1 - Add System-check

Issue - State: closed - Opened by stklik almost 7 years ago
Labels: todo