concurrent-programming-web issueshttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues2023-10-11T17:10:25+02:00https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/96CCS-Doctor Overflowing Text and TeX2023-10-11T17:10:25+02:00Dominic ZimmerCCS-Doctor Overflowing Text and TeXThe text in the CCS Doctor's Model overflows the text box and renders CCS terms with unfortunate LaTeX-markup.
- **Reproduction**:
Open this program in a version that has the latest version of CCS Doctor
https://pseuco.com/#/edit/r...The text in the CCS Doctor's Model overflows the text box and renders CCS terms with unfortunate LaTeX-markup.
- **Reproduction**:
Open this program in a version that has the latest version of CCS Doctor
https://pseuco.com/#/edit/remote/phktepvjs0i120xd2xc6
- **Actual behavior**:
![image](/uploads/204f8ff7aa81c825e1f13a961e34f19d/image.png)
1. Text overflows to the left of the modal. Scrollbar in screenshot was untouched.
2. `agent_terminate` is typeset as agent<sub>t</sub>erminate
- **Intended behavior**:
1. Allow to scroll into the overflowing content.
2. Format strings containing underscores correctly, i.e. don't interpret `_` as subscript.
To neither problem I saw an immediate fix, so I'll just document it here.Felix FreibergerFelix Freibergerhttps://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/87LTS Minimization ist im Eimer2023-04-18T11:20:28+02:00Felix FreibergerLTS Minimization ist im Eimer![image](/uploads/f7c73fb26e9760903029dd46fab49838/image.png)![image](/uploads/f7c73fb26e9760903029dd46fab49838/image.png)Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/77Forget (Embed) me not2023-04-11T11:02:45+02:00Dominic ZimmerForget (Embed) me notpseuCo.com is supporting the `embed` mode, showing only a fraction of the fileEditPage, eg for forum integration. This feature will initially be dropped when migrating from react to angular.
Once the React migration was successfull, we ...pseuCo.com is supporting the `embed` mode, showing only a fraction of the fileEditPage, eg for forum integration. This feature will initially be dropped when migrating from react to angular.
Once the React migration was successfull, we will design this feature again from scratch.Re(a)ctify pseuCo.comhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/81Implement offline plugin2023-04-11T11:02:45+02:00Dominic ZimmerImplement offline pluginConsider using google workbox. Followup issue from [!40](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/40#note_7763)Consider using google workbox. Followup issue from [!40](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/40#note_7763)Re(a)ctify pseuCo.comDominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/79React.StrictMode2023-04-05T14:52:31+02:00Dominic ZimmerReact.StrictModeOur current components are not necessarily strict-mode compliant. We want to use StrictMode in the final product, but for now, we will not support it.Our current components are not necessarily strict-mode compliant. We want to use StrictMode in the final product, but for now, we will not support it.https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/85pseuCoDebugger drops Stackframe information2023-04-05T13:24:50+02:00Dominic ZimmerpseuCoDebugger drops Stackframe informationThe pseuCoDebugger component fails to compute some data in `Analyzedstate.agents[].frames` which results in some Agents of the debugger not being able to fast-forward, even though they are enabled.
**Steps to reproduce**:
1. Open a [fil...The pseuCoDebugger component fails to compute some data in `Analyzedstate.agents[].frames` which results in some Agents of the debugger not being able to fast-forward, even though they are enabled.
**Steps to reproduce**:
1. Open a [file that causes the bug](https://pseuco.com/#/edit/remote/56if7zdiumpbu9zyzov8)
2. Click the pseuCo debugger action
3. Click `fast-forward as long as this agent can act` on `Agent 0` and let the fast-forwarding terminate
4. Try to `fast-forward a single line` on `Agent 7`
**Expected behavior**:
Agent 7 fast-forwards from line 5 to line 6.
**Actual behavior**:
The fast-forwarding is immediately cancelled, as `_evaluateFastForward` cannot determine the agent's `frame`.
I tried to bug hunt the issue by looking into the analyzeState routine, to no avail.Felix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/78Forget me not: PseucoDebugger2022-11-15T14:52:08+01:00Dominic ZimmerForget me not: PseucoDebuggerDuring the transition from Angular to React, we will drop support for the PseucoDebugger action. Once the migration to bootstrap >3 is been done, we can use the PseucoDebugger from pseuco-shared-componentsDuring the transition from Angular to React, we will drop support for the PseucoDebugger action. Once the migration to bootstrap >3 is been done, we can use the PseucoDebugger from pseuco-shared-componentsRe(a)ctify pseuCo.comhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/82ErrorBox does not reset on route change2022-11-15T12:48:34+01:00Dominic ZimmerErrorBox does not reset on route changeThe `ErrorBox` provided in `ErrorBox.tsx` is called upon throwing an Exception. When navigating to another route however, the state of `ErrorBox` never gets reset, leaving the user with the "This should not have happened" message until t...The `ErrorBox` provided in `ErrorBox.tsx` is called upon throwing an Exception. When navigating to another route however, the state of `ErrorBox` never gets reset, leaving the user with the "This should not have happened" message until they reload the page.
With the latest upgrade of React, we can use the (Hash)Router hooks to reset the ErrorBoxes state upon route change.Re(a)ctify pseuCo.comFelix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/80Update node modules, Update react2022-11-15T11:36:57+01:00Dominic ZimmerUpdate node modules, Update reactBump the version of the node modules of the `react` branch to something more recent, in particular `react`'s version. Doing so will allow/force us to tackle many TODOs, including
- [ ] Upgrading the `HashRouter`, allow the `exact` flag,...Bump the version of the node modules of the `react` branch to something more recent, in particular `react`'s version. Doing so will allow/force us to tackle many TODOs, including
- [ ] Upgrading the `HashRouter`, allow the `exact` flag, etc.
- [ ] reduce number of Bootstrap instances to 1Re(a)ctify pseuCo.comDominic ZimmerDominic Zimmerhttps://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/74Support fullscreenMode in React2022-11-15T10:37:01+01:00Dominic ZimmerSupport fullscreenMode in ReactSee [here](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/28#note_6926) for reference.See [here](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/28#note_6926) for reference.Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/84pseuCo Book crash, outdated link2022-05-12T17:29:53+02:00Yasmine BriefspseuCo Book crash, outdated linkI got the following error while doing the "Proving Observation Congruence" exercise in the book:
> Name: ReferenceError
>
> Message: can't access lexical declaration 'Y' before initialization
>
> Object: {}
Before the application crash...I got the following error while doing the "Proving Observation Congruence" exercise in the book:
> Name: ReferenceError
>
> Message: can't access lexical declaration 'Y' before initialization
>
> Object: {}
Before the application crashed, I selected the pairs for the relation. Also, the link ("Please report this error here") is not up-to-date.
![grafik](/uploads/d397470f182ce58cd76e7a7b809ba08e/grafik.png)https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/83anyof in strict mode breaks Firefox2022-05-11T15:17:39+02:00Dominic Zimmeranyof in strict mode breaks FirefoxOpening `react.pseuco.com` in Firefox throws an error which prevents the page from loading:
![image](/uploads/28f29c4c517cddd37984e7e519b6891b/image.png)Opening `react.pseuco.com` in Firefox throws an error which prevents the page from loading:
![image](/uploads/28f29c4c517cddd37984e7e519b6891b/image.png)Re(a)ctify pseuCo.comhttps://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/8Match operator precedence of NP lecture2022-03-17T13:39:14+01:00Sebastian BiewerMatch operator precedence of NP lecturepseuCo.com puts alternative implicit parentheses for some operators (e.g. restriction)pseuCo.com puts alternative implicit parentheses for some operators (e.g. restriction)Sebastian BiewerSebastian Biewerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/73Port TaskManager into a separate module2022-02-21T11:22:01+01:00Dominic ZimmerPort TaskManager into a separate moduleFollow up of the discussion [here](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/28#note_6788)Follow up of the discussion [here](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/merge_requests/28#note_6788)Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/72pass asynchronous channel into function that takes a synchronous channel as a...2021-06-24T15:16:32+02:00Jorim Bechtlepass asynchronous channel into function that takes a synchronous channel as argumentIs it a bug or a feature that you can pass a asynchronous channel into i function that takes a synchronous channel as an argument? This way it depends on what kind of channel you pass to the function how the function behaves.![latest-scr...Is it a bug or a feature that you can pass a asynchronous channel into i function that takes a synchronous channel as an argument? This way it depends on what kind of channel you pass to the function how the function behaves.![latest-screenshot](/uploads/7fd7982c2b9221de449bb142a4071cc4/latest-screenshot.png)https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/71Sample Issue2021-03-29T12:22:40+02:00Dominic ZimmerSample Issue