Merge requests · pseuco / concurrent-programming-web

Allow for multiple lines in the TextEditor to be highlighted

!43 · created Apr 01, 2022 by Dominic
- MERGED
- Approved
- 0
updated Apr 01, 2022
Model checking

!42 · created Mar 29, 2022 by Lena Becker
- MERGED
- Approved
- 0
updated Apr 04, 2022
Help page fixes

!41 · created Feb 24, 2022 by Lena Becker
- MERGED
- 1
updated Feb 24, 2022
React angularlegacy legacy

!40 · created Feb 15, 2022 by Dominic Re(a)ctify pseuCo.com enhancement
- MERGED
- Approved
- 39
updated Mar 07, 2022
Implement /pseuco-ide and /pseuco-java-compiler

!39 · created Jan 25, 2022 by Dominic Re(a)ctify pseuCo.com
- MERGED
- Approved
- 10
updated Jan 28, 2022
React importfile

!38 · created Jan 18, 2022 by Dominic
- MERGED
- Approved
- 8
updated Jan 24, 2022
Make keys of ActionModalComponents unique

!37 · created Jan 18, 2022 by Dominic
- MERGED
- 0
updated Jan 18, 2022
Implement New File page

!36 · created Jan 10, 2022 by Dominic
- MERGED
- Approved
- 7
updated Jan 17, 2022
Implement most remaining Actions

!35 · created Jan 10, 2022 by Dominic
- MERGED
- Approved
- 32
updated Jan 18, 2022
Migrate exercise page and all exercises to React 1 of 2 tasks completed

!34 · created Jan 05, 2022 by Dominic
- MERGED
- Approved
- 1
- 80
updated Jan 17, 2022
Update stale execution information

!33 · created Dec 04, 2021 by Fabian Kosmale react-actions-memorymodel
- MERGED
- 3
updated Dec 06, 2021
Implement `Memory Models` action 0 of 2 tasks completed

!31 · created Nov 30, 2021 by Dominic react-actions
- MERGED
- Approved
- 14
updated Dec 06, 2021
Make best efforts to draft action/trace as Modal.

!30 · created Sep 22, 2021 by Dominic
- MERGED
- 23
updated Sep 29, 2021
Implement helpPage in React

!29 · created Aug 23, 2021 by Dominic
- MERGED
- Approved
- 11
updated Aug 25, 2021
Implement FileEdit page in react 0 of 5 tasks completed

!28 · created Jul 21, 2021 by Dominic
- MERGED
- Approved
- 184
updated Aug 23, 2021
Port pseuCo Debugger to React and make it usable for pseuCo Book. 1 of 5 tasks completed

!27 · created Apr 22, 2021 by Felix Freiberger
- MERGED
- 1
updated Jan 13, 2022
React cpneditor

!26 · created Mar 29, 2021 by Dominic
- MERGED
- 8
updated Mar 29, 2021
React ltseditor

!25 · created Mar 12, 2021 by Dominic
- MERGED
- 17
updated Mar 29, 2021
React backup

!24 · created Mar 01, 2021 by Dominic
- MERGED
- Approved
- 5
updated Mar 04, 2021
Ridden react warnings. Fix #70

!23 · created Mar 01, 2021 by Dominic
- MERGED
- 0
updated Mar 01, 2021