Ecosyste.ms: Issues

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

GitHub / bptlab/chor-checker issues and pull requests

#18 - Introduce 1-safety

Issue - State: open - Opened by jan-ladleif over 4 years ago

#17 - Move from tuples to structs

Issue - State: open - Opened by jan-ladleif over 4 years ago

#15 - Check pass-through semantics for all elements

Issue - State: closed - Opened by jan-ladleif over 4 years ago - 1 comment

#14 - Allow negative timestamps for sequence flow

Issue - State: closed - Opened by jan-ladleif over 4 years ago

#13 - Add timestamp to eval function

Issue - State: open - Opened by jan-ladleif over 4 years ago

#12 - Allow undefined oracles

Issue - State: closed - Opened by jan-ladleif over 4 years ago

#11 - Add proper termination

Issue - State: closed - Opened by jan-ladleif over 4 years ago

#10 - Semantics of absolute timers

Issue - State: closed - Opened by jan-ladleif over 4 years ago - 2 comments

#9 - Allow merging exclusive gateways without a default outgoing sequence flow

Issue - State: closed - Opened by jan-ladleif over 4 years ago - 1 comment

#8 - Bump mixin-deep from 1.3.1 to 1.3.2

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#8 - Bump mixin-deep from 1.3.1 to 1.3.2

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#7 - Add signal events

Issue - State: closed - Opened by jan-ladleif over 4 years ago - 1 comment

#7 - Add signal events

Issue - State: closed - Opened by jan-ladleif over 4 years ago - 1 comment

#6 - Add TLA+ expressions to expression language

Issue - State: closed - Opened by jan-ladleif almost 5 years ago

#5 - Allow usage of flow names in expressions

Issue - State: closed - Opened by jan-ladleif almost 5 years ago

#4 - Check safety properties

Issue - State: open - Opened by jan-ladleif almost 5 years ago

#3 - Give oracles a timestamp

Issue - State: closed - Opened by jan-ladleif almost 5 years ago - 1 comment

#2 - Use ItemDefinitions for message values

Issue - State: closed - Opened by jan-ladleif almost 5 years ago

#1 - ANTLR parser throws on empty mappings

Issue - State: closed - Opened by jan-ladleif almost 5 years ago