pseuco-ide issueshttps://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/issues2018-03-22T17:55:10+01:00https://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/issues/6allow the user to enforce which branch of a select-case statement is taken2018-03-22T17:55:10+01:00Felix Freibergerallow the user to enforce which branch of a select-case statement is takenKonstantin KopperKonstantin Kopperhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/issues/5allowing pausing a thread that is already blocked on a channel read or write2018-03-22T17:55:01+01:00Felix Freibergerallowing pausing a thread that is already blocked on a channel read or writeKonstantin KopperKonstantin Kopperhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/issues/4roll-up fully local computations when single-stepping so that irrelevant inte...2018-03-22T17:54:52+01:00Felix Freibergerroll-up fully local computations when single-stepping so that irrelevant interleaving is removedKonstantin KopperKonstantin Kopper