Ecosyste.ms: Issues

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

GitHub / theodus/backpressure-model issues and pull requests

#25 - Remove mute map

Pull Request - State: closed - Opened by Theodus about 4 years ago

#25 - Remove mute map

Pull Request - State: closed - Opened by Theodus about 4 years ago

#24 - possible deadlock?

Issue - State: open - Opened by sophiaIC about 4 years ago - 2 comments

#24 - possible deadlock?

Issue - State: open - Opened by sophiaIC about 4 years ago - 2 comments

#23 - Send doesn't change the priority or muted cowns

Issue - State: open - Opened by lukecheeseman about 4 years ago - 1 comment

#23 - Send doesn't change the priority or muted cowns

Issue - State: open - Opened by lukecheeseman about 4 years ago - 1 comment

#22 - Need necessary conditions for High Priority

Issue - State: open - Opened by sophiaIC about 4 years ago - 2 comments

#22 - Need necessary conditions for High Priority

Issue - State: open - Opened by sophiaIC about 4 years ago - 2 comments

#21 - Send only sets a mutor when first receiver has high priority

Issue - State: open - Opened by lukecheeseman about 4 years ago - 6 comments

#21 - Send only sets a mutor when first receiver has high priority

Issue - State: open - Opened by lukecheeseman about 4 years ago - 6 comments

#20 - A stronger blocker invariant?

Issue - State: open - Opened by lukecheeseman over 4 years ago - 1 comment

#19 - new notation for the model

Issue - State: open - Opened by sophiaIC over 4 years ago - 2 comments

#19 - new notation for the model

Issue - State: open - Opened by sophiaIC over 4 years ago - 2 comments

#18 - proposing that `LowPriorityImpliesNotAcquired`

Issue - State: open - Opened by sophiaIC over 4 years ago - 1 comment

#18 - proposing that `LowPriorityImpliesNotAcquired`

Issue - State: open - Opened by sophiaIC over 4 years ago - 1 comment

#16 - `HighPriorityInUnbockedQueue` -- what does the name express?

Issue - State: open - Opened by sophiaIC over 4 years ago - 1 comment

#15 - proposing that we drop `BehaviourAcquisition`

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

#14 - What happened to `WillScheduleCown`

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

#13 - Remove "Termination" from the properties to be model-checked

Issue - State: open - Opened by sophiaIC over 4 years ago - 2 comments

#12 - summary of meeting on 29.10

Issue - State: open - Opened by sophiaIC over 4 years ago

#11 - Q24: Summary of meeting on 20.10.2020

Issue - State: open - Opened by sophiaIC over 4 years ago - 5 comments

#10 - Q23: another problematic configuration

Issue - State: open - Opened by sophiaIC over 4 years ago

#9 - Should CurrentMessage return empty set?

Issue - State: open - Opened by lukecheeseman over 4 years ago

#7 - Q21: removing temporal requirements from `PROPERTIES`

Issue - State: open - Opened by sophiaIC over 4 years ago

#6 - Q20: Acyclic AcquiredByMutedByWithPrioMinus1

Issue - State: open - Opened by sophiaIC over 4 years ago - 5 comments

#5 - Q19: requiring weaker definition of Terminated

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

#4 - Q18: Is the union of AcquiredBy and MutedBy acyclic?

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

#3 - Q18: mut-sets disjoint

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

#2 - Q16: cycles in the mute-sets

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

#1 - Q17: implications of `priority[c]=1`

Issue - State: closed - Opened by sophiaIC over 4 years ago - 10 comments