concurrent-programming-web issueshttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues2024-03-22T12:43:15+01:00https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/97Development build: Trace action computes double traces2024-03-22T12:43:15+01:00Felix FreibergerDevelopment build: Trace action computes double tracesWhen running a development build, opening the trace action sometimes (but not always) causes two traces to be shown because two trace commands are sent to the worker. (This is caused by an effect being invoked twice; the cancellation is ...When running a development build, opening the trace action sometimes (but not always) causes two traces to be shown because two trace commands are sent to the worker. (This is caused by an effect being invoked twice; the cancellation is not triggered because the state is not updated in-between.)
Restarting the trace from the UI works fine.Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/89FileEdit fileName is uncontrolled2023-05-12T15:21:46+02:00Dominic ZimmerFileEdit fileName is uncontrolledThe filename field on the fileEdit page is currently an uncontrolled component. This leads to the filename not updating upon (i) navigating to a different file or (ii) duplicating the current file.
Current behavior: The filename does no...The filename field on the fileEdit page is currently an uncontrolled component. This leads to the filename not updating upon (i) navigating to a different file or (ii) duplicating the current file.
Current behavior: The filename does not change, showing the filename of the previously opened file.
Expected behavior: The filename updates accordingly upon navigating to different files (by any means)Felix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/88CCS Doctor Dies2023-05-12T15:10:06+02:00Dominic ZimmerCCS Doctor DiesA [pseuCo program a day](https://pseuco.com/#/edit/remote/ei2jbv032vxpvsou4vp9) keeps the doctor at bay!
```
"ParseError"
"KaTeX parse error: Double subscript at position 77: …} {Env_global_x_̲cons}} \\mathbin…"
```
[More log](https://...A [pseuCo program a day](https://pseuco.com/#/edit/remote/ei2jbv032vxpvsou4vp9) keeps the doctor at bay!
```
"ParseError"
"KaTeX parse error: Double subscript at position 77: …} {Env_global_x_̲cons}} \\mathbin…"
```
[More log](https://hedge.leafbla.de/ehqhol58THC705pQ7Rqsdg?view).
Reproducible on (edge version of) pseuCo.comFelix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/76The drag never ends 😒2022-03-18T12:16:22+01:00Dominic ZimmerThe drag never ends 😒Quite literally! While dragging separators, if you quickly move your cursor out of the browser window, the separator gets stuck to your pointer since no `dragEnd` is received. Numerous alternative behaviors are more acceptable than the c...Quite literally! While dragging separators, if you quickly move your cursor out of the browser window, the separator gets stuck to your pointer since no `dragEnd` is received. Numerous alternative behaviors are more acceptable than the current. We should pick one.
This is clearly low priority, but a burden to usability nonetheless.https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/69CodeMirrorTextEditor only displays subset of text2022-11-15T10:38:07+01:00Dominic ZimmerCodeMirrorTextEditor only displays subset of text## Description
When loading a template `codeMirrorTextEditor` fails to display the entire code. From some point, no code is displayed, as well as line numbers are omitted. Clicking or scrolling into the _buggy_ region updates the editor,...## Description
When loading a template `codeMirrorTextEditor` fails to display the entire code. From some point, no code is displayed, as well as line numbers are omitted. Clicking or scrolling into the _buggy_ region updates the editor, making it display the text correctly.
![image](/uploads/63f757d7b10869526ba8ed7aa7f30b70/image.png)
I could reproduce this issue in several browsers (Chromium, Firefox and Qutebrowser) while making sure that the browser window is short (in height) enough, such that the code does not entirely fit into the `codeMirrorTextEditor`, but enables the scroll bar.
## Steps to reproduce:
1. Browse https://pseuco.com/ in tool mode (any mode such that creating files is unlocked)
2. Make sure that the browser window is quite short, as described before
3. Create a new pseuCo file off the template `RWMutex`
## Expected behaviour
The `codeMirrorTextEditor` displays the entire text correctly, without having to update the text manually first.Felix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/60Memory Model: Inconsistent results after reverting assumption2021-01-21T11:10:46+01:00Felix FreibergerMemory Model: Inconsistent results after reverting assumptionLook at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Look at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Fabian KosmaleFabian Kosmalehttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/55CCS: Documentation about when() missing2019-05-22T16:48:17+02:00Florian Schießlschiessl@depend.uni-saarland.deCCS: Documentation about when() missinghttps://pseuco.com/#/helphttps://pseuco.com/#/helphttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/52LTS view: add possibility to move actions2019-04-16T15:52:58+02:00Florian Schießlschiessl@depend.uni-saarland.deLTS view: add possibility to move actionsCurrently, there seems to be no way to improve the readability in situations like the following:
![Screenshot_2019-04-16_15-23-49](/uploads/3251b7006abea2a3550459fe3a4e9e14/Screenshot_2019-04-16_15-23-49.png)
It would be nice to have a...Currently, there seems to be no way to improve the readability in situations like the following:
![Screenshot_2019-04-16_15-23-49](/uploads/3251b7006abea2a3550459fe3a4e9e14/Screenshot_2019-04-16_15-23-49.png)
It would be nice to have a way to move the actions somehow.